Bol Partner

Denotational Semantics: The Scott Strachey Approach to Programming Language Theory

Name: Denotational Semantics: The Scott Strachey Approach to Programming Language Theory
SKU: b86e45c5e4f31c8237ebe23e5fe879cb
Price: 26.5 EUR
Availability: InStock

1/1

Afbeelding van Denotational Semantics: The Scott Strachey Approach to Programming Language Theory

Bol Partner

Prijzen vanaf

26,50

Uitgelicht

	26,50	Naar shop
VERGELIJK ALLE AANBIEDERS (1)

Beschrijving

Bol Partner 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

Lees meer

Vergelijk aanbieders (1)

Sorteren op:

gebruikt € 26,50 Gratis verzending

Beschrijving (1)

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

Lees meer