Semantics of programming languages
Medical Entomology and Zoology
June 1, 1991
Cited by 355
Abstract
Part 1 Introduction: semantics mathematical preliminaries. Part 2 Basic concepts: a simple imperative language a simple applicative language recursion. Part 3 An Algol-like language: an Algol-like language Part 4 Advanced techniques: an introduction to category theory possible worlds recursively-defined domains.
Related Papers
No related papers found
Powered by citation graph analysis