Semantics of Programming Languages - Couverture rigide

Tennent, R.D.

 
9780138056070: Semantics of Programming Languages
Couverture rigide
ISBN 10 : 0138056072 ISBN 13 : 9780138056070
Editeur : Pearson Education Limited, 1991

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
Pearson Education Limited
Date d'édition
1991
Langue
anglais
ISBN 10 
0138056072
ISBN 13 
9780138056070
Reliure
Relié
Nombre de pages
255
Coordonnées du fabricant
non disponible
Personne responsable
non disponible

Autres éditions populaires du même titre

9780138055998: Semantics of Programming Languages (Prentice-Hall International Series in Computer Science)

Edition présentée

ISBN 10 :  0138055998 ISBN 13 :  9780138055998
Editeur : Prentice Hall, 1991
Couverture souple