search for books and compare prices
By
Rob Sheppard and
Michael J. C. Gordon
Price
Store
Arrives
Preparing
Shipping
Jump quickly to results on these stores:
The price is the lowest for any condition, which may be new or used; other conditions may also be available.
Jump down to see edition details for The Denotational Description of Programming Languages: Paperback
Jump down to see edition details for Macro Photography: From Snapshots to Great Shots: Paperback
Jump down to see edition details for Macro Photography: From Snapshots to Great Shots: Paperback
Bibliographic Detail
Publisher
Springer-Verlag New York Inc
Publication date
November 1, 1979
Binding
Paperback
Book category
Adult Non-Fiction
ISBN-13
9780387904337
ISBN-10
0387904336
Original list price
$99.00
Amazon.com says people who bought this book also bought:
Mathematical Theory of Program Correctness (Prentice-Hall International Series in Computer Science) | Programming in Haskell | A Practical Introduction to Denotational Semantics | Clause and Effect | Formal Semantics | Denotational Semantics | Functional Programming in Scala | From Mathematics to Generic Programming | Advanced Programming in the UNIX Environment
Mathematical Theory of Program Correctness (Prentice-Hall International Series in Computer Science) | Programming in Haskell | A Practical Introduction to Denotational Semantics | Clause and Effect | Formal Semantics | Denotational Semantics | Functional Programming in Scala | From Mathematics to Generic Programming | Advanced Programming in the UNIX Environment
Summaries and Reviews
Amazon.com description: Product Description: This book explains how to formally describe programming languages using the techniques of denotational semantics. The presentation is designed primarily for computer science students rather than for (say) mathematicians. No knowledge of the theory of computation is required, but it would help to have some acquaintance with high level programming languages. The selection of material is based on an undergraduate semantics course taught at Edinburgh University for the last few years. Enough descriptive techniques are covered to handle all of ALGOL 50, PASCAL and other similar languages. Denotational semantics combines a powerful and lucid descriptive notation (due mainly to Strachey) with an elegant and rigorous theory (due to Scott). This book provides an introduction to the descriptive techniques without going into the background mathematics at all. In some ways this is very unsatisfactory; reliable reasoning about semantics (e. g. correctness proofs) cannot be done without knowing the underlying model and so learning semantic notation without its model theory could be argued to be pointless. My own feeling is that there is plenty to be gained from acquiring a purely intuitive understanding of semantic concepts together with manipulative competence in the notation. For these equip one with a powerful conceptua1 framework-a framework enabling one to visualize languages and constructs in an elegant and machine-independent way. Perhaps a good analogy is with calculus: for many practical purposes (e. g. engineering calculations) an intuitive understanding of how to differentiate and integrate is all that is needed.
Editions
Editions for the work The Denotational Description of Programming Languages
Paperback
The price comparison is for this edition
With Rob Sheppard |
from Springer-Verlag New York Inc (November 1, 1979)
9780387904337 | details & prices | List price $99.00
This edition also contains Macro Photography: From Snapshots to Great Shots
About: This book explains how to formally describe programming languages using the techniques of denotational semantics.
This edition also contains Macro Photography: From Snapshots to Great Shots
About: This book explains how to formally describe programming languages using the techniques of denotational semantics.
Editions for the work Macro Photography: From Snapshots to Great Shots
Paperback
from Peachpit Pr (March 29, 2015)
9780134057415 | details & prices | 225 pages | 7.50 × 9.25 × 0.50 in. | 1.06 lbs | List price $24.99
The price comparison is for this edition
With Michael J. C. Gordon |
from Springer-Verlag New York Inc (November 1, 1979); titled "The Denotational Description of Programming Languages"
9780387904337 | details & prices | List price $99.00
This edition also contains The Denotational Description of Programming Languages
About: This book explains how to formally describe programming languages using the techniques of denotational semantics.
This edition also contains The Denotational Description of Programming Languages
About: This book explains how to formally describe programming languages using the techniques of denotational semantics.
Pricing is shown for items sent to or within the U.S., excluding shipping and tax. Please consult the store to determine exact fees. No warranties are made express or implied about the accuracy, timeliness, merit, or value of the information provided. Information subject to change without notice. isbn.nu is not a bookseller, just an information source.