Sciweavers

1721 search results - page 192 / 345
» Software Reuse: An Overview
Sort
View
TIC
2000
Springer
174views System Software» more  TIC 2000»
14 years 1 months ago
Alias Types for Recursive Data Structures
Linear type systems permit programmers to deallocate or explicitly recycle memory, but they are severly restricted by the fact that they admit no aliasing. This paper describes a ...
David Walker, J. Gregory Morrisett
AOSD
2008
ACM
14 years 5 days ago
Expressive scoping of dynamically-deployed aspects
Several aspect languages and frameworks have recognized the need for dynamic deployment of aspects. However, they do not provide sufficiently expressive means to precisely specify...
Éric Tanter
CC
2008
Springer
127views System Software» more  CC 2008»
14 years 5 days ago
Compiler-Guaranteed Safety in Code-Copying Virtual Machines
1 Virtual Machine authors face a difficult choice between low performance, cheap interpreters, or specialized and costly compilers. A method able to bridge this wide gap is the exi...
Gregory B. Prokopski, Clark Verbrugge
FMOODS
2007
13 years 11 months ago
Adaptation of Open Component-Based Systems
Software adaptation aims at generating software pieces called adaptors to compensate interface and behavioural mismatch between components or services. This is crucial to foster re...
Pascal Poizat, Gwen Salaün
SCS
2003
13 years 11 months ago
A Contract-based Approach to Designing Safe Systems
Architectural based approaches to designing software are motivating changes in the way software is developed for safety-critical systems. These new approaches allow developers to d...
Iain Bate, Richard Hawkin, John A. McDermid