Boekhandel Douwes Den Haag

Practical Foundations for Programming Languages

Robert (Carnegie Mellon University Harper

Practical Foundations for Programming Languages

Practical Foundations for Programming Languages

Practical Foundations for Programming Languages

 

This book unifies a broad range of programming language concepts under the framework of type systems and structural operational semantics


Beschikbaarheid is niet bekend

€ 80,85

Levertijd op aanvraag


Beschrijving Practical Foundations for Programming Languages

This book defines and analyzes a full range of programming language concepts in a single unifying framework that isolates core abstractions and avoids irrelevant details of specific languages. It stresses the central role of types and teaches the use of rigorous mathematical techniques for proving properties of languages and programs.


ISBN
9781107150300
Pagina's
512
Verschenen
Rubriek
Programmeertalen
Druk
1
Uitvoering
Hardback
Taal
Engels
Uitgever
Cambridge University Press