Semantics of Programming Languages Structures and Techniques

Name: Semantics of Programming Languages
Author: Carl A. Gunter

Auteur: Carl A. Gunter

Taal: Engels

Afbeeldingen

Artikel vergelijken

Vergelijk met andere artikelen

Bekijk nu

Auteur: Carl A. Gunter

Engels
Paperback
9780262570954
14 september 1992
441 pagina's

Alle productspecificaties

Samenvatting

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.

Productspecificaties

Inhoud

Taal: en
Bindwijze: Paperback
Oorspronkelijke releasedatum: 14 september 1992
Aantal pagina's: 441
Illustraties: Nee

Betrokkenen

Hoofdauteur: Carl A. Gunter
Hoofduitgeverij: Mit Press Ltd

Overige kenmerken

Extra groot lettertype: Nee
Studieboek: Ja
Verpakking breedte: 228 mm
Verpakking hoogte: 28 mm
Verpakking lengte: 178 mm
Verpakkingsgewicht: 839 g

EAN

EAN: 9780262570954

Je vindt dit artikel in

Categorieën: Computers & Informatica

Programmeren

Programmeertalen

Boeken
Taal: Engels
Boek, ebook of luisterboek?: Boek
Studieboek of algemeen: Studieboeken
Beschikbaarheid: Leverbaar

Reviews

Nog geen reviews

Hoe controleren en plaatsen wij reviews? Hoe controleren en plaatsen wij reviews?

Negatief, positief, neutraal: we zetten een review altijd online. We controleren wel eerst of ’ie voldoet aan onze reviewvoorwaarden en niet nep is. We controleren ook of ’ie is geschreven door iemand die het artikel heeft gekocht via bol.com en zetten dit er dan bij. De controles gebeuren automatisch, al kijken er soms mensen mee. Bol.com betaalt niet voor reviews. Als een reviewer door een andere partij is vergoed, staat dit in de review zelf.