The formal semantics of programming languages : an introduction
Material type:
- 0262731037
Item type | Home library | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|
![]() |
Biblioteca de la Facultad de Informática | D.3.1 WIN (Browse shelf(Opens below)) | Available | DIF-02017 |
Incluye bibliografía. --
Basic set theory -- Introduction to operational semantics -- Some principles of induction -- Inductive definitions -- The denotational semantics of IMP -- The axiomatic semantics of IMP -- Completeness of the Hoare rules -- Introduction to domain theory -- Recursion equations -- Techniques for recursion -- Languages with higher types -- Information systems -- Nondeterminism and parallelism -- Incompleteness and undecidability.