Click on a thumbnail to go to Google Books.
Loading... Denotational Semantics (Computer Science Series): The Scott-Strachey Approach to Programming Language Theory (Computer Science Series) (edition 1981)by Joseph E. Stoy (Author)
Work InformationDenotational Semantics: The Scott-Strachey Approach to Programming Language Theory by Joseph E. Stoy
None Loading...
Sign up for LibraryThing to find out whether you'll like this book. No current Talk conversations about this book. No reviews no reviews | add a review
"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 No library descriptions found. |
Current DiscussionsNone
Google Books — Loading... GenresMelvil Decimal System (DDC)004Information Computing and Information Computer scienceLC ClassificationRatingAverage:
Is this you?Become a LibraryThing Author. |