Christiansen, Jan; Huch, Frank 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). Cited in 1 Document 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.) Keywords:Concurrent Haskell; deadlock; debugging; detecting deadlocks Software:Freja; Haskell; Hat; Hood PDF BibTeX XML Cite \textit{J. Christiansen} and \textit{F. Huch}, in: 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). 28--39 (2004; Zbl 1323.68104) Full Text: DOI