Zhong Shao, Andrew W. Appel  Home/Search
Context Related
Links: ACM DBLP | cmu.edu/~rwh/courses/module...paper.pdf 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: cmu.edu/~rwh/courses/modu...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: To separately compile a program module in traditional statically-typed languages, one has to manually write down an import interface which explicitly specifies all the external symbols referenced in the module. Whenever the definitions of these external symbols are changed, the module has to be recompiled. In this paper, we present an algorithm which can automatically infer the "minimum" import interface for any module in languages based on the Damas-Milner type discipline (e.g., ML). By... (Update)
Cited by: More
Flexible Dynamic Linking for .NET - Anders Aaltonen Alex (Correct)
Flexible Dynamic Linking - Buckley, Drossopoulou (2004) (Correct)
Flexible Bytecode for Linking in .NET - Buckley, Murray, Eisenbach.. (2005) (Correct)
Similar documents (at the sentence level):
73.1%: Smartest Recompilation - Shao, Appel (1993) (Correct)
Active bibliography (related documents): More All
0.3: Static Dependent Types for First Class Modules - Mark Sheldon And (Correct)
0.3: Discuss: An Electronic Conferencing System for a.. - Raeburn, Rochlis, al. (1989) (Correct)
0.2: Compiling Standard ML For Efficient Execution On Modern Machines - Shao (1994) (Correct)
Similar documents based on text: More All
0.4: Separate Compilation for Standard ML - Appel, MacQueen (1994) (Correct)
0.3: Hierarchical Modularity - Blume, Appel (1998) (Correct)
0.3: What Are Principal Typings and What Are They Good For? - Jim (1995) (Correct)
Related documents from co-citation: More All
23: and modularization (context) - Cardelli, linking - 1997
15: ACM Transactions on Programming Languages and Systems (context) - Harper, Mitchell et al. - 1992
14: What are principal typings and what are they good - Jim - 1996
BibTeX entry: (Update)
Zhong Shao and Andrew Appel. Smartest recompilation. In Twentieth ACM Symposium on Principles of Programming Languages, pages 439--450, Charleston, SC, January 1993. http://citeseer.ist.psu.edu/shao93smartest.html More
@inproceedings{ shao93smartest,
author = "Zhong Shao and Andrew W. Appel",
title = "Smartest Recompilation",
booktitle = "Conference Record of the Twentieth Annual {ACM} {SIGPLAN}-{SIGACT} Symposium on Principles of Programming Languages",
address = "Charleston, South Carolina",
pages = "439--450",
year = "1993",
url = "citeseer.ist.psu.edu/shao93smartest.html" }
Citations (may not include all citations):384 The Defini- tion of Standard ML (context) - Milner, Tofte et al. - 1990
343 Principal type-schemes for functionalprograms (context) - Damas, Milner - 1982
202 Make - a program for maintaining computer programs - Feldmoa - 1979
183 Report on the programming language Haskell a non-strict (context) - Hudak, Jones et al. - 1992
178 Standard ML of New Jersey - Appel, MacQueen - 1991 DBLP
163 Commentary on Standard ML (context) - Milner, Tofte - 1991 ACM
101 ACM Transactions on Programming Languages and Systems (context) - Schwanke, Kaiser - 1988
89 Systems programming with Modula (context) - Nelson - 1991
88 Typechecking records and variants in a nat- ural extension o.. (context) - Remy - 1989
87 Operational Semantics and Polymorphic Type Inference (context) - Tofte - 1987
58 Type inference in the presence of overloading (context) - laes - 1992
49 A theory of qualified types - Jones - 1992 ACM DBLP
29 ACM Transactions on Programming Languages and Systems (context) - Tichy - 1986
27 Type Assignment in Programming Languages (context) - Damas - 1985
16 Abstract value con- structors (context) - Aitken, Reppy - 1992
14 Incremental polymor- phism - Aditya, Nikhil - 1991
14 Xerox Palo Alto Research Center (context) - Mitchell, Maybury et al. - 1979
7 Polymorphic type inference (context) - Leivant - 1983
6 SRC Modula-3 version (context) - Kalsow, Muller - 1991
5 Implementing Russell (context) - Boehm, Demers - 1986 ACM DBLP
5 Technical Report CS-TR (context) - Shao, Appel - 1992
3 separate compilation and reusability (context) - Levy - 1984
3 with Standard ML of New Jersey releases (context) - Rothwell, Toftc et al.
3 Laboratory for Computer Science (context) - Gifford, reference et al. - 1987
1 Typage d'un syseme de modules parametriques avec partage: un.. (context) - Aponte - 1992
1 A maclfine-oriented logic based on the resolution principle (context) - Robinson - 1965
1 Unboxed objects and polymorphlc typing (context) - Leroy - 1992
1 SourceGroup: A selective recompilation systen for SML (context) - Rollins - 1991
1 TechnL cal Report TR-CSG-Memo (context) - Niklfil, reference - 1990
1 A compilation method for ML-style polymor- phlc record calcu.. (context) - Ohori - 1992
1 personal connnunica- tion (context) - Gansner, Labs - 1992
1 Pratteal use of a polymorphic applicative language (context) - Lampson, Schmidt - 1983
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www-2.cs.cmu.edu/~rwh/courses/modules/index.htm): More
Mixin Modules - Duggan, Sourelis (1996) (Correct)
Type-Safe Linking and Modular Assembly Language - Glew, Morrisett (1999) (Correct)
An extension of Standard ML modules with subtyping and.. - Mitchell, Meldal (1991) (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