 |
|
|
|
| HAL : hal-00310126, version 1 |
| DOI : 10.1007/11561347_26 |
| Fiche détaillée |  Récupérer au format |
|
|
| Generative Programming and Component Engineering (GPCE), Tallinn : Estonie (2005) |
|
|
|
|
| Component-Oriented Programming with Sharing: Containment is not Ownership |
|
|
| Daniel Hirschkoff 1Tom Hirschowitz 2 |
|
|
| (2005) |
|
|
|
| Component-oriented programming yields a tension between higher-order features (deployment, reconfiguration, passivation), encapsulation, and component sharing. We propose a discipline for component-oriented programming to address this issue, and we define a process calculus whose operational semantics embodies this programming discipline. We present several examples that illustrate how the calculus supports component sharing, while allowing strong encapsulation and higher-order primitives. |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Laboratoire de l'Informatique du Parallélisme (LIP) |
|
|
|
Université de Lyon – CNRS : UMR5668 – INRIA – École Normale Supérieure - Lyon – Université Claude Bernard - Lyon I |
|
|
| 2 : | Laboratoire de Mathématiques (LAMA) |
|
|
|
CNRS : UMR5127 – Université de Savoie |
|
|
| 3 : | SARDES (INRIA Rhône-Alpes / IMAG) |
|
|
|
CNRS : FR71 – INRIA |
|
|
|
|
|
|
|
|
|
| Domaine | : | Informatique/Langage de programmation |
|
|
| Component – concurrency – locations |
|
|
|
| Liste des fichiers attachés à ce document : | |||||
|
|||||
|
|
|
| hal-00310126, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00310126 | |
| oai:hal.archives-ouvertes.fr:hal-00310126 | |
| Contributeur : Tom Hirschowitz | |
| Soumis le : Vendredi 8 Août 2008, 08:58:15 | |
| Dernière modification le : Jeudi 28 Août 2008, 12:27:34 | |
