Semantics of Programming Languages: Structures and Techniques (Foundations of Computing) Review

Average Reviews:

(More customer reviews)Are you looking to buy Semantics of Programming Languages: Structures and Techniques (Foundations of Computing)? Here is the right place to find the great deals. we can offer discounts of up to 90% on Semantics of Programming Languages: Structures and Techniques (Foundations of Computing). Check out the link below:

>> Click Here to See Compare Prices and Get the Best Offers

Semantics of Programming Languages: Structures and Techniques (Foundations of Computing) ReviewAs an undergraduate student in the Computer Science major at Yale University during the spring semester of 1992 - 93, I used this textbook in Professor Paul Hudak's class "Computer Science 430b: Formal Semantics."
Personally, I enjoyed using this textbook. It went into great detail into the theory of formal semantics of programming languages, using the lambda calculus. Having come from a background in the Scheme programming language, I immediately found the syntax of the lambda calculus familiar, as it had originally been used as the basis for the LISP programming language, of which Scheme was a variant.
Most of the equations and proofs were clear and relatively easy to understand with reasonable effort, although Professor Hudak did suggest more elegant alternatives for some of the equations.
The simply-typed lambda calculus, introduced in Chapter 2, proved a relatively easy-to-understand beginning basis for grasping the concepts of formal semantics. The book ventured on to discuss category theory, fixed-point semantics, untyped lambda calculus, and domain theory, among many other topics. In particular, I found the discussions on the simply-typed lambda calculus, category theory, and domain theory interesting.
This textbook, together with Paul Hudak's crisp and easy-to-understand teaching style, remain as some of my more pleasant memories from the otherwise brutal and grinding Yale computer science curriculum. Together, they are part of the reason that Scheme, with its basis on the lambda calculus, remains one of my favorite programming languages for the study of programming methodologies.
Benjamin L. RussellSemantics of Programming Languages: Structures and Techniques (Foundations of Computing) OverviewSemantics of Programming Languages exposes the basic motivations andphilosophy underlying the applications of semantic techniques in computer science.It introduces the mathematical theory of programming languages with an emphasis onhigher-order functions and type systems. Designed as a text for upper-level andgraduate-level students, the mathematically sophisticated approach will also proveuseful to professionals who want an easily referenced description of fundamentalresults and calculi.Basic connections between computational behavior, denotationalsemantics, and the equational logic of functional programs are thoroughly andrigorously developed. Topics covered include models of types, operational semantics,category theory, domain theory, fixed point (denotational). semantics, fullabstraction and other semantic correspondence criteria, types and evaluation, typechecking and inference, parametric polymorphism, and subtyping. All topics aretreated clearly and in depth, with complete proofs for the major results andnumerous exercises.

Want to learn more information about Semantics of Programming Languages: Structures and Techniques (Foundations of Computing)?

>> Click Here to See All Customer Reviews & Ratings Now