Tree transformations and the semantics of loop-free programs.
Michael A. ArbibErnest G. ManesPublished in: Acta Cybern. (1978)
Keyphrases
- tree traversal
- stable model semantics
- dynamic logic
- programming language constructs
- tree structure
- transformation rules
- stable models
- formal semantics
- control flow
- declarative semantics
- fixpoint semantics
- logic programming
- programming language
- loop formulas
- binary tree
- b tree
- tree models
- semantic information
- index structure
- database systems
- answer set programming
- database languages
- normal logic programs
- model theoretic
- database
- deductive databases
- fixpoint
- answer sets