Denotational Semantics: Scott-Strackey Approach to Programming Language Theory (Computer Science)

Stoy

ISBN 10: 0262690764 / ISBN 13: 9780262690768

Editore: MIT Press, 1981

Riguardo questo articolo

450 pages. 9.25x6.25x1.00 inches. In Stock. Codice articolo zk0262690764

Dati bibliografici

Titolo: Denotational Semantics: Scott-Strackey ...

Casa editrice: MIT Press

Data di pubblicazione: 1981

Legatura: Paperback

Condizione: Brand New

Descrizione articolo

Riassunto:

"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