Lazy Assertions

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3145, Issue , 2004, Pages 1-19

  Chitil, Olaf ^a   McNeill, Dan ^a   Runciman, Colin ^a  

^a UNIVERSITY OF YORK   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; SEMANTICS;

FORCINGS; HASKELL; LAZY FUNCTIONAL LANGUAGES; PROPERTY; RUNTIMES; TIME VALUES;

SEMANTICS; SOFTWARE TESTING;

EID: 33745859457     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-27861-0_1     Document Type: Article

References (9)

1. K. Claessen and R. J. M. Hughes. QuickCheck: a lightweight tool for random testing of Haskell programs. In Proc. 5th Intl. ACM Conference on Functional Programming, pages 268-279. ACM Press, 2000.
2. K. Claessen, C. Runciman, O. Chitil, J. Hughes, and M. Wallace. Testing and tracing lazy functional programs using QuickCheck and Hat. In Lecture notes of the 4th Intl. Summer School in Advanced Functional Programming. 40pp, to appear in Springer LNCS, 2002.
3. S. L. Peyton Jones (Ed.). Haskell 98: a non-strict, purely functional language. Journal of Functional Programming, 13(1):special issue, 2003.
4. A. Gill. Debugging Haskell by observing intermediate datastructures. Electronic Notes in Theoretical Computer Science, 41(1), 2001. (Proc. 2000 ACM SIGPLAN Haskell Workshop).
5. D. McNeill. Concurrent data-driven assertions in a lazy functional language. Technical report, BSc Project Dissertation, Department of Computer Science, University of York, 2003.
6. B. Möller. Applicative assertions. In J. L. A. van de Snepscheut, editor, Mathematics of Program Construction, pages 348-362. Springer LNCS 375, 1989.
7. S. L. Peyton Jones. Tackling the awkward squad: monadic input/output, concurrency, exceptions and foreign-language calls in haskell. In C. A. R. Hoare, M. Broy, and R. Steinbruggen, editors, Engineering theories of software construction, pages 47-96. IOS Press, 2001.
8. Simon L. Peyton Jones, Simon Marlow, and Conal Elliott. Stretching the storage manager: Weak pointers and stable names in haskell. In Implementation of Functional Languages, 11th International Workshop, IFL'99, volume 1868 of LNCS 1868, pages 37-58, 2000.
9. M. Wallace, O. Chitil, T. Brehm, and C. Runciman. Multiple-view tracing for Haskell: a new Hat. In ACM Workshop on Haskell, 2001.