Contracts made manifest

ACM SIGPLAN Notices

Volumn 45, Issue 1, 2010, Pages 353-364

  Greenberg, Michael ^a   Pierce, Benjamin C ^a   Weirich, Stephanie ^a  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

Blame; Contract; Dynamic checking; Postcondition; Precondition; Refinement type; Translation

Indexed keywords

COMPUTER PROGRAMMING; COMPUTER SCIENCE; CONTRACTS; TRANSLATION (LANGUAGES);

BLAME; DYNAMIC CHECKING; POSTCONDITION; PRECONDITION; REFINEMENT TYPE;

CALCULATIONS;

EID: 77149131853     PISSN: 15232867     EISSN: None     Source Type: Journal    
DOI: 10.1145/1707801.1706341     Document Type: Conference Paper

References (16)

1. Matthias Blume and David A. McAllester. Sound and complete models of contracts. Journal of Functional Programming, 16(4-5):375-414, 2006.
2. Olaf Chitil and Frank Huch. Monadic, prompt lazy assertions in haskell. In APLAS, pages 38-53, 2007.
3. Robert Bruce Findler. Contracts as pairs of projections. In Symposium on Logic Programming, pages 226-241, 2006.
4. Robert Bruce Findler and Matthias Felleisen. Contracts for higher-order functions. In International Conference on Functional Programming (ICFP), pages 48-59, 2002.
5. Cormac Flanagan. Hybrid type checking. In POPL, pages 245-256, 2006.
6. Jessica Gronski and Cormac Flanagan. Unifying hybrid types and contracts. In Trends in Functional Programming (TFP), 2007.
7. Jessica Gronski, Kenneth Knowles, Aaron Tomb, Stephen N. Freund, and Cormac Flanagan. Sage: Hybrid checking for flexible specifications. In Scheme and Functional Programming Workshop, pages 93-104, 2006.
8. Arjun Guha, Jacob Matthews, Robert Bruce Findler, and Shriram Krishnamurthi. Relationally-parametric polymorphic contracts. In DLS, pages 29-40, 2007.
9. Ralf Hinze, Johan Jeuring, and Andres L̈oh. Typed contracts for functional programming. In Functional and Logic Programming (FLOPS), pages 208-225, 2006.
10. Kenneth Knowles and Cormac Flanagan. Hybrid type checking. To appear in TOPLAS., 2009.
11. Bertrand Meyer. Eiffel: the language. Prentice-Hall, Inc., 1992. ISBN 0-13-247925 7.
12. Xinming Ou, Gang Tan, Yitzhak Mandelbaum, and DavidWalker. Dynamic typing with dependent types. In IFIP TCS, pages 437-450, 2004.
13. Sam Tobin-Hochstadt and Matthias Felleisen. The design and implementation of typed scheme. In Principles of Programming Languages (POPL), pages 395-406, 2008.
14. Philip Wadler and Robert Bruce Findler. Well-typed programs can't be blamed. In Workshop on Scheme and Functional Programming, 2007.
15. Philip Wadler and Robert Bruce Findler. Well-typed programs can't be blamed. In European Symposium on Programming (ESOP), pages 1-16, 2009.
16. Dana N. Xu, Simon Peyton Jones, and Koen Claessen. Static contract checking for haskell. In Principles of Programming Languages (POPL), pages 41-52, 2009.