Proofs of Partial Correctness for Attribute Grammars with Applications to Recursive Procedures and Logic Programming
Bruno CourcellePierre DeransartPublished in: Inf. Comput. (1988)
Keyphrases
- logic programming
- attribute grammars
- logic programs
- answer set programming
- deductive databases
- context free
- programming language
- knowledge representation
- context free grammars
- logic programming language
- knowledge representation and reasoning
- answer sets
- xml processing
- knowledge base
- theorem proving
- stable models
- inductive logic programming
- information extraction