The formal semantics of programming languages : an introduction
| Autor Principal: | |
|---|---|
| Formato: | Libro |
| Lengua: | inglés |
| Datos de publicación: |
Cambridge :
MIT Press,
c1993
|
| Edición: | 1st ed. |
| Series: | Foundations of computing
|
| Temas: | |
| Acceso en línea: | Consultar en el Cátalogo |
| Notas: | Incluye bibliografía. -- |
| Descripción Física: | xviii, 361 p. ; 23 cm. |
| ISBN: | 0262731037 |
Tabla de Contenidos:
- 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.