| Alternate document: Details Hierarchical Modularity: Compilation Management for Standard ML (97) Matthias Blume, Andrew W. Appel |
Matthias Blume  Home/Search
Context Related
| kurims.kyotou.ac.jp/~bl...thesis.ps.gz Princeton.edu/~blume/thesis.ps.gz princeton.edu/techreports/19...551.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: kurims.kyotou.ac.jp/~blume...pub (more) From: princeton.edu (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Separate compilation is an important tool for coping with design complexity in large software projects. When done right it can also be used to create software libraries, thus promoting code reuse. But separate compilation comes in various flavors and has many facets: namespace management, linking, optimization, dependencies. Many programming languages identify modular units with units of compilation, while only a few extend this to permit hierarchies of language-level modules within individual... (Update)
Context of citations to this paper: More
.... be a standalone language, compiled and linked via standard tools or a system like the Compilation Manager (CM) of SML of New Jersey [5, 6]. Type inference, as convenient as it is in ML, is less important in such a language, and it allows us to consider a syntax with more type...
...are their defmitions. To recover this information would seem to reqnire the kind of pre elaboration used in the SML NJ Compilation Manager [3], whereby the defined components of a module are determined before processing begins. 6 Conclusions Purely hierarchical module systems,...
Cited by: More
What is a Recursive Module? - Crary (Correct)
Principles and a Preliminary Design for ML2000 - Group (1999) (Correct)
Similar documents (at the sentence level): More
10.5%: Dependency Analysis for Standard ML - Blume (1998) (Correct)
7.7%: Lambda-Splitting: A Higher-Order Approach to Cross-Module.. - Blume, Appel (1997) (Correct)
6.9%: Hierarchical Modularity - Blume, APPEL (2000) (Correct)
Active bibliography (related documents): More All
0.6: Compiling Standard ML For Efficient Execution On Modern Machines - Shao (1994) (Correct)
0.5: Refining Hygienic Macros for Modules and Separate Compilation - Blume (Correct)
0.5: CM - The SML/NJ Compilation and Library Manager - User Manual - Blume (2002) (Correct)
Similar documents based on text: More All
0.5: Manifest Types, Modules, and Separate Compilation - Leroy (1994) (Correct)
0.2: Algorithms and Arrays for Computing on Massive Data Sets - Gum (2001) (Correct)
0.2: Multiobjective Synthesis of Low-Power Real-Time Distributed.. - Dick (2002) (Correct)
Related documents from co-citation: More All
2: The Definition of Standard ML (context) - Milner, Tofte et al. - 1990
2: and separate compilation (context) - Leroy, modules
2: A type theoretic approach to higher-order modules with sharing - Harper, Lillibridge - 1994
BibTeX entry: (Update)
M. Blume. Hierarchical Modularity and Intermodule Optimization. PhD thesis, Princeton University, 1997. http://citeseer.ist.psu.edu/blume97hierarchical.html More
@techreport{ blumeblumehierarchical,
author = "Matthias Blume",
title = "Hierarchical Modularity and Intermodule Optimization",
number = "TR-551-97",
pages = "22",
year = "November 1997, 213 Pages",
url = "citeseer.ist.psu.edu/blume97hierarchical.html" }
Citations (may not include all citations):3972 Introduction to Algorithms (context) - Cormen, Leiserson et al. - 1990
1074 The Definition of Standard ML (context) - Milner, Tofte et al. - 1990
1074 The Definition of Standard ML (context) - Milner, Tofte et al. - 1997
737 The Java Programming Language (context) - Arnold, Gosling - 1996
521 Compiling with Continuations (context) - Appel - 1992
427 the criteria to be used in decomposing systems into modules (context) - Parnas - 1972
254 Revised 4 Report on the Algorithmic Language Scheme - Clinger, Rees - 1991
227 Kernighan and Dennis M (context) - Brian - 1988
220 ORBIT: An optimizing compiler for Scheme (context) - Kranz, Kelsey et al. - 1986
210 TIL: A Type-Directed Optimizing Compiler for ML - Tarditi, Morrisett et al. - 1996
202 Make -- a program for maintaining computer programs - Feldman - 1979
186 Compiling polymorphism using intensional type analysis - Harper, Morrisett - 1995
185 The Calculi of Lambda Conversion (context) - Church - 1941
178 Standard ML of New Jersey - Appel, MacQueen - 1991
176 Ellis and Bjarne Stroustrup (context) - Margaret - 1990
163 Commentary on Standard ML (context) - Milner, Tofte - 1991
162 Programming in MODULA (context) - Wirth - 1982
159 CML: A higher-order concurrent language (context) - Reppy - 1991
155 Alpha Architecture Reference Manual (context) - Sites - 1992
155 The Essence of Compiling with Continuations - Flanagan, Sabry et al. - 1993
128 RCS---A System for Version Control - Tichy - 1985
127 with an application to the Entscheidungsproblem (context) - Turing, numbers - 1937
123 Optimizing ML with run-time code generation - Leone, Lee - 1996
122 and modularization (context) - Cardelli, linking - 1997
116 Rabbit: a compiler for Scheme (context) - Steele - 1978
109 The Implementation of Functional Programming Languages (context) - Jones - 1987
87 Profile-guided automatic inline expansion for c programs - Chang, Mahlke et al. - 1992
79 A type-based compiler for Standard ML - Shao, Appel - 1995
77 Pascal: User Manual and Report (context) - Jensen, Wirth - 1978
76 Software Practice and Experience (context) - Wirth, to - 1988
76 Software---Practice and Experience (context) - Wirth, language - 1988
68 Uber formal unentscheidbare Satze der Principia Mathematica .. (context) - Godel - 1931
65 A semantics for higher-order functors - MacQueen, Tofte - 1994
63 Tag-free garbage collection using explicit type parameters - Tolmach - 1994
59 An analysis of ML typability (context) - Kfoury, Tiuryn et al. - 1994
57 Modern Compiler Implementation in ML (context) - Appel - 1997
55 Space-efficient closure representations - Shao, Appel - 1994
55 A compilation method for ML-style polymorphic record calculi - Ohori - 1992
51 Simple and effective link-time optimization of Modula3 progr.. - Fernandez - 1995
50 Flexible representation analysis - Shao - 1997
50 The Flux OSKit: A substrate for kernel and language research - Ford, Back et al. - 1997
45 Flow-directed Inlining - Jagannathan, Wright - 1996
45 Macros That Work (context) - Clinger, Rees - 1991
43 An overview of the FLINT/ML compiler - Shao - 1997
40 An experiment with inline substitution - Cooper, Hall et al. - 1991
38 Deciding ML typability is complete for deterministic exponen.. (context) - Mairson - 1990
38 Analysis and caching of dependencies - Abadi, Lampson et al. - 1996
35 Typed cross-module compilation - Shao - 1997
34 Separate compilation for Standard ML - Appel, MacQueen - 1994
32 The cost of selective recompilation and environment processi.. (context) - Adams, Tichy et al. - 1994
32 Literate programming simplified (context) - Ramsey - 1994
32 Let-floating: moving bindings to give faster programs - Jones, Partain et al. - 1996
32 Principles of Programming Languages (context) - Tennent - 1981
30 Mesa language manual (context) - Mitchell, Maybury et al. - 1979
29 The Vesta approach to precise configuration of large softwar.. - Levin, McJones - 1993
28 A lexical analyzer generator for Standard ML (context) - Appel, Mattson et al. - 1989
27 Lambda-splitting: A higher-order approach to cross-module op.. - Blume, Appel - 1997
27 An interpretation of Standard ML in type theory - Harper, Stone - 1997
26 Syntactic Closures - Bawden, Rees - 1988
26 An analysis of inline substitution for a structured programm.. (context) - Scheifler - 1977
26 The Lambda Calculus: Its Syntax and Semantics (context) - Barendregt - 1981
24 Some applications of Rabin's fingerprinting method - Broder - 1993
23 Software---Practice and Experience (context) - Davidson, Holler et al. - 1988
23 A critique of Standard ML - Appel - 1993
22 A high-performance garbage collector for Standard ML - Reppy - 1993
22 A portable interface for on-the-fly instruction space modifi.. (context) - Keppel - 1991
21 Distributed with Standard ML of New Jersey (context) - Tarditi, Appel et al. - 1990
21 Cache performance of garbage-collected programs - Reinhold - 1994
16 The Vesta language for configuration management - Hanna, Levin - 1993
16 Syntactic Extensions in the Programming Language Lisp (context) - Kohlbecker - 1986
16 Library and Protocol Reference (context) - Scheifler, Gettys et al. - 1988
15 Drawing graphs with dot (context) - Koutsofios, North - 1993
15 Organizing software in a distributed environment (context) - Lampson, Schmidt - 1983
13 Macro Processors and Techniques for Portable Software (context) - Brown - 1974
12 Incremental recompilation for Standard ML of New Jersey - Harper, Lee et al. - 1994
12 The structure of cedar (context) - Swinehart, Zellweger et al. - 1985
12 Call forwarding: a simple interprocedural optimization techn.. - De Bosschere, Debray et al. - 1994
11 Practical use of a polymorphic applicative language (context) - Lampson, Schmidt - 1983
11 A Compilation Manager for Standard ML of New Jersey - Harper, Lee et al. - 1994
10 Bridges: Tools to extend the Vesta configuration management .. - Brown, Ellis - 1993
9 Writing Hygienic Macros in Scheme with Syntax-Case - Dybvig - 1992
9 Standard ML of New Jersey compilation manager (context) - Blume - 1995
8 A Syntactic Closures Macro Facility (context) - Hanson - 1991
7 Software Portability with imake (context) - DuBois - 1996
7 Abstracting dependencies between software configuration item.. - Gunter - 1996
7 Cache performance of fastallocating programs - Goncalves, Appel - 1995
7 The Vesta repository: A file system extension for software d.. (context) - Chiu, Levin - 1993
6 congruences and partial inlining (context) - Goubault - 1994
6 Systems Research Center (context) - Cardelli, Donahue et al. - 1989
5 Princeton University (context) - Fernandez, Retargetable et al. - 1995
4 The Macro Implementation of SNOBOL (context) - Griswold - 1972
4 AA Microprocessor Hardware Reference Manual (context) - Corp, MA et al. - 1992
4 A higher-order type system for functional programming (context) - MacQueen - 1990
4 The Scheme of Things: Implementing Lexically Scoped Macros - Rees - 1993
4 Axiomatic bootstrapping: A guide for the compiler hacker - Appel - 1994
4 Naval Publications and Forms Center (context) - standard, language et al. - 1980
3 Laboratory for Computer Science (context) - Shivers, shell et al. - 1994
3 The Odin System --- Reference Manual - Clemm - 1994
1 Volume 1: Pentium Processor Data Book (context) - Corporation, User's - 1993
1 distributed with SML/NJ software (context) - Guillaume, George et al. - 1993
Documents on the same site (http://www.kurims.kyoto-u.ac.jp/~blume/pub.html): More
Refining Hygienic Macros for Modules and Separate Compilation - Blume (Correct)
Separate Compilation for - Scheme Matthias (Correct)
Dependency Analysis for Standard ML - Blume (1998) (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