Procedure semantics and language definition.
Franklyn T. BradshawGeorge W. ErnstRaymond J. HookwayWilliam F. OgdenPublished in: ACM SIGPLAN Notices (1980)
Keyphrases
- definition language
- operational semantics
- model theoretic
- specification language
- multiple inheritance
- logical language
- intended meaning
- conceptual model
- denotational semantics
- highly expressive
- programming language
- logic programming language
- formal semantics
- deductive databases
- description logics
- conceptual graphs
- object oriented
- object identity
- formal language
- natural language
- object oriented databases
- dynamic logic
- data model
- action language
- language learning
- semantically equivalent
- database query languages
- disjunctive logic programming
- speech acts
- predicate calculus
- modal operators
- proof theory
- logic programming
- agent oriented programming language
- fixed point semantics
- high level
- logic programs
- formal languages
- mental states
- default reasoning
- semantic representation