Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory - Couverture rigide

Stoy, Joseph E.

 
9780262191470: Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Couverture rigide
ISBN 10 : 0262191474 ISBN 13 : 9780262191470
Editeur : The MIT Press, 1977

Synopsis

"First book-length exposition of the denotational (or `mathematical' or `functional') approach to the formal semantics of programming languages (in contrast to `operational' and `axiomatic' approaches). Treats various kinds of languages, beginning with the pure-lambda-calculus and progressing through languages with states, commands, jumps, and assignments. This somewhat discursive account is a valuable compilation of results not otherwise available in a single source."—American Mathematical Monthly

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

Présentation de l'éditeur

"First book-length exposition of the denotational (or 'mathematical' or 'functional') approach to the formal semantics of programming languages (in contrast to 'operational' and 'axiomatic' approaches). Treats various kinds of languages, beginning with the pure-lambda-calculus and progressing through languages with states, commands, jumps, and assignments. This somewhat discursive account is a valuable compilation of results not otherwise available in a single source."- American Mathematical Monthly

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

Éditeur
The MIT Press
Date d'édition
1977
Langue
anglais
ISBN 10 
0262191474
ISBN 13 
9780262191470
Reliure
Relié
Nombre de pages
392
Coordonnées du fabricant
non disponible
Personne responsable
non disponible

Autres éditions populaires du même titre

9780262690768: Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory

Edition présentée

ISBN 10 :  0262690764 ISBN 13 :  9780262690768
Editeur : MIT Press, 1981
Couverture souple