Reduction Semantics and Formal Analysis of Orc Programs.
Musab AlTurkiJosé MeseguerPublished in: Electron. Notes Theor. Comput. Sci. (2008)
Keyphrases
- formal analysis
- formal methods
- fixpoint semantics
- stable model semantics
- control flow
- ban logic
- programming language constructs
- semantic information
- agent model
- stable models
- formal semantics
- multi agent systems
- transformation rules
- dynamic logic
- normal logic programs
- computer programs
- logic programming
- probabilistic logic programs
- logic programs