Robert Harper, Frank Pfenning, Peter Lee, Eugene Rollins  Home/Search
Context Related
| inria.fr/INRIA/Project...15harper.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: fermivista.math.ju...ftp.inria.fr (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The design and implementation of a compilation manager (CM) for Standard ML of New Jersey (SML/NJ) is described. Truly independent compilation is difficult to implement correctly and efficiently for SML because one compilation unit may depend not only on the interface of another, but also on its implementation. In this paper we present an integrated compilation system based on the "visible compiler" primitives provided by SML/NJ that supports selective recompilation to minimize system build... (Update)
Cited by: More
Stronger Typings for Smarter Recompilation of Java-like.. - Ancona, Lagorio (2004) (Correct)
Stronger Typings for Separate Compilation of Java-like Languages - Ancona, Lagorio (2003) (Correct)
Stronger Typings for Separate Compilation of Java-like.. - Ancona, Lagorio (2003) (Correct)
Similar documents (at the sentence level):
78.7%: Incremental Recompilation for Standard ML of New Jersey - Harper, Lee, Pfennig, Rollins (1994) (Correct)
Active bibliography (related documents): More All
0.2: A Type-Theoretic Approach to Higher-Order Modules with Sharing - Harper, Lillibridge (1994) (Correct)
0.1: Compiling Standard ML For Efficient Execution On Modern Machines - Shao (1994) (Correct)
0.1: CM - The SML/NJ Compilation and Library Manager - User Manual - Blume (2002) (Correct)
Similar documents based on text: More All
0.6: A Compilation Manager for SML/NJ - User Manual - Blume (1997) (Correct)
0.5: CMB: The SML/NJ Bootstrap Compiler (for SML/NJ version 110.35 and.. - Blume (2001) (Correct)
0.2: The Hello Operating System - Biagioni, Fu (Correct)
Related documents from co-citation: More All
11: The cost of selective recompilation and environment processing (context) - Adams, Tichy et al. - 1994
8: and modularization (context) - Cardelli, linking - 1997
6: True separate compilation of Java classes - Ancona, Lagorio et al. - 2002
BibTeX entry: (Update)
Robert Harper, Peter Lee, Frank Pfenning, and Eugene Rollins. A Compilation Manager for Standard ML of New Jersey. In 1994 ACM SIGPLAN Workshop on ML and its Applications, pages 136--147, 1994. http://citeseer.ist.psu.edu/harper94compilation.html More
@inproceedings{ harper94compilation,
author = "Harper, R. and Lee, P. and Pfenning, F. and Rollins, E.",
title = "{A} compilation manager for {S}tandard {ML} of {N}ew {J}ersey",
booktitle = "{ACM} {SIGPLAN} Workshop on Standard {ML} and its Applications",
month = "July",
year = "94",
url = "citeseer.ist.psu.edu/harper94compilation.html" }
Citations (may not include all citations):384 The Definition of Standard ML (context) - Milner, Tofte et al. - 1990 ACM
215 A type-theoretic approach to higher-order modules with shari.. - Harper, Lillibridge - 1994 ACM DBLP
202 Make--a program for maintaining computer programs - Feldman - 1979
128 and separate compilation (context) - Leroy, modules - 1994
101 ACM Transactions on Programming Languages and Systems (context) - Schwanke, Kaiser - 1988
98 Using dependent types to express modular structure - MacQueen - 1986 ACM DBLP
69 Typing first-class continuations in ML - Duba, Harper et al. - 1991 ACM DBLP
59 Smartest recompilation - Shao, Appel - 1993 ACM DBLP
35 Typing first-class continuations in ML - Harper, Duba et al. - 1993 ACM DBLP
35 Modules for Standard ML - MacQueen - 1984 ACM DBLP
34 Separate Compilation for Standard ML - Appel, MacQueen - 1994 ACM DBLP
32 The cost of selective recompilation and environment processi.. (context) - Adams, Tichy et al. - 1994 ACM DBLP
29 ACM Transactions on Programming Languages and Systems (context) - Tichy - 1986
21 Distributed with Standard ML of New Jersey (context) - Tarditi, Appel et al. - 1990
18 Laboratory for the Foundations of Computer Science (context) - Harper, MacQueen et al. - 1986
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://fermivista.math.jussieu.fr/ftp/ftp.inria.fr.html): More
Model-Checking of CTL on Infinite Kripke Structures.. - Quemener, Jéron (1995) (Correct)
An Experiment in Automatic Generation of Test.. - Fernandez, Jard.. (1996) (Correct)
Spill Code Minimization via Interference Region Spilling - Bergner, Dahl.. (1997) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC