Relationally-parametric polymorphic contracts

Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA

Volumn , Issue , 2007, Pages 29-40

  Guha, Arjun ^a   Matthews, Jacob ^b   Findler, Robert Bruce ^b   Krishnamurthi, Shriram ^a  

^a BROWN UNIVERSITY   (United States)

^b UNIVERSITY OF CHICAGO   (United States)

Author keywords

Contracts; Parametricity; Polymorphism

Indexed keywords

PARAMETRIC POLYMORPHISM; PARAMETRICITY; STANDARD ML; STATIC TYPE SYSTEMS;

COMPUTER PROGRAMMING LANGUAGES; SYSTEMS ANALYSIS;

CONTRACTS;

EID: 41149124483     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1297081.1297089     Document Type: Conference Paper

References (29)

1. Carrillo-Castellon, M., J. Garcia-Molina, E. Pimentel and I. Repiso. Design by contract in Smalltalk. Journal of Object-Oriented Programming, 7(9):23-28, 1996.
2. Conway, D. and C. G. Goebel. Class::Contract - design-by-contract OO in Perl.search.cpan.org/~ggoebel/Class-Contract-1.14.
3. ECMA. ECMAScript language specification.
4. Elliot, C. and P. Hudak. Functional reactive animation. In ACM SIGPLAN International Conference on Functional Programming, pages 163-173, June 1997.
5. Findler, Barzilay, Blume, Codik, Felleisen, Flatt, Huang, Matthews, McCarthy, Scott, Press, Rainey, Reppy, Riehl, Spiro, Tucker and Wick. The eighth annual ICFP programming contest. icfpc.pit-scheme.org/.
6. Findler, R. and M. Felleisen. Contracts for higher-order functions. In ACM SIGPLAN International Conference on Functional Programming, pages 48-59, 2002.
7. Findler, R. B. and M. Blume. Contracts as pairs of projections. In International Symposium on Functional and Logic Programming, pages 226-241, 2006.
8. Findler, R. B., M. Latendresse and M. Felleisen. Behavioral contracts and behavioral subtyping. In Proceedings of ACM Conference Foundations of Software Engineering, pages 229-236, 2001.
9. Flapjax Team. Flapjax programming language, www.flapjax-lang.org.
10. Flatt, M. Composable and compilable macros: You want it when? In ACM SIGPLAN International Conference on Functional Programming, pages 72-83, 2002.
11. Harper, R. and G. Morrisett. Compiling polymorphism using intensions type analysis. In ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 130-141, 1994.
12. Hinze, R., J. Jeuring and A. Löh. Typed contracts for functional programming. In International Symposium on Functional and Logic Programming, pages 208-225, 2006.
13. Ignatoff, D., G. H. Cooper and S. Krishnamurthi. Crossing state lines: Adapting object-oriented frameworks to functional reactive languages. In International Symposium on Functional and Logic Programming, pages 259-276, 2006.
14. Karaorman, M., U. Hölzle and J. Bruno. jContractor: A reflective Java library to support design by contract. In Proceedings of Meta-Level Architectures and Reflection, volume 1616 of LNCS, July 1999.
15. Matthews, J. and R. B. Findler. Operational semantics for multi-language programs. In ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 3-10, 2007.
16. McFarlane, K. Design by contract framework. www.codeproject.com/csharp/ designbycontract.asp.
17. Meyer, B. Eiffel: The Language. Prentice Hall, 1992.
18. Milner, R. A theory of type polymorphism in programming. Journal of Computer and System Sciences, 17:348-375, August 1978.
19. Milner, R., M. Tofte and R. Harper. The Definition of Standard ML. MIT Press, Cambridge, MA, 1990.
20. Mitchell, J. C. and G. D. Plotkin. Abstract types have existential type. ACM Transactions on Programming Languages and Systems, 10(3):470-502, 1988.
21. Pierce, B. and E. Sumii. Relating cryptography and polymorphism, 2000. Unpublished manuscript.
22. Plösch, R. Design by contract for Python. In IEEE Proceedings of the Joint Asia Pacific Software Engineering Conference, page 213, 1997.
23. Plösch, R. and J. Pichler. Contracts: From analysis to C++ implementation. In Technology of Object-Oriented Languages and Systems, pages 248-257, 1999.
24. PLT PLT MzLib: Libraries manual. Technical Report PLT-TR05-4-v300, PLT Scheme Inc., 2005. www.plt-scheme.org/techreports/.
25. Reynolds, J. C. Types, absraction, and parametric polymorphism. In Information Processing 83, pages 513-523, 1983.
26. Rosenblum, D. S. A practical approach to programming with assertions. IEEE Transactions on Software Engineering, 21(1): 19-31, January 1995.
27. Tobin-Hochstadt, S. and M. Felleisen. Interlanguage migration: from scripts to programs. In Object-Oriented Programming Systems, Languages, and Applications, pages 964-974, 2006.
28. Wadler, P. Theorems for free! In International Conference on Functional Programming Languages and Computer Architecture, pages 347-359, 1989.
29. Zdancewic, S., D. Grossman and G. Morrisett. Principals in programming languages: a syntactic proof technique. In International Conference on Functional Programming, pages 197-207, 1999.