Article

Enforcing and validating user-defined programming disciplines

Authors:

Brian Chin,

Daniel Marino,

Shane Markstrum,

Todd MillsteinAuthors Info & Claims

PASTE '07: Proceedings of the 7th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering

Pages 85 - 86

https://doi.org/10.1145/1251535.1251550

Published: 13 June 2007 Publication History

Get Access

Abstract

No abstract available.

References

[1]

C. Andreae, J. Noble, S.Markstrum, and T.Millstein. A framework for implementing pluggable type systems. In OOPSLA '06: Proceedings of the 21st annual ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications, pages 57--74, New York, NY, USA, 2006. ACM Press.

Digital Library

Google Scholar

[2]

B. Chin, D.Marino, T.Millstein, G. Tan, R. J. Simmons, and D.Walker. Mechanized metatheory for user-defined type extensions. In 1st Informal ACMSIGPLANWorkshop on Mechanizing Metatheory, 2006.

Google Scholar

[3]

B. Chin, S. Markstrum, and T. Millstein. Semantic type qualifiers. In PLDI '05: Proceedings of the 2005 ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 85--95, New York, NY, USA, 2005. ACM Press.

Digital Library

Google Scholar

[4]

B. Chin, S. Markstrum, T. Millstein, and J. Palsberg. Inference of userdefined type qualifiers and qualifier rules. In European Symposium on Programming, 2006.

Google Scholar

[5]

C. Flanagan and S. N. Freund. Type-based race detection for Java. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 219--232. ACM Press, 2000.

Digital Library

Google Scholar

[6]

J. S. Foster, M. Fähndrich, and A. Aiken. A Theory of Type Qualifiers. In Proceedings of the 1999 ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 192--203, Atlanta, Georgia, May 1999.

Digital Library

Google Scholar

[7]

J. M. Licassen and D. K. Gifford. Polymorphic effect systems. In Conference Record of the 15th Annual ACM Symposium on Principles of Programming Languages, pages 47--57, San Diego, CA, Jan. 1988.

Digital Library

Google Scholar

[8]

F. Pfenning and C. Schürmann. System description: Twelf -- A metalogical framework for deductive systems. In Proceedings of the 16th International Conference on Automated Deduction (CADE-16), pages 202--206, Trento, Italy, 1999.

Digital Library

Google Scholar

[9]

J. Vitek and B. Bokowski. Confined types. In Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, pages 82--96. ACM Press, 1999.

Digital Library

Google Scholar

Index Terms

Enforcing and validating user-defined programming disciplines

Recommendations

Pluggable Type Inference for Free
ASE '23: Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering

A pluggable type system extends a host programming language with type qualifiers. It lets programmers write types like unsigned int, secret string, and nonnull object. Typechecking with pluggable types detects and prevents more errors than the host type ...
Flow-insensitive type qualifiers

We describe flow-insensitive type qualifiers, a lightweight, practical mechanism for specifying and checking properties not captured by traditional type systems. We present a framework for adding new, user-specified type qualifiers to programming ...
Semantic type qualifiers
PLDI '05: Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation

We present a new approach for supporting user-defined type refinements, which augment existing types to specify and check additional invariants of interest to programmers. We provide an expressive language in which users define new refinements and ...

Comments

Information & Contributors

Information

Published In

PASTE '07: Proceedings of the 7th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering

June 2007

96 pages

ISBN:9781595935953

DOI:10.1145/1251535

General Chairs:
Manuvir Das
Center for Software Excellence, Microsoft Corp, USA
,
Dan Grossman
University of Washington, USA

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 13 June 2007

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

PASTE07

Sponsor:

PASTE07: PASTE '07 - ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering

June 13 - 14, 2007

California, San Diego, USA

Acceptance Rates

Overall Acceptance Rate 57 of 159 submissions, 36%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

0
Total Citations
136
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 08 Feb 2025

Other Metrics

View Author Metrics

Citations

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Abstract

References

Index Terms

Recommendations

Pluggable Type Inference for Free

Flow-insensitive type qualifiers

Semantic type qualifiers

Comments

Information

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

Conference

Acceptance Rates

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Login options

Full Access

View options

PDF

eReader

Share

Share this Publication link

Share on social media

Affiliations