search for books and compare prices
Mads Tofte has written 4 work(s)
Search for other authors with the same name
displaying 1 to 4 | at end
show results in order: alphabetically | oldest to newest | newest to oldest
Cover for 9780387514710 Cover for 9783540514718 Cover for 9783642648571 Cover for 9780262161886 Cover for 9780262631327 Cover for 9780262631815 Cover for 9780262132718
Compiler Generators: What They Can Do, What They Might Do, and What They Will Probably Never Do
cover image for 9783642648571
Product Description: This monograph is concerned with the problem of getting computers to transform formal language definitions into compilers. Its purpose is to demonstrate how certain simple theoretical ideas can be used to generate compilers and even compiler generators...read more
By Mads Tofte
See complete details on each edition (3 editions listed)

Hardcover:

9780387514710 | Springer Verlag, September 1, 1990, cover price $83.95
9783540514718 | Springer-Verlag New York Inc, July 23, 1990, cover price $139.00

Paperback:

9783642648571 | Reprint edition (Springer-Verlag New York Inc, October 5, 2011), cover price $129.00 | About this edition: This monograph is concerned with the problem of getting computers to transform formal language definitions into compilers.

Proof, Language, and Interaction: Essays in Honour of Robin Milner
cover image for 9780262161886
(view table of contents)
By R. Milner (editor), Gordon Plotkin (editor), Colin P. Stirling (editor) and Mads Tofte (editor)
See complete details on each edition (1 edition listed)

Hardcover:

9780262161886 | Mit Pr, May 15, 2000, cover price $17.75

The Definition of Standard Ml
cover image for 9780262631815
This book presents the official, formal definition of the programming language ML including the rules for grammar and static and dynamic semantics. (view table of contents)
By Robert Harper, Robin Milner and Mads Tofte
See complete details on each edition (3 editions listed)

Hardcover:

9780262132558 | Mit Pr, March 1, 1990, cover price $30.00 | About this edition: This book presents the official, formal definition of the programming language ML including the rules for grammar and static and dynamic semantics.

Paperback:

9780262631815 | Rev sub edition (Mit Pr, May 15, 1997), cover price $30.00
9780262631327 | Mit Pr, March 1, 1990, cover price $15.00 | About this edition: This book presents the official, formal definition of the programming language ML including the rules for grammar and static and dynamic semantics.

Commentary on Standard Ml
Product Description: 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.
By Robin Milner and Mads Tofte
See complete details on each edition (2 editions listed)

Hardcover:

9780262132718 | Mit Pr, March 1, 1991, cover price $42.00 | About this edition: The full mathematical description of the functional programming language ML was given in Milner, Tofte, and Harper's Definition of Standard ML.

Paperback:

9780262631372 | Mit Pr, March 1, 1991, cover price $21.00 | About this edition: The full mathematical description of the functional programming language ML was given in Milner, Tofte, and Harper's Definition of Standard ML.

displaying 1 to 4 | at end