Andrew W. Appel, David B. MacQueen  Home/Search
Context Related
| princeton.edu/techreports/19...452.ps.Z princeton.edu/reports/1994/452.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: princeton.edu (more) From: hypatia.dcs.qmw...tional.implemen (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Languages that support abstraction and modular structure, such as Standard ML, Modula, Ada, and (more or less) C++, may have deeply nested dependency hierarchies among source files. In ML the problem is particularly severe because ML's powerful parameterized module (functor) facility entails dependencies among implementation modules, not just among interfaces. To efficiently compile individual modules in such languages, it is useful (in ML, necessary) to infer, digest, and cache the static... (Update)
Context of citations to this paper: More
.... phase distinction [7] and to support features like sharing [14] Even then, it is still not possible to support true separate compilation [2] or to use modules as firstclass wlues [22, 12] Manifest types (transluscent sums) 6, 13] are an attempt to bridge the gap between...
...compilation [10] code fragments with free functor identifiers could be supported better (see section 2. 4 for an example) MacQueen [13, 1] claims that the problem with higher order functors is serious enough to invalidate the abstract approach and justify the recourse to...
Cited by: More
Generic Pickling and Minimization - Tack, Kornstaedt, Smolka (2005) (Correct)
C∀, a Study in Evolutionary Design in Programming Languages - Jaramillo (2004) (Correct)
Program Fragments, Linking, and Modularization - Cardelli (1997) (Correct)
Active bibliography (related documents): More All
2.1: Separate Compilation for Standard ML - Appel, MacQueen (1994) (Correct)
0.4: Hierarchical Modularity And Intermodule Optimization - Blume (1997) (Correct)
0.3: A Compilation Manager for SML/NJ - User Manual - Blume (1997) (Correct)
Similar documents based on text: More All
0.5: A Semantics for Higher-order Functors - MacQueen, Torre (1994) (Correct)
0.4: Smartest Recompilation - Shao, Appel (1993) (Correct)
0.3: Transparent Modules with Fully Syntactic Signatures - Shao (1999) (Correct)
Related documents from co-citation: More All
17: The Definition of Standard ML (context) - Milner, Tofte et al. - 1990
10: A semantics for higher-order functors - MacQueen, Tofte - 1994
10: A type theoretic approach to higher-order modules with sharing - Harper, Lillibridge - 1994
BibTeX entry: (Update)
Andrew W. Appel and David B. MacQueen. Separate compilation for Standard ML. In Proc. SIGPLAN '94 Symp. on Prog. Language Design and Implementation, pages 13--23. ACM Press, June 1994. http://citeseer.ist.psu.edu/article/appel94separate.html More
@inproceedings{ appel94separate,
author = "Andrew W. Appel and David B. MacQueen",
title = "Separate Compilation for Standard {ML}",
booktitle = "{SIGPLAN} Conference on Programming Language Design and Implementation",
pages = "13-23",
year = "1994",
url = "citeseer.ist.psu.edu/article/appel94separate.html" }
Citations (may not include all citations):1074 The Definition of Standard ML (context) - Milner, Tofte et al. - 1990
215 A type-theoretic approach to higher-order modules with shari.. - Harper, Lillibridge - 1994
202 Make -- a program for maintaining computer programs - Feldman - 1979
128 and separate compilation (context) - Leroy, modules - 1994
122 and modularization (context) - Cardelli, linking - 1993
89 Systems Programming with Modula (context) - Nelson - 1991
70 A Standard ML compiler - Appel, MacQueen - 1987
65 A semantics for higher-order functors - MacQueen, Tofte - 1994
59 Smartest recompilation - Shao, Appel - 1993
32 The cost of selective recompilation and environment processi.. (context) - Adams, Tichy et al. - 1994
31 Principal signatures for higher-order program modules - Tofte - 1992
26 The implementation of Standard ML modules - MacQueen - 1988
20 Englewood Cliffs (context) - Harbison, Prentice - 1992
18 Personal communication (context) - Koenig - 1993
15 Organizing software in a distributed environment (context) - Lampson, Schmidt - 1983
12 Incremental recompilation for standard ml of new jersey - Harper, Lee et al. - 1994
6 SRC Modula-3 Version (context) - Kalsow, Muller - 1991
5 First draft of a report on the EDVAC (context) - von Neumann - 1945
4 Avoiding trickle-down recompilation in the Mary2 implementat.. (context) - Rain - 1984
4 Axiomatic bootstrapping: A guide for the compiler hacker - Appel - 1994
3 Programming in Ada plus Language Reference Manual (context) - Barnes - 1991
2 OI Programmer's Guide (context) - Benson, Aitken - 1993
2 Separate compilation in modula-2: An approach to efficient s.. (context) - Gutknecht - 1986
1 Incremental recompilation for Standard ML (context) - Lee, Rollins et al. - 1993
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.cs.princeton.edu.html): More
Communication Fault Tolerance in Parallel Computers - Sitaraman (1993) (Correct)
Extensible Security Architectures for Java - Wallach (1997) (Correct)
Finite Growth Models - Ristad, Yianilos (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