2302 search results - page 257 / 461 » The Evolution of Concurrent Programs |
174
click to vote
LICS
1996
IEEE
15 years 10 months ago
1996
IEEE
We consider a parallel Algol-like language, combining procedures with shared-variable parallelism. Procedures permit encapsulation of common parallel programming idioms. Local var...
158
click to vote
ESOP
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. This paper contributes a technique that expands the set of object invariants that one can reason about in modular verification. The technique uses history invariants, tw...
157
click to vote
CD
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Plugins are optional components which can be used to enable the dynamic construction of flexible and complex systems, passing as much of the configuration management ef...
154
click to vote
ISOOMS
1994
15 years 10 months ago
1994
Existing approaches to object-oriented system development are poorly integrated in several ways. This inadequate integration is ubiquitous and causes numerous inefficiencies in th...
154
click to vote
ECOOP
2008
Springer
15 years 8 months ago
2008
Springer
Explicitly representing aspect interactions is vital so that they can be shared and used in the course of system evolution. As a consequence, guidance can be given to the software ...