A Syntax-Free Semantics for the APL Operators.
Calvin C. ElgotAlan J. PerlisLawrence SnyderPublished in: Inf. Process. Lett. (1982)
Keyphrases
- operational semantics
- definition language
- rule language
- formal semantics
- natural language
- aggregate functions
- predicate calculus
- machine processable
- morphological operators
- conceptual model
- logic programming
- relational operators
- precisely defined
- update operators
- default reasoning
- semantic representation
- high level
- modal operators
- data sets
- lexical semantics
- update semantics
- database