Searching for deadlocks while debugging concurrent haskell programs.
Jan ChristiansenFrank HuchPublished in: ICFP (2004)
Keyphrases
- programming language
- functional programming
- java programs
- hardware designs
- functional language
- concurrent programming
- novice programmers
- concurrent programs
- computer programs
- deadlock detection
- static analysis
- programming environment
- plagiarism detection
- automatic programming
- databases
- model based diagnosis
- distributed database systems
- information systems
- artificial intelligence