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

Stoy, Joseph E.

Hardcover

ISBN 10: 0262191474 ISBN 13: 9780262191470

Verlag: MIT Press, 1977

Inhaltsangabe

Firma anterior poseedor. Buen estado

Über diesen Titel

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

Details zur Ausgabe

• Verlag: MIT Press
• Erscheinungsdatum: 1977
• ISBN 10: 0262191474
• ISBN 13: 9780262191470
• Einband: Tapa dura
• Sprache: Englisch
• Anzahl der Seiten: 392
• Kontakt zum Hersteller: Nicht verfügbar