Call-by-value mixin modules: Reduction semantics, side effects, types

Abstract : Mixin modules are a framework for modular programming that supports code parameterization, incremental programming via late binding and redefinitions, and cross-module recursion. In this paper, we develop a language of mixin modules that supports call-by-value evaluation, and formalize a reduction semantics and a sound type system for this language.
Mots-clés : Modularity mixin modules
Type de document :
Communication dans un congrès
European Symposium on Programming, 2004, Barcelona, Spain. Springer, 2986, pp.64-78, 2004, Lecture Notes in Computer Science. 〈10.1007/b96702〉
Liste complète des métadonnées

Littérature citée [26 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-00310123
Contributeur : Tom Hirschowitz <>
Soumis le : vendredi 8 août 2008 - 08:59:05
Dernière modification le : jeudi 5 octobre 2017 - 01:13:26
Document(s) archivé(s) le : jeudi 3 juin 2010 - 18:04:45

Fichier

cbv-mixins.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

INRIA | LAMA | UGA

Citation

Tom Hirschowitz, Xavier Leroy, J. B. Wells. Call-by-value mixin modules: Reduction semantics, side effects, types. European Symposium on Programming, 2004, Barcelona, Spain. Springer, 2986, pp.64-78, 2004, Lecture Notes in Computer Science. 〈10.1007/b96702〉. 〈hal-00310123〉

Partager

Métriques

Consultations de
la notice

280

Téléchargements du document

150