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: Formal LanguagesFormal Languages
by - Tampere University of Technology
In these notes the classical Chomskian formal language theory is fairly fully dealt with, omitting however much of automata constructs and computability issues. Surveys of Lindenmayer system theory and the mathematical theory of codes are given.
(3042 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.
(1841 views)
Book cover: Comparative Studies of Programming LanguagesComparative Studies of Programming Languages
by - arXiv
Lecture notes for the Comparative Studies of Programming Languages course. These notes include a compiled book of primarily related articles from the Wikipedia, as well as Comparative Programming Languages book and other resources.
(4431 views)
Book cover: Semantics With Applications: A Formal IntroductionSemantics With Applications: A Formal Introduction
by - John Wiley & Sons
The book covers the foundations of structural operational semantics and natural semantics. It shows how to describe the semantics of declarative as well as imperative language constructs and will also touch upon non-sequential constructs.
(6986 views)