It's Only Illegal If You Get Caught: Breaking Invariants and Getting Away with It
Abstract
References
Index Terms
- It's Only Illegal If You Get Caught: Breaking Invariants and Getting Away with It
Recommendations
“Who cares about elegance?” The role of aesthetics in programming language design
The crucial role played by aesthetics in programming language design and the importance of elegance in programming languages are defended on the basis of analogies with structural engineering, as presented in Billington's The Tower and the Bridge.
On Legality Assertions in Euclid
The design of the programming language Euclid requires that a compiler for the language produce legality assertions to aid in verification of programs written in the language. This paper analyzes the legality assertions that must be produced and ...
The Ultimate Conditional Syntax
Functional programming languages typically support expressive pattern-matching syntax allowing programmers to write concise and type-safe code, especially appropriate for manipulating algebraic data types. Many features have been proposed to enhance the ...
Comments
Information & Contributors
Information
Published In

- General Chair:
- Andrew Black,
- Program Chairs:
- Shriram Krishnamurthi,
- Bernd Bruegge,
- Publications Chair:
- Joseph N. Ruskiewicz
Sponsors
In-Cooperation
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Author Tags
Qualifiers
- Research-article
Conference
Acceptance Rates
Upcoming Conference
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 148Total Downloads
- Downloads (Last 12 months)2
- Downloads (Last 6 weeks)0
Other 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.
Sign in