The formal semantics of programming languages : an introduction
Winskel, Glynn
The formal semantics of programming languages : an introduction - 1st ed. - Cambridge : MIT Press, c1993 - xviii, 361 p. ; 23 cm. - Foundations of computing .
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.
0262731037
DIF-M1548
LENGUAJES DE PROGRAMACIÓN
SEMÁNTICA
The formal semantics of programming languages : an introduction - 1st ed. - Cambridge : MIT Press, c1993 - xviii, 361 p. ; 23 cm. - Foundations of computing .
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.
0262731037
DIF-M1548
LENGUAJES DE PROGRAMACIÓN
SEMÁNTICA