On the Role of Functional-logic Languages for the Debugging of Imperative Programs.
Ángel Herranz-NievaJuan José Moreno-NavarroPublished in: WFLP (2000)
Keyphrases
- imperative programs
- dynamic logic
- expressive power
- programs written
- modal logic
- logic programming
- language independent
- functional language
- databases
- classical logic
- artificial intelligence
- cross lingual
- programming language
- defeasible logic
- formal language
- predicate logic
- general purpose
- constraint language
- novice programmers
- query language
- machine learning