 |
|
|
|
| HAL: hal-00310126, version 1 |
| DOI: 10.1007/11561347_26 |
| Detailed view |  Export this paper |
|
|
| 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 |
|
|
|
|
|
|
|
|
|
| Subject | : | Computer Science/Programming Languages |
|
|
| Component – concurrency – locations |
|
|
|
| Attached file list to this document: | |||||
|
|||||
|
|
|
| hal-00310126, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00310126 | |
| oai:hal.archives-ouvertes.fr:hal-00310126 | |
| From: Tom Hirschowitz | |
| Submitted on: Friday, 8 August 2008 08:58:15 | |
| Updated on: Thursday, 28 August 2008 12:27:34 | |
