DDT: a Declarative Debugging Tool for Functional-Logic Languages.
Rafael CaballeroMario Rodríguez-ArtalejoPublished in: FLOPS (2004)
Keyphrases
- expressive power
- language independent
- programs written
- declarative language
- functional language
- programming language
- modal logic
- software tools
- databases
- formal language
- program understanding
- cross lingual
- functional programming
- truth maintenance systems
- classical logic
- temporal logic
- domain independent
- knowledge representation
- natural language