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

Stoy, Joseph E. E.

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

Sinopsis

"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

"Sinopsis" puede pertenecer a otra edición de este libro.

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

"Sobre este título" puede pertenecer a otra edición de este libro.

Editorial
MIT Press
Año de publicación
1981
Idioma
Inglés
ISBN 10 
0262690764
ISBN 13 
9780262690768
Encuadernación
Tapa blanda
Número de páginas
450
Contacto del fabricante
no disponible
Persona responsable
no disponible

Otras ediciones populares con el mismo título

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

Edición Destacada

ISBN 10:  0262191474 ISBN 13:  9780262191470
Editorial: MIT Press, 1977
Tapa dura