A Pattern Logic for Prompt Lazy Assertions in Haskell-Reference-Cited by-同舟云学术

A Pattern Logic for Prompt Lazy Assertions in Haskell

Published: Issue: Volume: Page:126-144
ISSN:0302-9743
Container-title:Implementation and Application of Functional Languages
language:
Short-container-title:

Author:

Chitil Olaf,Huch Frank

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-74130-5_8.pdf

Reference15 articles.

1. Broberg, N., Farre, A., Svenningsson, J.: Regular expression patterns. In: ICFP 2004: Proceedings of the ninth ACM SIGPLAN international conference on Functional programming, pp. 67–78. ACM Press, New York (2004)

2. Lecture Notes in Computer Science;O. Chitil,2004

3. 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)

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

5. Findler, R.B., Felleisen, M.: Contracts for higher-order functions. In: ICFP 2002: Proceedings of the seventh ACM SIGPLAN international conference on Functional programming, pp. 48–59. ACM Press, New York (2002)

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

1. Practical Idiomatic Considerations for Checkable Meta-logic in Experimental Functional Programming;Functional and Constraint Logic Programming;2021

2. Lazy and Enforceable Assertions for Functional Logic Programs;Functional and Constraint Logic Programming;2011

3. Lazy Contract Checking for Immutable Data Structures;Implementation and Application of Functional Languages

4. Debugging Lazy Functional Programs by Asking the Oracle;Implementation and Application of Functional Languages