Sciweavers

7103 search results - page 42 / 1421
» Components and Generative Programming
Sort
View
ECOOP
2006
Springer
13 years 11 months ago
An Aspect-Oriented Adaptation Framework for Dynamic Component Evolution
This paper briefly describes the design of a dynamic adaptation management framework exploiting the concepts provided by Aspect-Oriented Software Development (AOSD) -in particular ...
Javier Cámara, Carlos Canal, Javier Cubo, J...
GPCE
2004
Springer
14 years 29 days ago
On Designing a Target-Independent DSL for Safe OS Process-Scheduling Components
Julia L. Lawall, Anne-Françoise Le Meur, Gi...
ESOP
2010
Springer
14 years 5 months ago
Amortised Resource Analysis with Separation Logic
Type-based amortised resource analysis following Hofmann and Jost--where resources are associated with individual elements of data structures and doled out to the programmer under ...
Robert Atkey
ECOOP
2000
Springer
13 years 12 months ago
A Basic Model of Typed Components
This paper studies specific language level abstractions for component-based programming. We propose a simple model which captures some basic ingredients — like explicit context ...
João Costa Seco, Luís Caires
SAC
2008
ACM
13 years 7 months ago
Preserving coordination properties when transforming concurrent system components
Complexity in concurrent or distributed systems can be managed by dividing component into smaller components. However, such transformations change the coordination behaviour betwe...
Gudmund Grov, Robert F. Pointon, Greg Michaelson, ...