WorldCat Identities

Tofte, Mads

Overview
Works: 34 works in 96 publications in 3 languages and 2,177 library holdings
Roles: Author, Editor
Classifications: QA76, 004
Publication Timeline
.
Most widely held works by Mads Tofte
Proof, language, and interaction essays in honour of Robin Milner( )

7 editions published in 2000 in English and held by 1,240 WorldCat member libraries worldwide

The definition of Standard ML by R Milner( Book )

16 editions published between 1988 and 1990 in English and Undetermined and held by 316 WorldCat member libraries worldwide

Software -- Programming Languages
Compiler generators : what they can do, what they might do, and what they will probably never do by Mads Tofte( Book )

11 editions published between 1990 and 2012 in English and Italian and held by 292 WorldCat member libraries worldwide

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. As the title suggests, a realistic assessment of the relationship between the complexity of realistic compilation and the relative simplicity studied in theoretical work is attempted. The monograph contains an overview of existing compiler generators. The CERES '83 compiler generator, developed by Neil D. Jones and the author, is described in detail. The CERES system is based on the idea of composing language definitions and it serves as an example of a powerful novel "bootstrapping" technique by which one can generate compiler generators as well as compilers by considering a compiler generator to be, in a sense which is made mathematically precise, a special kind of compiler. The core of the CERES system is a two-page-long machine generated compiler generator. The approach uses ideas from denotational semantics and many-sorted algebra and connects them with novel ideas about how to treat programs and language definitions as data. Considerable effort has been made to present the necessary theory in a manner suitable for readers who have some practical experience but not necessarily a theoretical background in semantics
Commentary on Standard ML by R Milner( Book )

6 editions published between 1990 and 1991 in English and held by 253 WorldCat member libraries worldwide

Operational semantics and polymorphic type inference by Mads Tofte( Book )

9 editions published between 1987 and 1988 in English and Undetermined and held by 14 WorldCat member libraries worldwide

Four lectures on standard ML by Mads Tofte( Book )

5 editions published in 1989 in English and Undetermined and held by 8 WorldCat member libraries worldwide

Co-induction in relational semantics by R Milner( Book )

4 editions published in 1988 in English and Undetermined and held by 7 WorldCat member libraries worldwide

Go' sønda' morn' by Anne Linnet( Recording )

3 editions published in 1989 in Danish and held by 6 WorldCat member libraries worldwide

A type discipline for program modules by Robert William Harper( Book )

3 editions published in 1987 in English and Undetermined and held by 6 WorldCat member libraries worldwide

Programming with Regions in the ML Kit (for Version 3)( Book )

3 editions published in 1998 in English and held by 4 WorldCat member libraries worldwide

The semantics of standard ML : version 1 by Robert William Harper( Book )

3 editions published in 1987 in English and Undetermined and held by 3 WorldCat member libraries worldwide

Tutorial on standard ML by Mads Tofte( Book )

2 editions published in 1991 in English and held by 3 WorldCat member libraries worldwide

A proposal for separate compilation in ML by Mads Tofte( Book )

2 editions published in 1988 in English and held by 2 WorldCat member libraries worldwide

Compilers generators by Mads Tofte( Book )

1 edition published in 1990 in English and held by 2 WorldCat member libraries worldwide

Bubber's ballonfærd( Recording )

1 edition published in 1993 in Danish and held by 2 WorldCat member libraries worldwide

Object orientation with parallelism and persistence by Mads Tofte( Book )

1 edition published in 2012 in English and held by 2 WorldCat member libraries worldwide

Status of separate compilation by Mads Tofte( Book )

1 edition published in 1988 in English and held by 1 WorldCat member library worldwide

The semantics of Standard ML by University of Edinburgh( Book )

1 edition published in 1987 in English and held by 1 WorldCat member library worldwide

Compilers Generators : What They Can Do, What They Might Do, and What They Will Probably Never Do / M. Tofte by Mads Tofte( )

in English and held by 1 WorldCat member library worldwide

On functor matching by Mads Tofte( Book )

1 edition published in 1988 in English and held by 1 WorldCat member library worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.59 (from 0.00 for Go' sønda' ... to 0.82 for Commentary ...)

Alternative Names
Tofte, M.

Languages
Covers
The definition of Standard MLCompiler generators : what they can do, what they might do, and what they will probably never doCompilers generators