FullDatasets
Book 1986
Algebraic Approaches to Program Semantics
- Publisher
- Springer New York
- Language
- English
- Published
- 1986
- Logic design
- Computer science
- Artificial intelligence
Formal description of control, recursion and data structures using two semantic descriptions: denotational and partially additive.