Logo

Programming Languages: Theory and Practice

Small book cover: Programming Languages: Theory and Practice

Programming Languages: Theory and Practice
by

Publisher: Carnegie Mellon University
Number of pages: 277

Description:
What follows is a working draft of a planned book that seeks to strike a careful balance between developing the theoretical foundations of programming languages and explaining the pragmatic issues involved in their design and implementation.

Home page url

Download or read it online for free here:
Download link
(810KB, PDF)

Similar books

Book cover: Lectures on the Curry-Howard IsomorphismLectures on the Curry-Howard Isomorphism
by - Elsevier Science
This book give an introduction to parts of proof theory and related aspects of type theory relevant for the Curry-Howard isomorphism. It can serve as an introduction to any or both of typed lambda-calculus and intuitionistic logic.
(12192 views)
Book cover: A Practical Theory of ProgrammingA Practical Theory of Programming
by - Springer
Understanding programming languages requires knowledge of the underlying theoretical model. This book explores aspects of programming that are amenable to mathematical proof. It describes a simple and comprehensive theory.
(15252 views)
Book cover: Program Analysis (an Appetizer)Program Analysis (an Appetizer)
by - arXiv.org
This is an introduction to program analysis that is meant to be elementary. Rather than using flow charts as the model of programs, the book uses program graphs as the model of programs. This makes the underlying ideas more accessible to students.
(3889 views)
Book cover: Lecture Notes on Static AnalysisLecture Notes on Static Analysis
by - IT University of Copenhagen
These notes present principles and applications of static analysis of programs. We cover type analysis, lattice theory, control flow graphs, dataflow analysis, fixed-point algorithms, narrowing and widening, control flow analysis, pointer analysis.
(8769 views)