An Operational Semantics of Program Dependence Graphs for Unstructured Programs.
Souhei ItoShigeki HagiharaNaoki YonezakiPublished in: ASIAN (2006)
Keyphrases
- operational semantics
- declarative semantics
- agent programming
- formal semantics
- mental states
- data model
- control program
- logic programming
- logic programs
- model theoretic
- computer programs
- automatic programming
- program execution
- denotational semantics
- deductive databases
- logic programming language
- java programs
- speech acts
- multiagent systems
- structured data
- software engineering