Lazy Assertions-Reference-Cited by-同舟云学术

Lazy Assertions

Published:2004 Issue: Volume: Page:1-19
ISSN:0302-9743
Container-title:Implementation of Functional Languages
language:
Short-container-title:

Author:

Chitil Olaf,McNeill Dan,Runciman Colin

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-27861-0_1.pdf

Reference9 articles.

1. Claessen, K., Hughes, R.J.M.: QuickCheck: a lightweight tool for random testing of Haskell programs. In: Proc. 5th Intl. ACM Conference on Functional Programming, pp. 268–279. ACM Press, New York (2000)

2. Lecture Notes in Computer Science;K. Claessen,2003

3. S. L. Peyton Jones (ed.) Haskell 98: a non-strict, purely functional language. Journal of Functional Programming 13(1):special issue (2003)

4. Gill, A.: Debugging Haskell by observing intermediate datastructures. In: Proc. 2000 ACM SIGPLAN Haskell Workshop. Electronic Notes in Theoretical Computer Science, vol. 41(1) (2001)

5. McNeill, D.: Concurrent data-driven assertions in a lazy functional language. Technical report, BSc Project Dissertation, Department of Computer Science, University of York (2003)

Cited by 10 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Combining Static and Dynamic Contract Checking for Curry;Logic-Based Program Synthesis and Transformation;2018

2. An extended account of contract monitoring strategies as patterns of communication;Journal of Functional Programming;2018

3. Expressing contract monitors as patterns of communication;ACM SIGPLAN Notices;2015-12-18

4. Expressing contract monitors as patterns of communication;Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming;2015-08-29

5. Behavioral software contracts;ACM SIGPLAN Notices;2014-11-26