The formal semantics of programming languages : an introduction
Material type:
TextSeries: Foundations of computingPublication details: Cambridge : MIT Press, c1993Edition: 1st edDescription: xviii, 361 p. ; 23 cmISBN: - 0262731037
| Item type | Home library | Call number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|
Libro
|
Biblioteca de la Facultad de Informática | D.3.1 WIN (Browse shelf(Opens below)) | Available | DIF-02017 |
Browsing Biblioteca de la Facultad de Informática shelves Close shelf browser (Hides shelf browser)
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.
Click on an image to view it in the image viewer