ACTRESS: An Action Semantics Directed Compiler Generator (Summary).
Deryck Forsyth BrownHermano MouraDavid A. WattPublished in: Functional Programming (1991)
Keyphrases
- action descriptions
- programming language
- action language
- formal semantics
- logic programming
- semantic information
- fluent calculus
- speech acts
- communicative acts
- highly optimized
- model theoretic
- operational semantics
- general purpose
- document summarization
- temporal relations
- text summarization
- human actions
- belief revision
- summary generation