Luca Cardelli  Home/Search
Context
Related
| microsoft.com/Users/luca/...SRC144.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) (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... (Update)
Similar documents (at the sentence level):
77.6%: 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.1: Open Programming Services for Virtual Machines: The Design .. - Brunklaus, Kornstaedt (Correct)
0.1: Type-Safe Linking and Modular Assembly Language - Glew, Morrisett (1999) (Correct)
0.1: Using Measurements to Derive the Worst-Case Execution Time - Lindgren, Hansson, Thane (2000) (Correct)
BibTeX entry: (Update)
@inproceedings{ cardelli97program,
author = "Luca Cardelli",
title = "Program Fragments, Linking, and Modularization",
booktitle = "Conference Record of {POPL} 97: The 24TH {ACM} {SIGPLAN}-{SIGACT} Symposium on Principles of Programming Languages, Paris, France",
address = "New York, NY",
pages = "266--277--",
year = "1997",
url = "citeseer.ist.psu.edu/cardelli97program.html" }
Citations (may not include all citations):1074 The definition of Standard ML (context) - Milner, Tofte et al. - 1989
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
127 Systems programming with Modula (context) - Nelson - 1991
98 Using dependent types to express modular structure - MacQueen - 1986
82 Typeful programming - Cardelli - 1991
81 A proposal for making Eiffel type-safe - Cook - 1989
60 The security of static typing with dynamic linking - Dean - 1997
45 A modular module system - Leroy - 1996
42 Rationale for the design of the ADA programming language (context) - Ichbiah, Barnes et al. - 1979
38 Analysis and caching of dependencies - Abadi, Levy et al. - 1996
34 Separate compilation for Standard ML - Appel, MacQueen - 1994
26 ACM Transactions on Programming Languages and Systems (context) - Chambers, Leavens - 1995
22 introduction to Trel liOwl (context) - Bullis, Wilpolt et al. - 1986
21 Programming with modules as typed functional programming (context) - Burstall - 1984
12 th Annual ACM Symposium on Principles of Programming Languag.. (context) - Abadi, Cardelli et al. - 1990
2 Typing issues in object-oriented programming (context) - Meyer - 1995
2 Fundamental flaw in Java library distribution scheme (context) - Griswold - 1995
2 st ACM Sym- posium on Principles of Programming Languages (context) - Leroy - 1994
2 th Annual ACM Symposium on Principles of Programming Languag.. (context) - Shao, Appel - 1993
2 Programming Con- cepts and Methods (context) - Cardelli, Leroy - 1990
Documents on the same site (http://www.luca.demon.co.uk/Bibliography.htm): More
An implementation of F<: - Cardelli (1993) (Correct)
Migratory Applications - Bharat (1995) (Correct)
Formal Parametric Polymorphism - Martn Abadi Luca (1993) (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