Semantics of Programming Languages

Semantics of Programming Languages
By:Carl A. Gunter
Published on 1992 by MIT Press

Semantics of Programming Languages exposes the basic motivations and philosophy underlying the applications of semantic techniques in computer science. It introduces the mathematical theory of programming languages with an emphasis on higher-order functions and type systems. Designed as a text for upper-level and graduate-level students, the mathematically sophisticated approach will also prove useful to professionals who want an easily referenced description of fundamental results and calculi.Basic connections between computational behavior, denotational semantics, and the equational logic of functional programs are thoroughly and rigorously developed. Topics covered include models of types, operational semantics, category theory, domain theory, fixed point (denotational). semantics, full abstraction and other semantic correspondence criteria, types and evaluation, type checking and inference, parametric polymorphism, and subtyping. All topics are treated clearly and in depth, with complete proofs for the major results and numerous exercises.

This Book was ranked at 18 by Google Books for keyword touch typing now.

Book ID of Semantics of Programming Languages's Books is Gu2wh2TqVcUC, Book which was written byCarl A. Gunterhave ETAG "XpcnIYcwJwA"

Book which was published by MIT Press since 1992 have ISBNs, ISBN 13 Code is 9780262570954 and ISBN 10 Code is 0262570955

Reading Mode in Text Status is false and Reading Mode in Image Status is true

Book which have "441 Pages" is Printed at BOOK under CategoryComputers

This Book was rated by Raters and have average rate at ""

This eBook Maturity (Adult Book) status is NOT_MATURE

Book was written in en

eBook Version Availability Status at PDF is falseand in ePub is false

Book Preview