Semantics of Programming Languages (Prentice-Hall International Series in Computer Science) - Couverture souple

Tennent, R. D.

 
9780138055998: Semantics of Programming Languages (Prentice-Hall International Series in Computer Science)
Couverture souple
ISBN 10 : 0138055998 ISBN 13 : 9780138055998
Editeur : Prentice Hall, 1991

Synopsis

This comprehensive text introduces the analysis of the semantics of programming languages and programming logics. It discusses denotational, operational, and axiomatic approaches and the relations between them in a unified framework. Organized around analysis of three languages the simple imperative language of while commands, a simple applicative language based on the typed lambda calculus, and an Algollike language which is an extension of the simple languages, the text discusses syntactic and semantic methods appropriate to typed languages. There also selfcontained introductions to natural deduction, domain theory, and category theory, and a discussion of modern techniques of possible worlds.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Présentation de l'éditeur

This comprehensive text introduces the analysis of the semantics of programming languages and programming logics. It discusses denotational, operational, and axiomatic approaches and the relations between them in a unified framework. Organized around analysis of three languages - the simple imperative language of while commands, a simple applicative language based on the typed lambda calculus, and an Algol-like language which is an extension of the simple languages, the text discusses syntactic and semantic methods appropriate to typed languages. There also self-contained introductions to natural deduction, domain theory, and category theory, and a discussion of modern techniques of possible worlds.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
Prentice Hall
Date d'édition
1991
Langue
anglais
ISBN 10 
0138055998
ISBN 13 
9780138055998
Reliure
Broché
Nombre de pages
260
Coordonnées du fabricant
non disponible
Personne responsable
non disponible

Autres éditions populaires du même titre

9780138056070: Semantics of Programming Languages

Edition présentée

ISBN 10 :  0138056072 ISBN 13 :  9780138056070
Editeur : Pearson Education Limited, 1991
Couverture rigide