A pattern logic for prompt lazy assertions in Haskell

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

Volumn 4449 LNCS, Issue , 2007, Pages 126-144

  Chitil, Olaf ^a   Huch, Frank ^b  

^a UNIVERSITY OF KENT   (United Kingdom)

^b UNIVERSITY OF KIEL   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; PATTERN MATCHING;

LAZY LANGUAGE HASKELL; PATTERN LOGIC;

COMPUTER PROGRAMMING LANGUAGES;

EID: 38049119964     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-74130-5_8     Document Type: Conference Paper

References (15)

1. Broberg, N., Farre, A., Svenningsson, J.: Regular expression patterns. In: ICFP '04: Proceedings of the ninth ACM SIGPLAN international conference on Functional programming, pp. 67-78. ACM Press, New York (2004)
2. Chitil, O., McNeill, D., Runciman, C.: Lazy assertions. In: Trinder, P., Michaelson, G., Peña, R. (eds.) IFL 2003. LNCS, vol. 3145, pp. 1-19. Springer, Heidelberg (November 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. Claessen, K., Runciman, C., Chitil, O., Hughes, J., Wallace, M.: Testing and Tracing Lazy Functional Programs using QuickCheck and Hat. In: Jeuring, J., Jones, S.L.P. (eds.) AFP 2002. LNCS, vol. 2638, pp. 59-99. Springer, Heidelberg (August 2003)
5. Findler, R.B., Felleisen, M.: Contracts for higher-order functions. In: ICFP '02: Proceedings of the seventh ACM SIGPLAN international conference on Functional programming, pp. 48-59. ACM Press, New York (2002)
6. Gill, A.: Debugging Haskell by observing intermediate datastructures. Electronic Notes in Theoretical Computer Science, In: Proc. 2000 ACM SIGPLAN Haskell Workshop, vol. 41(1), (2001)
7. Hinze, R., Jeuring, J., Löh, A.: Typed contracts for functional programming. In: Hagiya, M., Wadler, P. (eds.) FLOPS 2006. LNCS, vol. 3945, pp. 208-225. Springer, Heidelberg (2006)
8. Meyer, B.: Applying "design by contract". Computer 25(10), 40-51 (1992)
9. Meyer, B.: Eiffel: The Language. Prentice-Hall, Inc, Englewood Cliffs (1992)
10. Mohnen, M.: Context patterns, part II. In: Clack, C., Hammond, K., Davie, T. (eds.) IFL 1997. LNCS, vol. 1467, pp. 338-357. Springer, Heidelberg (1998)
11. Parnas, D.L.: A technique for software module specification with examples. Commun. ACM 15(5), 330-336 (1972)
12. rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 295-308, 21-24 (January 1996)
13. Rosenblum, D.S.: A practical approach to programming with assertions. IEEE Trans. Softw. Eng. 21(1), 19-31 (1995)
14. Sheard, T., Jones, S.P.: Template metaprogramming for haskell. In: Haskell Workshop 2002, (October 2002)
15. Swierstra, Alcocer.: Fast, error correcting parser combinators: A short tutorial. In: Bartosek, M., Tel, G., Pavelka, J. (eds.) SOFSEM 1999. LNCS, vol. 1725, Springer, Heidelberg (1999)