The Definition of Standard Ml

This book presents the official, formal definition of the programming language ML including the rules for grammar and static and dynamic semantics.

Computers & Technology

Milner, Robin

Harper, Robert

Tofte, Mads

Programming Languages

Mit Pr

Commentary on Standard Ml

The full mathematical description of the functional programming language ML was given in Milner, Tofte, and Harper's Definition of Standard ML. This companion volume explains in depth the meaning, or semantic theory, of ML. Together, the two volumes provide a complete understanding of the most prominent of a new group of functional programming languages that includes Haskell and Scheme.  In making the Definition easier to understand, the authors not only explain what ML is, they explain why it is. They present some of the rigorous analysis that supports the Definition including a selection of theorems that express important properties of the language. The Commentary is also a working document that shows the way in which the specialized theory of ML can contribute to broader research on language design and semantics.  Contents: Preface. Executing a Simple Program. Dynamic Semantics for the Core. Dynamic Semantics for the Modules. Static Semantics for the Core. Type Declarations and Principality. Static Semantics for the Modules. Signature Matching. Elaboration of Functors. Admissible Semantic Objects and Proofs. Elaboration of Signature Expressions. Principal Signatures. Appendixes: Proof of Principality. Identifier Status. Solutions to Exercises. Mistakes and Ambiguities.

The Definition of Standard ML

MacQueen, David

The MIT Press

This book presents the official, formal definition of the programming language ML including the rules for grammar and static and dynamic semantics. ML is the most well-developed and prominent of a new group of functional programming languages. On the cutting edge of theoretical computer science, ML embodies the ideas of static typing and polymorphism and has also contributed a number of novel ideas to the design of programming languages. Contents: Syntax of the Core. Syntax of Modules. Static Semantics for the Core. Static Semantics for Modules. Dynamic Semantics for Modules. Programs. Appendixes: Derived Forms. Full Grammar. The Initial Static Basis. The Initial Dynamic Basis. The Development of ML.

The full mathematical description of the functional programming language ML was given in Milner, Tofte, and Harper's Definition of Standard ML. This companion volume explains in depth the meaning, or semantic theory, of ML.

Software

The OrIgIn of this monograph is a course entitled "Semantics directed Compiler Generation" which Professor Neil D. Jones gave in 1982 at Copenhagen University, where I was a student at the time. In this course, he described a compiler generator, called CERES, which he was developing. I immediately felt attracted to the unusual combination of mathematical reasoning about com pilers and the small intricate building blocks that made up the running system. As I came to understand the system I discovered that within the existing mathematical framework one could express compiler generation as a special case of compilation; this led to a specification of a compiler generator which was bootstrapped on itself resulting in a machine-generated compiler generator. The purpose of this monograph is to describe the CERES system we produced in 1983-84 and compare it with other systems, includ ing more recent ones. Also, it is as relevant today as it was then to discuss the role of compiler generators as an aid in the design and implementation of programming languages; this I do in Chap. 5. This monograph is a strongly revised version of the cando scient.

Compiler Generators: What They Can Do, What They Might Do, and What They Will Probably Never Do (Monographs in Theoretical Computer Science. An EATCS Series, 19)

Computer Science

Springer

The OrIgIn of this monograph is a course entitled "Semantics­ directed Compiler Generation" which Professor Neil D. Jones gave in 1982 at Copenhagen University, where I was a student at the time. In this course, he described a compiler generator, called CERES, which he was developing. I immediately felt attracted to the unusual combination of mathematical reasoning about com­ pilers and the small intricate building blocks that made up the running system. As I came to understand the system I discovered that within the existing mathematical framework one could express compiler generation as a special case of compilation; this led to a specification of a compiler generator which was bootstrapped on itself resulting in a machine-generated compiler generator. The purpose of this monograph is to describe the CERES system we produced in 1983-84 and compare it with other systems, includ­ ing more recent ones. Also, it is as relevant today as it was then to discuss the role of compiler generators as an aid in the design and implementation of programming languages; this I do in Chap. 5. This monograph is a strongly revised version of the cando scient.

See the best price to sell, buy, or rent books by Tofte, Mads. BookScouter helps to compare book prices from 25+ online bookstores and 30+ buyback vendors with a single search.

Books by Tofte, Mads

See the best price to sell, buy, or rent books by Tofte, Mads. BookScouter helps to compare book prices from 25+ online bookstores and 30+ buyback vendors with a single search.

The Definition of Standard Ml

Commentary on Standard Ml

The Definition of Standard ML

The Definition of Standard Ml

Commentary on Standard Ml

Compiler Generators: What They Can Do, What They Might Do, and What They Will Probably Never Do (Monographs in Theoretical Computer Science. An EATCS Series, 19)

Compiler Generators: What They Can Do, What They Might Do, and What They Will Probably Never Do (Monographs in Theoretical Computer Science. An EATCS Series, 19)