2302 search results - page 66 / 461 » The Evolution of Concurrent Programs |
200
click to vote
SIGSOFT
2007
ACM
16 years 6 months ago
2007
ACM
Product Data Management (PDM) and Software Configuration Management (SCM) are the disciplines of building and controlling the evolution of a complex artifacts; either physical or ...
157
click to vote
ICSM
2007
IEEE
16 years 8 days ago
2007
IEEE
Identifiers represent an important source of information for programmers understanding and maintaining a system. Self-documenting identifiers reduce the time and effort necessa...
166
click to vote
SAS
2007
Springer
16 years 2 days ago
2007
Springer
Concurrent programs are difficult to verify because the proof must consider the interactions between the threads. Fine-grained concurrency and heap allocated data structures exacer...
152
click to vote
CONCURRENCY
2004
15 years 5 months ago
2004
Abstract. A number of formal proposals to manage aliasing in Java-like programming languages have been advanced over the last five years. Unfortunately, it is not clear how practic...
195
click to vote
ICFP
2004
ACM
16 years 6 months ago
2004
ACM
Concurrency, as a useful feature of many modern programming languages and systems, is generally hard to reason about. Although existing work has explored the verification of concu...