Algorithmic debugging of real-world haskell programs: deriving dependencies from the cost centre stack.
Maarten FaddegonOlaf ChitilPublished in: PLDI (2015)
Keyphrases
- real world
- functional programming
- wide range
- synthetic data
- lowest cost
- hardware designs
- java programs
- data sets
- programming language
- functional language
- novice programmers
- high cost
- execution traces
- cost sensitive
- case study
- minimum cost
- dependency analysis
- total cost
- computer programs
- model based diagnosis
- answer sets
- functional dependencies
- object oriented
- real life
- data mining
- neural network