Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory (Computer Science Series) - Softcover

Stoy, Joseph E. E.

 
9780262690768: Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory (Computer Science Series)
Softcover
ISBN 10: 0262690764 ISBN 13: 9780262690768
Verlag: MIT Press, 1981

Inhaltsangabe

"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

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Reseña del editor

"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

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
MIT Press
Erscheinungsdatum
1981
Sprache
Englisch
ISBN 10 
0262690764
ISBN 13 
9780262690768
Einband
Tapa blanda
Anzahl der Seiten
450
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar

Weitere beliebte Ausgaben desselben Titels

9780262191470: Denotational Semantics: Scott-Strachey Approach to Programming Language Theory

Vorgestellte Ausgabe

ISBN 10:  0262191474 ISBN 13:  9780262191470
Verlag: MIT Press, 1977
Hardcover