Algebraic Approaches to Program Semantics
de Ernest G. Manes, Michael A. Arbib
Formal description of control, recursion and data structures using two semantic descriptions: denotational and partially additive.
Materias
Ediciones (2)
- Algebraic Approaches to Program Semantics (2014)
Springer · ISBN 9781461249634
- Algebraic Approaches to Program Semantics (1986)
Springer New York · inglés · ISBN 9781461293774