Design and Implementation of Code Optimizations for a Type-Directed Compiler for Standard ML (1996)

Cached

Download Links

by David Tarditi
Citations:48 - 2 self

Active Bibliography

18 Compiling Standard ML For Efficient Execution On Modern Machines – Zhong Shao - 1994
29 Memory Subsystem Performance of Programs with Intensive Heap Allocation – Amer Diwan, David Tarditi, Eliot Moss - 1994
37 Memory Subsystem Performance of Programs Using Copying Garbage Collection – Amer Diwan , David Tarditi, Eliot Moss - 1994
1 Generational copying garbage collection for Standard ML: a quantitative study – Darko Stefanovic - 1993
20 Memory System Performance of Programs with Intensive Heap Allocation – Amer Diwan, David Tarditi, Eliot Moss - 1995
Using Program Structure to Guide Optimization in the Presence of First-Class Functions. – David Tarditi - 1994
Abstract Memory Subsystem Performance of Programs Using Copying Garbage Collection – unknown authors
7 Measuring the Cost of Storage Management – David Tarditi, Amer Diwan - 1994
227 TIL: A Type-Directed Optimizing Compiler for ML – David Tarditi , Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee - 1995
65 From ML to Ada: Strongly-typed Language Interoperability via Source Translation – Andrew Tolmach, Dino P. Oliva - 1993
34 Typed Cross-Module Compilation – Zhong Shao - 1998
Type- and Flow-Directed Compilation for Specialized Data Representations – Allyn Dimock - 2002
2 An overview of Types in Compilation – Xavier Leroy - 1998
13 Memory-System Performance of Programs with Intensive Heap Allocation – Amer Diwan, David Tarditi, Eliot Moss - 1995
27 Storage Use Analysis and its Applications – Manuel Serrano, Marc Feeley - 1996
15 The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms – Amr A. Sabry - 1994
8 Compilation based on a calculus for explicit type passing – Yasuhiko Minamide - 1996
102 Compiling with Types – Greg Morrisett - 1995
12 Full Lifting of Type Parameters – Yasuhiko Minamide - 1997