Eager and delayed contract monitoring for call-by-value and call-by-name evaluation

Journal of Logic and Algebraic Programming

Volumn 79, Issue 7, 2010, Pages 515-549

  Degen, Markus ^a   Thiemann, Peter ^a   Wehr, Stefan ^a  

^a UNIVERSITY OF FREIBURG   (Germany)

Author keywords

Call by name; Call by value; Contract monitoring; Formal system; Type and effect system

Indexed keywords

SEMANTICS; SOFTWARE DESIGN;

ALGEBRAIC LAWS; CALL-BY-NAME; CALL-BY-VALUE; EFFECT SYSTEM; EVALUATION ORDER; FORMAL SYSTEMS; MONADIC SEMANTICS; TYPE AND EFFECT SYSTEMS;

MONITORING;

EID: 79251551343     PISSN: 15678326     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jlap.2010.07.006     Document Type: Conference Paper

References (22)

1. P. Abercrombie, M. Karaorman, jContractor: Design by contract for Java, 2003. 〈http://jcontractor.sourceforge.net/〉.
2. G. Barthe, J. Hatcliff, P. Thiemann, Monadic type systems: pure type systems for impure settings (preliminary report), in: A. Gordon, A. Pitts, C. Talcott (Eds.), Proceedings of 3rd InternationalWorkshop on Higher Order Operational Techniques in Semantics, HOOTS '97 (Stanford University, December 1997), Electronic Notes in Theoretical Computer Science, vol. 10, Elsevier, 1998, pp. 54-120.
3. N. Benton, A. Kennedy, Monads, effects, and transformations, in: A. Gordon, A. Pitts (Eds.), Proceedings of 3rd International Workshop on Higher Order Operational Techniques in Semantics, HOOTS '99 (Paris, September/October 1999), Electronic Notes in Theoretical Computer Science, vol. 26, Elsevier, 1999, pp. 3-20.
4. M. Blume, D.McAllester, A sound (and complete) model of contracts, in: Proceedings of 9th ACM SIGPLAN International Conference on Functional Programming, ICFP 2004 (Snowbird, UT, September 2004), ACM Press, 2004, pp. 189-200.
5. O. Chitil, D. McNeill, C. Runciman, Lazy assertions, in: P. Trinder, G. Michaelson, R. Peña (Eds.), Revised Papers from 15th International Symposium on Implementation of Functional Languages, IFL 2003 (Edinburgh, September 2003), Lecture Notes in Computer Science, vol. 3145, Springer, 2004, pp. 1-19.
6. O. Chitil, F. Huch, A pattern logic for prompt lazy assertions, in: Z. Horváth, V. Zsók, A. Butterfield (Eds.), Revised Selected Papers from 18th International Symposium on Implementation and Application of Functional Languages, IFL 2006 (Budapest, September 2006), Lecture Notes in Computer Science, vol. 4449, Springer, 2007, pp. 126-144.
7. DrScheme: PLT programming environment, 2008. 〈http://docs.plt- scheme.org/drscheme/index.html〉.
8. R.B. Findler,M. Felleisen, Contract soundness for object-oriented languages, in: Proceedings of 16th ACMSIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA '01 (Tampa Bay, FL, October 2001), ACM Press, 2001, pp. 1-15.
9. R.B. Findler, M. Felleisen, Contracts for higher-order functions, in: Proceedings of 7th ACM SIGPLAN International Conference on Functional Programming, ICFP 2002 (Pittsburgh, PA, October 2002), ACM Press, 2002, pp. 48-59.
10. R.B. Findler, M. Blume, Contracts as pairs of projections, in: P.Wadler,M. Hagiya (Eds.), Proceedings of 8th International Symposium on Functional and Logic Programming, FLOPS 2006 (Fuji Susono, April 2006), Lecture Notes in Computer Science, vol. 3945, Springer, 2006, pp. 226-241.
11. R.B. Findler, S. Guo, A. Rogers, Lazy contract checking for immutable data structures, in: O. Chitil, Z. Horváth, V. Zsók (Eds.), Revised Selected Papers from 19th InternationalWorkshop on Implementation and Application of Functional Languages, IFL 2007 (Freiburg, September 2007), Lecture Notes in Computer Science, vol. 5083, Springer, 2008, pp. 111-128.
12. C. Führmann, Varieties of effects, in: M. Nielsen (Ed.), Proceedings of 5th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2002 (Grenoble, April 2002), Lecture Notes in Computer Science, vol. 2303, Springer, 2002, pp. 144-158.
13. GHC, The Glasgow Haskell compiler, 2008. 〈http://www.haskell.org/ ghc/〉.
14. PLT Group, PLT MzLib: Libraries Manual, Rice University, University of Utah, version 300 (December 2005).
15. R. Hinze, J. Jeuring, A. Löh, Typed contracts for functional programming, in: P. Wadler, M. Hagiya (Eds.), Proceedings of 8th International Symposium on Functional and Logic Programming, FLOPS 2006 (Fuji Susono, April 2006), Lecture Notes in Computer Science, vol. 3945, Springer, 2006, pp. 208-225.
16. R. Kramer, iContract - the Java design by contract tool, in: Proceedings of 26th International Conference on Technology of Object-Oriented Languages and Systems, TOOLS '98 (Santa Barbara, CA, August 1998), IEEE CS Press, pp. 295-307.
17. B. Meyer, Eiffel: The Language, Prentice-Hall, 1992.
18. B. Meyer, Applying "design by contract", IEEE Comput. 25 (10) (1992) 40-51.
19. B. Meyer, Object-Oriented Software Construction, second ed., Prentice-Hall, 1997.
20. E. Moggi, Notions of computations and monads, Inform. and Comput. 93 (1) (1991) 55-92.
21. P.Wadler, P. Thiemann, The marriage of effects and monads, ACM Trans. Comput. Logic 4 (1) (2003) 1-32.
22. D.N. Xu, S. Peyton Jones, K. Claessen, Static contract checking for Haskell, in: Proceedings of 36th Annual ACM Symposium on Principles of Programming Languages (Savannah, GA, January 2009), ACM Press, 2009, pp. 41-52.