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

Stoy, Joseph E.

 
9780262191470: Denotational Semantics: Scott-Strachey Approach to Programming Language Theory
Rilegato
ISBN 10: 0262191474 ISBN 13: 9780262191470
Casa editrice: MIT Press, 1977

Sinossi

"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

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Product Description

Book by Stoy Joseph E

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
MIT Press
Data di pubblicazione
1977
Lingua
Inglese
ISBN 10 
0262191474
ISBN 13 
9780262191470
Rilegatura
Copertina rigida
Numero di pagine
392
Contatto del produttore
non disponibile
Persona responsabile
non disponibile

Altre edizioni note dello stesso titolo

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

Edizione in evidenza

ISBN 10:  0262690764 ISBN 13:  9780262690768
Casa editrice: MIT Press, 1981
Brossura