Actress: An Action Semantics Directed Compiler Generator.
Deryck Forsyth BrownHermano MouraDavid A. WattPublished in: CC (1992)
Keyphrases
- action descriptions
- programming language
- action language
- formal semantics
- action theories
- general purpose
- fluent calculus
- speech acts
- logic programming
- software systems
- computer vision
- semantic information
- software engineering
- object oriented
- situation calculus
- action selection
- software development
- reasoning about actions
- constraint language
- highly optimized
- database systems
- databases