Implementing Functional Languages: a tutorial
by Simon Peyton Jones, David Lester
Publisher: Prentice Hall 1992
ISBN/ASIN: B001UHUR8W
Number of pages: 296
Description:
This book gives a practical approach to understanding implementations of non-strict functional languages using lazy graph reduction. The book is intended to be a source of practical labwork material, to help make functional-language implementations 'come alive', by helping the reader to develop, modify and experiment with some non-trivial compilers.
Download or read it online for free here:
Download link
(multiple formats)
Similar books
Anatomy of Programming Languages
by William R. Cook - UT Austin
This document is a series of notes about programming languages, originally written for students of the undergraduate programming languages course at UT. It assumes knowledge of programming, and in particular assume basic knowledge of Haskell.
(8366 views)
by William R. Cook - UT Austin
This document is a series of notes about programming languages, originally written for students of the undergraduate programming languages course at UT. It assumes knowledge of programming, and in particular assume basic knowledge of Haskell.
(8366 views)
Semantics: Advances in Theories and Mathematical Models
by Muhammad Tanvir Afzal (ed.) - InTech
The book is a blend of a number of great ideas, theories, mathematical models, and practical systems in the domain of Semantics. Topics include: Background; Queries, Predicates, and Semantic Cache; Algorithms and Logic Programming; etc.
(9653 views)
by Muhammad Tanvir Afzal (ed.) - InTech
The book is a blend of a number of great ideas, theories, mathematical models, and practical systems in the domain of Semantics. Topics include: Background; Queries, Predicates, and Semantic Cache; Algorithms and Logic Programming; etc.
(9653 views)
Program Analysis (an Appetizer)
by Flemming Nielson, Hanne Riis Nielson - 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.
(3330 views)
by Flemming Nielson, Hanne Riis Nielson - 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.
(3330 views)
Lecture Notes on Static Analysis
by Michael I. Schwartzbach - 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.
(8119 views)
by Michael I. Schwartzbach - 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.
(8119 views)