4426 search results - page 44 / 886 » Concurrent Constraint Programming |
150
click to vote
FMOODS
2008
15 years 4 months ago
2008
Reasoning about object-oriented programs is hard, due to , dynamic binding and the need for data abstraction and framing. Reasoning about concurrent object-oriented programs is eve...
142
Voted
WETICE
1996
IEEE
15 years 6 months ago
1996
IEEE
Communication and coordination play an important role in achieving concurrency in the design of large complex artifacts. It is also widely accepted that design is constraint orien...
120
Voted
POPL
2009
ACM
15 years 9 months ago
2009
ACM
Haskell has a rich set of synchronization primitives for implemented-state concurrency abstractions, ranging from the very high level (Software Transactional Memory) to the very l...
104
click to vote
SIGSOFT
2007
ACM
16 years 3 months ago
2007
ACM
Concurrency bugs are becoming increasingly important due to the prevalence of concurrent programs. A fundamental problem of concurrent program bug detection and testing is that th...
123
Voted
ECOOP
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. Inheritance is one of the key concepts in object-oriented programming. However, the usefulness of inheritance in concurrent objectoriented programming is greatly reduced ...