WorldCat Identities

Tofte, Mads

Overview
Works: 35 works in 91 publications in 3 languages and 2,155 library holdings
Roles: Editor
Classifications: QA76, 004
Publication Timeline
Key
Publications about  Mads Tofte Publications about Mads Tofte
Publications by  Mads Tofte Publications by Mads Tofte
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,228 WorldCat member libraries worldwide
The definition of Standard ML by R Milner ( Book )
8 editions published between 1988 and 1990 in English and Undetermined and held by 308 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 289 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 252 WorldCat member libraries worldwide
Operational semantics and polymorphic type inference by Mads Tofte ( Book )
8 editions published between 1987 and 1988 in Undetermined and English and held by 13 WorldCat member libraries worldwide
The definition of standard ML : version 2 by Robert Harper ( Book )
8 editions published between 1988 and 1989 in English and Undetermined and held by 7 WorldCat member libraries worldwide
Four lectures on standard ML by Mads Tofte ( Book )
4 editions published in 1989 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
Co-induction in relational semantics by R Milner ( Book )
3 editions published in 1988 in English and Undetermined and held by 6 WorldCat member libraries worldwide
A type discipline for program modules by Robert Harper ( Book )
2 editions published in 1987 in Undetermined and English and held by 5 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
Tutorial on standard ML by Mads Tofte ( Book )
2 editions published in 1991 in English and held by 3 WorldCat member libraries worldwide
Bubber's ballonfærd ( Recording )
1 edition published in 1993 in Danish 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
The semantics of standard ML : version 1 by Robert Harper ( Book )
2 editions published in 1987 in Undetermined and English and held by 2 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
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
On functor matching 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
 
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
English (60)
Danish (4)
Italian (1)
Covers