Concepedia

Mads Tofte

MT

14

Publications

1.9K

Citations

14

H-Index

1988

Active since

Affiliations

University of Copenhagen(Current)

Carnegie Mellon University

IT University of Copenhagen

University of Edinburgh

Mads Tofte is an author at University of Copenhagen specializing in engineering, computer science, and computer engineering.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisComputer EngineeringFormal MethodsSystem SoftwareAutomated ReasoningFormal VerificationSoftware Testing

Publications per year

1988–2004

14

Publications

14

Region-Based Memory Management

Mads Tofte, Jean-Pierre Talpin · Information and Computation · 1997 · 613 citations

Engineering, Computer Engineering, Memory +7

Implementation of the typed call-by-value λ-calculus using a stack of regions

Mads Tofte, Jean-Pierre Talpin · 1994 · 333 citations · Full text

Engineering, Automated Reasoning, Program Analysis +14

Type inference for polymorphic references

Mads Tofte · Information and Computation · 1990 · 185 citations

Engineering, Automated Reasoning, Polymorphism (Computer Science) +6

From region inference to von Neumann machines via region representation inference

Lars Birkedal, Mads Tofte, Magnus Vejlstrup · 1996 · 134 citations · Full text

Artificial Intelligence, Geometric Learning, Engineering +25

A region inference algorithm

Mads Tofte, Lars Birkedal · ACM Transactions on Programming Languages and Systems · 1998 · 129 citations · Full text

Engineering, Compiler Technology, Computer Architecture +28

Rows per page

1–5 of 14