A Technique to Build Debugging Tools for Lazy Functional Logic Languages.
Bernd BraßelPublished in: Electron. Notes Theor. Comput. Sci. (2009)
Keyphrases
- programs written
- operating system
- human language technology
- programming language
- databases
- logic programming
- proof theory
- decision support
- expressive power
- highly expressive
- program understanding
- automated reasoning
- functional language
- formal language
- classical logic
- logical framework
- software tools
- source code
- end users