Luca Cardelli  Home/Search
Context
Related
Links: ACM DBLP | microsoft.com/Users/luc...Linking.A4.ps dec.com/pub/DEC/SRC/res...SRC144.ps.gz microsoft.com/Users/luca/...Linking.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: luca.demon.co.uk/Bibliography (more) From: luca.demon.co.uk/Bibliography (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Module mechanisms have received considerable theoretical attention, but the associated concepts of separate compilation and linking have not been emphasized. Anomalous module systems have emerged in functional and object-oriented programming where software components are not separately typecheckable and compilable. In this paper we provide a context where linking can be studied, and separate compilability can be formally stated and checked. We propose a framework where each module is separately ... (Update)
Similar documents (at the sentence level):
75.8%: Program Fragments, Linking, and Modularization - Cardelli (1997) (Correct)
Active bibliography (related documents): More All
0.1: A Theory of Primitive Objects - Abadi, Cardelli (1994) (Correct)
0.0: A Theory of Primitive Objects - Untyped and First-Order Systems - Abadi, Cardelli (1994) (Correct)
0.0: An implementation of F<: - Cardelli (1993) (Correct)
Similar documents based on text: More All
0.5: Manifest Types, Modules, and Separate Compilation - Leroy (1994) (Correct)
0.1: Feasibility and Unfeasibility of Off-line Processing - Cadoli, Donini, Liberatore, .. (1996) (Correct)
0.1: Visual Support For The Modularization Of Object-Oriented Systems - Hofmann, Trilk (Correct)
BibTeX entry: (Update)
@misc{ cardelli-program,
author = "Luca Cardelli",
title = "Program Fragments, Linking, and Modularization",
url = "citeseer.ist.psu.edu/article/cardelli99program.html" }
Citations (may not include all citations):1074 The definition of Standard ML (context) - Milner, Tofte et al. - 1989 ACM
427 the criteria to be used in decomposing systems into modules (context) - Parnas - 1972
215 A type-theoretic approach to higher-order modules with shari.. - Harper, Lillibridge - 1994 ACM DBLP
127 Systems programming with Modula (context) - Nelson - 1991
98 Using dependent types to express modular structure - MacQueen - 1986 ACM DBLP
92 An introduction to Trellis/Owl (context) - Schaffert, Cooper et al. - 1986 ACM DBLP
82 Typeful programming - Cardelli - 1991
81 A proposal for making Eiffel type-safe - Cook - 1989 ACM DBLP
45 A modular module system - Leroy - 1996 ACM DBLP
42 Rationale for the design of the ADA programming language (context) - Ichbiah, Barnes et al. - 1979 ACM
38 Analysis and caching of dependencies - Abadi, Levy et al. - 1996 ACM DBLP
26 ACM Transactions on Programming Languages and Systems (context) - Chambers, Leavens - 1995
21 Programming with modules as typed functional programming (context) - Burstall - 1984 DBLP
12 th Annual ACM Symposium on Principles of Programming Languag.. (context) - Abadi, Cardelli et al. - 1990
11 Personal communication (context) - Dean - 1996
2 Programming Concepts and Methods (context) - Cardelli, Leroy - 1990 ACM
2 Typing issues in object-oriented programming (context) - Meyer - 1995
2 Fundamental flaw in Java library distribution scheme (context) - Griswold - 1995
2 th Annual ACM Symposium on Principles of Programming Languag.. (context) - Shao, Appel - 1993
2 st ACM Symposium on Principles of Programming Languages (context) - Leroy - 1994
1 ACM Conf (context) - Appel, MacQueen - 1994
Documents on the same site (http://www.luca.demon.co.uk/Bibliography.html): More
On Binary Methods - Bruce, Cardelli, Castagna, Eifrig.. (1995) (Correct)
Subtyping and Parametricity - Plotkin, Abadi, Cardelli (1993) (Correct)
On Understanding Types, Data Abstraction, and Polymorphism - Cardelli, Wegner (1985) (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