Functional Semantics of Programs with Exceptions.
Jean-Chrysostome BolotPankaj JalotePublished in: Comput. Lang. (1990)
Keyphrases
- multiple inheritance
- stable model semantics
- default rules
- programming language constructs
- dynamic logic
- fixpoint semantics
- logic programming
- formal semantics
- stable models
- control flow
- declarative semantics
- deductive databases
- functional language
- fixpoint
- model theoretic
- neural network
- automatic programming
- databases
- operational semantics
- functional properties
- semantic representation
- update semantics
- programming environment
- programming language
- probabilistic logic programs