An Operational Semantics for I/O in a Lazy Functional Language.
Andrew D. GordonPublished in: FPCA (1993)
Keyphrases
- operational semantics
- functional language
- functional programming
- programming language
- formal semantics
- proof planning
- data model
- mental states
- model theoretic
- activity diagrams
- execution model
- main memory
- object identity
- databases
- speech acts
- description logics
- object oriented
- database
- software systems
- logic programming
- general purpose
- building intelligent
- expert systems
- high level
- machine learning