A primitive calculus for module systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1702, Issue , 1999, Pages 62-79

  Ancona, Davide ^a   Zucca, Elena ^a  

^a UNIVERSITY OF GENOA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

BIOMINERALIZATION; CALCULATIONS; LOGIC PROGRAMMING; SEMANTICS;

HIGHER-ORDER; LINGUISTIC MECHANISM; MODULE SYSTEMS; MUTUAL RECURSION; PARAMETERIZED; REDUCTION SEMANTICS; SOFTWARE COMPONENT; TYPE SYSTEMS;

OBJECT ORIENTED PROGRAMMING;

EID: 84979000045     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/10704567_4     Document Type: Conference Paper

References (19)

1. M. Abadi and L. Cardelli. A Theory of Objects. Monographs in Computer Science. Springer Verlag, New York, 1996. 66, 76.
2. D. Ancona. Modular Formal Frameworks for Module Systems. PhD thesis, Dipar-timento di Informatica, Universitá di Pisa, 1998. 77.
3. D. Ancona. An algebraic framework for separate type-checking. In J. Fiadeiro, editor, WADT'98 (13th Workshop on Algebraic Development Techniques), Lecture Notes in Computer Science. Springer Verlag, 1999. To appear. 78.
4. D. Ancona and E. Zucca. Overriding operators in a mixin-based framework. In H. Glaser, P. Hartel, and H. Kuchen, editors, PLILP '97-9th Intl. Symp. on Programming Languages, Implementations, Logics and Programs, number 1292 in Lecture Notes in Computer Science, pages 47-61, Berlin, 1997. Springer Verlag. 76.
5. D. Ancona and E. Zucca. A theory of mixin modules: Basic and derived operators. Mathematical Structures in Computer Science, 8(4): 401-446, August 1998. 62, 74, 77.
6. D. Ancona and E. Zucca. A modular calculus for module systems. Technical report, Dipartimento di Informatica e Scienze dell'Informazione, Universitá di Genova, June 1999. 70, 73, 76, 77.
7. G. Bracha. The Programming Language JIGSAW: Mixins, Modularity and Multiple Inheritance. PhD thesis, Department of Comp. Sci., Univ. of Utah, 1992. 62, 76.
8. L. Cardelli. Program fragments, linking, and modularization. In ACM Symp. on Principles of Programming Languages 1997, pages 266-277. ACM Press, January 1997. 62.
9. W. Cook. A Denotational Semantics of Inheritance. PhD thesis, Dept. Comp. Sci., Brown University, 1989. 76.
10. K. Crary, R. Harper, and S. Puri. What is a recursive module? In PLDI'99-ACM Conf. on Programming Language Design and Implementation, 1999. To appear. 62, 74, 77.
11. D. Duggan and C. Sourelis. Mixin modules. In Intl. Conf. on Functional Program-ming, pages 262-273, Philadelphia, June 1996. ACM Press. SIGPLAN Notices, volume 31, number 6. 62, 74, 77.
12. M. Flatt and M. Felleisen. Units: Cool modules for HOT languages. In PLDI'98-ACM Conf. on Programming Language Design and Implementation, pages 236-248, 1998. 62, 66, 74, 74.
13. M. Flatt, S. Krishnamurthi, and M. Felleisen. Classes and mixins. In ACM Symp. on Principles of Programming Languages 1998, pages 171-183, January 1998. 62, 76.
14. R. Harper and M. Lillibridge. A type theoretic approach to higher-order modules with sharing. In ACM Symp. on Principles of Programming Languages 1994, pages 127-137. ACM Press, 1994. 62, 66.
15. R. Harper, M. Lillibridge, and E. Moggi. Higher-order modules and the phase distinction. In ACM Symp. on Principles of Programming Languages 1990, pages 341-354, S. Francisco, CA, January 1990. ACM Press. 77.
16. X. Leroy. Manifest types, modules and separate compilation. In ACM Symp. on Principles of Programming Languages 1994, pages 109-122. ACM Press, 1994. 62, 66.
17. X. Leroy. A modular module system. Technical Report 2866, Institute National de Recherche en Informatique et Automatique, April 1996. 62, 65, 74.
18. R. Milner, M. Tofte, and R. Harper. The Definition of Standard ML. The MIT Press, Cambridge, Massachussetts, 1990. 62, 74.
19. U. S. Reddy. Objects as closures: Abstract semantics of object-oriented languages. In Proc. ACM Conf. on Lisp and Functional Programming, pages 289-297, 1988. 76.