A Program Transformation for Tracing Functional Logic Computations.
Bernd BrasselSebastian FischerFrank HuchPublished in: LOPSTR (2006)
Keyphrases
- logic programming
- declarative semantics
- modal logic
- recursive programs
- computer programs
- transformation rules
- case study
- test cases
- real time
- program execution
- classical logic
- functional programs
- proof theory
- functional analysis
- control program
- asynchronous circuits
- linear transformation
- parallel computation
- programming environment
- description logics
- information systems
- data sets