Program fragments, linking, and modularization

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Program fragments, linking, and modularization

Full text

Pdf (960 KB)

Source

Annual Symposium on Principles of Programming Languages archive
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages table of contents

Paris, France

Pages: 266 - 277

Year of Publication: 1997

ISBN:0-89791-853-3

Author

Luca Cardelli

Digital Equipment Corporation, Systems Research Center

Sponsors

L'Ecole des Mines de Paris : L'Ecole des Mines de Paris
SIGACT: ACM Special Interest Group on Algorithms and Computation Theory
Ctr Natl de la Recherche Sci :
SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 13, Downloads (12 Months): 42, Citation Count: 36

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/263699.263735 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Martín Abadi , Butler Lampson , Jean-Jacques Lévy, Analysis and caching of dependencies, Proceedings of the first ACM SIGPLAN international conference on Functional programming, p.83-91, May 24-26, 1996, Philadelphia, Pennsylvania, United States
	2	M. Abadi , P. L. Curien , J. J. Levy, Explicit substitutions, Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.31-46, December 1989, San Francisco, California, United States [doi>10.1145/96709.96712]
	3	Andrew W. Appel , David B. MacQueen, Separate compilation for Standard ML, Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation, p.13-23, June 20-24, 1994, Orlando, Florida, United States
	4	Burstall, R.M., Programming with modules as typed functional programming, Proc. International Conference on 5th Generation Computing Systems. Tokyo. 1984.
	5	Cardelli, L., Typeful programming. In Formal Description of Programming Concepts, E.J. Neuhold and M. Paul, ed. Springer-Verlag. 431-507. 199 I.
	6	Cardelli, L. and X. Leroy, Abstract types and the dot notation. Proc. Programming Concepts and Methods, 479-504. North Holland. 1990.
	7	Craig Chambers , Gary T. Leavens, Typechecking and modules for multimethods, ACM Transactions on Programming Languages and Systems (TOPLAS), v.17 n.6, p.805-843, Nov. 1995 [doi>10.1145/218570.218571]
	8	Cook, W.R., A proposal for making Eiffel type.safe. Proc. European Conference of Object-Oriented Programming, 5% 72. 1989.
	9	Dean, D., Personal communication. July 1996.
	10	Griswold, D. et al., Fundamental flaw in Java library distribution scheme, comp.lang.java thread, November 1995.
	11	Robert Harper , Mark Lillibridge, A type-theoretic approach to higher-order modules with sharing, Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.123-137, January 16-19, 1994, Portland, Oregon, United States [doi>10.1145/174675.176927]
	12	Jean D. Ichbiah , Bernd Krieg-Brueckner , Brian A. Wichmann , John G. P. Barnes , Olivier Roubine , Jean-Claude Heliard, Rationale for the design of the Ada programming language, ACM SIGPLAN Notices, v.14 n.6b, p.1-261, June 1979 [doi>10.1145/956653.956654]
	13	Xavier Leroy, Manifest types, modules, and separate compilation, Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.109-122, January 16-19, 1994, Portland, Oregon, United States [doi>10.1145/174675.176926]
	14	Leroy, X., A modular module system. Research report 2866, INRIA. April 1996.
	15	David B. MacQueen, Using dependent types to express modular structure, Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.277-286, January 01, 1986, St. Petersburg Beach, Florida [doi>10.1145/512644.512670]
	16	Meyer, B., Typing issues in object-oriented programming. Invited address, A CM Conference on Object Oriented Programming Systems, Languages, and Applications 1995. Interactive Software Engineering Inc. 1995.
	17	Robin Milner , Mads Tofte , Robert Harper, The definition of Standard ML, MIT Press, Cambridge, MA, 1990
	18	Greg Nelson, Systems programming with Modula-3, Prentice-Hall, Inc., Upper Saddle River, NJ, 1991
	19	D. L. Parnas, On the criteria to be used in decomposing systems into modules, Communications of the ACM, v.15 n.12, p.1053-1058, Dec. 1972 [doi>10.1145/361598.361623]
	20	Craig Schaffert , Topher Cooper , Bruce Bullis , Mike Kilian , Carrie Wilpolt, An introduction to Trellis/Owl, Conference proceedings on Object-oriented programming systems, languages and applications, p.9-16, September 29-October 02, 1986, Portland, Oregon, United States
	21	Zhong Shao , Andrew W. Appel, Smartest recompilation, Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.439-450, March 1993, Charleston, South Carolina, United States [doi>10.1145/158511.158702]

CITED BY 36

	Matthias Blume , Andrew W. Appel, Hierarchical modularity, ACM Transactions on Programming Languages and Systems (TOPLAS), v.21 n.4, p.813-847, July 1999
	Philip W. L. Fong , Robert D. Cameron, Proof linking: modular verification of mobile programs in the presence of lazy, dynamic linking, ACM Transactions on Software Engineering and Methodology (TOSEM), v.9 n.4, p.379-409, Oct. 2000
	Drew Dean, The security of static typing with dynamic linking, Proceedings of the 4th ACM conference on Computer and communications security, p.18-27, April 01-04, 1997, Zurich, Switzerland
	Atanas Rountev , Barbara G. Ryder , William Landi, Data-flow analysis of program fragments, ACM SIGSOFT Software Engineering Notes, v.24 n.6, p.235-252, Nov. 1999
	Dominic Duggan, Type-based hot swapping of running modules (extended abstract), ACM SIGPLAN Notices, v.36 n.10, October 2001
	Zhenyu Qian , Allen Goldberg , Alessandro Coglio, A formal specification of Java class loading, ACM SIGPLAN Notices, v.35 n.10, p.325-336, Oct. 2000
	Sophia Drossopoulou , David Wragg , Susan Eisenbach, What is Java binary compatibility?, ACM SIGPLAN Notices, v.33 n.10, p.341-361, Oct. 1998
	Philip W. L. Fong , Robert D. Cameron, Proof linking: an architecture for modular verification of dynamically-linked mobile code, ACM SIGSOFT Software Engineering Notes, v.23 n.6, p.222-230, Nov. 1998
	Philip W. L. Fong, Pluggable verification modules: an extensible protection mechanism for the JVM, ACM SIGPLAN Notices, v.39 n.10, October 2004
	Dominic Duggan, Type-Safe linking with recursive DLLs and shared libraries, ACM Transactions on Programming Languages and Systems (TOPLAS), v.24 n.6, p.711-804, November 2002
	Neal Glew , Greg Morrisett, Type-safe linking and modular assembly language, Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.250-261, January 20-22, 1999, San Antonio, Texas, United States
	Matthew Flatt , Matthias Felleisen, Units: cool modules for HOT languages, ACM SIGPLAN Notices, v.33 n.5, p.236-248, May 1998
	Carl A. Gunter, Abstracting dependencies between software configuration items, ACM Transactions on Software Engineering and Methodology (TOSEM), v.9 n.1, p.94-131, Jan. 2000
	Sean McDirmid , Wilson C. Hsieh, Aspect-oriented programming with Jiazzi, Proceedings of the 2nd international conference on Aspect-oriented software development, p.70-79, March 17-21, 2003, Boston, Massachusetts
	Lujo Bauer , Andrew W. Appel , Edward W. Felten, Mechanisms for secure modular programming in Java, Software—Practice & Experience, v.33 n.5, p.461-480, 25 April 2003
	Sonia Fagorzi , Elena Zucca , Davide Ancona, Modeling multiple class loaders by a calculus for dynamic linking, Proceedings of the 2004 ACM symposium on Applied computing, March 14-17, 2004, Nicosia, Cyprus
	Walid Taha , Michael Florentin Nielsen, Environment classifiers, ACM SIGPLAN Notices, v.38 n.1, p.26-37, January 2003
	Ferruccio Damiani, Rank 2 intersection types for modules, Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming, p.67-78, August 27-29, 2003, Uppsala, Sweden
	Todd Millstein , Colin Bleckner , Craig Chambers, Modular typechecking for hierarchically extensible datatypes and functions, ACM Transactions on Programming Languages and Systems (TOPLAS), v.26 n.5, p.836-889, September 2004
	Davide Ancona , Ferruccio Damiani , Sophia Drossopoulou , Elena Zucca, Polymorphic bytecode: compositional compilation for Java-like languages, ACM SIGPLAN Notices, v.40 n.1, p.26-37, January 2005
	Francesco Logozzo, Approximating module semantics with constraints, Proceedings of the 2004 ACM symposium on Applied computing, March 14-17, 2004, Nicosia, Cyprus
	Roberto Lopez-Herrejon , Don Batory , Christian Lengauer, A disciplined approach to aspect composition, Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, January 09-10, 2006, Charleston, South Carolina
	Davide Ancona , Elena Zucca, Principal typings for Java-like languages, ACM SIGPLAN Notices, v.39 n.1, p.306-317, January 2004
	Tom Hirschowitz , Xavier Leroy, Mixin modules in a call-by-value setting, ACM Transactions on Programming Languages and Systems (TOPLAS), v.27 n.5, p.857-881, September 2005
	D. Ancona , G. Lagorio , E. Zucca, True separate compilation of Java classes, Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming, p.189-200, October 06-08, 2002, Pittsburgh, PA, USA
	Akihiko Tozawa , Masami Hagiya, Formalization and Analysis of Class Loading in Java, Higher-Order and Symbolic Computation, v.15 n.1, p.7-55, March 2002
	Davide Ancona , Elena Zucca, A theory of mixin modules: algebraic laws and reduction semantics, Mathematical Structures in Computer Science, v.12 n.6, p.701-737, December 2002
	Peter Sewell, Modules, abstract types, and distributed versioning, ACM SIGPLAN Notices, v.36 n.3, p.236-247, March 2001
	Yu David Liu , Scott F. Smith, A formal framework for component deployment, ACM SIGPLAN Notices, v.41 n.10, October 2006
	Jia Liu , Don Batory , Christian Lengauer, Feature oriented refactoring of legacy applications, Proceeding of the 28th international conference on Software engineering, May 20-28, 2006, Shanghai, China
	David Swasey , Tom Murphy, VII , Karl Crary , Robert Harper, A separate compilation extension to standard ML, Proceedings of the 2006 workshop on ML, September 16-16, 2006, Portland, Oregon, USA
	Andreas Rossberg, The missing link: dynamic components for ML, ACM SIGPLAN Notices, v.41 n.9, September 2006
	Gianluigi Ferrari , Eugenio Moggi , Rosario Pugliese, MetaKlaim: a type safe multi-stage language for global computing, Mathematical Structures in Computer Science, v.14 n.3, p.367-395, June 2004
	Davide Ancona , Elena Zucca, A calculus of module systems, Journal of Functional Programming, v.12 n.2, p.91-132, March 2002
	Xavier Leroy, A modular module system, Journal of Functional Programming, v.10 n.3, p.269-303, May 2000
	Klaus Ostermann, Reasoning about aspects with common sense, Proceedings of the 7th international conference on Aspect-oriented software development, March 31-April 04, 2008, Brussels, Belgium