论文信息 - Programmation modulaire avec surcharge et liaison tardive

Programmation modulaire avec surcharge et liaison tardive

Les systèmes de modules à la SML, tout en étant très généraux et puissants, n’autorisent qu’une forme limitée de réutilisation de code et de programmation incrémentale. Dans ce travail nous proposons une extension d’un système de modules à la SML qui incorpore surcharge et liaison tardive au langage des modules, et nous montrons les avantages de cette extension pour la programmation incrémentale, aboutissant ainsi à un style de programmation similaire à celui utilisé dans certains langages orientés objets.

Giuseppe Castagna | Maria-Virginia Aponte

[1] Patrick Cousot,et al. Abstract interpretation , 1996, CSUR.

[2] Giuseppe Castagna,et al. A Calculus for Overloaded Functions with Subtyping , 1995, Inf. Comput..

[3] Xavier Leroy,et al. Manifest types, modules, and separate compilation , 1994, POPL '94.

[4] Matthew S. Hecht,et al. Flow Analysis of Computer Programs , 1977 .

[5] Linda G. DeMichiel,et al. The Common Lisp Object System: An Overview , 1987, ECOOP.

[6] 立木秀樹. A record calculus with a merge operator , 1993 .

[7] Mark Lillibridge,et al. A type-theoretic approach to higher-order modules with sharing , 1994, POPL '94.

[8] Bertrand Meyer,et al. Eiffel: The Language , 1991 .

[9] David B. MacQueen. Modules for standard ML , 1984, LFP '84.

[10] Patrick Cousot,et al. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints , 1977, POPL.

[11] Giuseppe Castagna,et al. A calculus for overloaded functions with subtyping , 1992, LFP '92.

[12] Giuseppe Castagna,et al. A Semantics for Lambda&-early: A Calculus with Overloading and Early Binding , 1993, TLCA.

[13] Giuseppe Castagna,et al. Covariance and contravariance: conflict without a cause , 1995, TOPL.