Semantics of programming languages
暂无分享,去创建一个
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.
[1] Glynn Winskel,et al. Using Information Systems to Solve Recursive Domain Equations , 1991, Inf. Comput..