Local cover image
Local cover image

The formal semantics of programming languages : an introduction

By: Material type: TextTextSeries: Foundations of computingPublication details: Cambridge : MIT Press, c1993Edition: 1st edDescription: xviii, 361 p. ; 23 cmISBN:
  • 0262731037
Subject(s):
Contents:
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.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Home library Call number Status Date due Barcode
Libro Libro 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.

Click on an image to view it in the image viewer

Local cover image