Articoli correlati a Denotational Semantics: Scott-Strachey Approach to...

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

Al momento non sono disponibili copie per questo codice ISBN.

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.

  • EditoreMIT Press
  • Data di pubblicazione1977
  • ISBN 10 0262191474
  • ISBN 13 9780262191470
  • RilegaturaCopertina rigida
  • LinguaInglese
  • Numero di pagine392
  • Contatto del produttorenon disponibile

(nessuna copia disponibile)

Cerca:



Inserisci un desiderata

Non riesci a trovare il libro che stai cercando? Continueremo a cercarlo per te. Se uno dei nostri librai lo aggiunge ad AbeBooks, ti invieremo una notifica!

Inserisci un desiderata

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