Compile-Time Debugging of C Programs Working on Trees.
Jacob ElgaardAnders MøllerMichael I. SchwartzbachPublished in: ESOP (2000)
Keyphrases
- hardware designs
- java programs
- decision trees
- integrity constraints
- program slicing
- novice programmers
- tree structure
- labeled trees
- computer programs
- tree automata
- data sets
- binary trees
- tree nodes
- data structure
- fault localization
- automatic programming
- search algorithm
- programming environment
- query optimization
- object oriented
- information technology
- expert systems