×

zbMATH — the first resource for mathematics

Searching for deadlocks while debugging Concurrent Haskell programs. (English) Zbl 1323.68104
Proceedings of the 9th ACM SIGPLAN international conference on functional programming, ICFP ’04, Uppsala, Snowbird, UT, USA, September 19–21, 2004. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-905-5). ACM SIGPLAN Notices 39, No. 9, 28-39 (2004).

MSC:
68N18 Functional programming and lambda calculus
68N19 Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)
68N25 Theory of operating systems
68Q60 Specification and verification (program logics, model checking, etc.)
Software:
Freja; Haskell; Hat; Hood
PDF BibTeX XML Cite
Full Text: DOI