Contracts for higher-order functions

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP

Volumn , Issue , 2002, Pages 48-59

  Findler, Robert Bruce ^a,b   Felleisen, Matthias ^a  

^a NORTHEASTERN UNIVERSITY   (United States)

^b RICE UNIVERSITY   (United States)

Author keywords

Behavioral specifications; Contracts; Higher order functions; Predicate typing; Software reliability

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER SIMULATION; COMPUTER SOFTWARE; PROGRAM COMPILERS; RELIABILITY; SEMANTICS;

BEHAVIORAL SPECIFICATIONS; HIGHER-ORDER FUNCTIONS; PREDICATE TYPING; SOFTWARE RELIABILITY;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0036948883     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/581478.581484     Document Type: Conference Paper

References (34)

1. AT&T Bell Laboratories. Standard ML of New Jersey, 1993.
2. Clinger, W. D. Proper tail recursion and space efficiency. In Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 174-185, June 1998.
3. Felleisen, M., R. B. Findler, M. Flatt and S. Krishnamurthi. How to Design Programs. MIT Press, 2001.
4. Felleisen, M. and R. Hieb. The revised report on the syntactic theories of sequential control and state. In Theoretical Computer Science, pags 235-271, 1992.
5. Findler, R. B., J. Clements, C. Flanagan, M. Flatt, S. Krishnamurthi, P. Steckler and M. Felleisen. DrScheme: A programming environment for Scheme. Journal of Functional Programming, 12(2):159-182, March 2002. A preliminary version of this paper appeared in PLILP 1997, LNCS volume 1292, pages 369-388.
6. Findler, R. B. and M. Felleisen. Contracts for higher-order functions. Technical Report NU-CCS-02-05, Northeastern University, 2002.
7. Findler, R. B. and M. Flatt. Modular object-oriented programming with units and mixins. In Proceedings of ACM SIGPLAN International Conference on Functional Programming, pages 94-104, September 1998.
8. Flatt, M. PLT MzScheme: Language manual. Technical Report TR97-280, Rice University, 1997. http://www.plt-scheme.org/software/mzscheme/.
9. Flatt, M. Composable and compilable macros: You want it when? In Proceedings of ACM SIGPLAN International Conference on Functional Programming, 2002.
10. Flatt, M., S. Krishnamurthi and M. Felleisen. A programmer's reduction semantics for classes and mixins. Formal Syntax and Semantics of Java, 1523:241-269, 1999. Preliminary version appeared in proceedings of Principles of Programming Languages, 1998. Revised version is Rice University technical report TR 97-293, June 1999.
11. Gomes, B., D. Stoutamire, B. Vaysman and H. Klawitter. A Language Manual for Sather 1.1, August 1996.
12. Gosling, J., B. Joy and J. Guy Steele. The Java(tm) Language Specification. Addison-Wesley, 1996.
13. Harper, R. and M. Lillibridge. A type-theoretic approach to higher-order modules with sharing. In Proceedings of ACM Conference Principles of Programming Languages, pages 123-137, January 1994.
14. Holt, R. C. and J. R. Cordy. The Turing programming language. In Communications of the ACM, volume 31, pages 1310-1423, December 1988.
15. Jones, M. P., A. Reid and The Yale Haskell Group. The Hugs 98 User Manual, 1999.
16. 5 report of the algorithmic language Scheme. ACM SIGPLAN Notices, 33(9):26-76, 1998.
17. Kölling, M. and J. Rosenberg. Blue: Language Specification, version 0.94, 1997.
18. Leroy, X. Manifest types, modules, and separate compilation. In Proceedings of ACM Conference Principles of Programming Languages, pages, 109-122, January 1994.
19. Leroy, X. The Objective Caml system, Documentation and User's guide, 1997.
20. Luckham, D. Programming with specifications. Texts and Monographs in Computer Science, 1990.
21. Luckham, D. C. and F. von Henke. An overview of Anna, a specification language for Ada. In IEEE Software, volume 2, pages 9-23, March 1985.
22. Meyer, B. Eiffel: The Language. Prentice Hall, 1992.
23. Milner, R., M. Tofte and R. Harper. The Definition of Standard ML. MIT Press, 1990.
24. Mitchell, J. C. and G. D. Plotkin. Abstract types have existential type. ACM Transactions on Programming Languages and Systems, 10(3):470-502, 1988.
25. Parnas, D. L. A technique for software module specification with examples. Communications of the ACM, 15(5):330-336, May 1972.
26. Rémy, D. and J. Vouillon. Objective ML: A simple object-oriented extension of ML. In Proceedings of ACM Conference Principles of Programming Languages, pages 40-56, January 1997.
27. Rosenblum, D. S. A practical approach to programming with assertions. IEEE Transactions on Software Engineering, 21(1):19-31, January 1995.
28. Serrano, M. Bigloo: A practical Scheme compiler, 1992-2002.
29. Serrano, M. Bee: an integrated development environment for the Scheme programming language. Journal of Functional Programming, 10(2):1-43, May 2000.
30. Steele, G. L. J. Debunking the "expensive procedure call" myth; or, Procedure call implementations considered harmful; or, LAMBDA: The ultimate goto. Technical Report 443, MIT Artificial Intelligence Laboratory, 1977. First appeared in the Proceedings of the ACM National Conference (Seattle, October 1977), 153-162.
31. Switzer, R. Eiffel: An Introduction. Prentice Hall, 1993.
32. Szyperski, C. Component Software. Addison-Wesley, 1998.
33. The GHC Team. The Glasgow Haskell Compiler User's Guide, 1999.
34. Wright, A. and M. Felleisen. A syntactic approach to type soundness. Information and Computation, pages 38-94, 1994. First appeared as Technical Report TR160, Rice University, 1991.