5415 search results - page 475 / 1083 » The Implementation of Functional Programming Languages |
151
click to vote
ESOP
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Multithreaded programs are prone to errors caused by unintended interference between concurrent threads. This paper focuses on verifying that deterministically-parallel c...
201
click to vote
WOSP
2000
ACM
16 years 5 hour ago
2000
ACM
For sometime now, Unified Modelling Language (UML) has been accepted as a standard for designing new systems. Its array of notations helps system designers to capture their ideas ...
182
click to vote
ESOP
2010
Springer
16 years 5 months ago
2010
Springer
The combination of message passing and locking to protect shared state is a useful concurrency pattern. However, programs that employ this pattern are susceptible to deadlock. That...
181
click to vote
PADL
2010
Springer
16 years 4 months ago
2010
Springer
Explanations are a technique for reasoning about constraint propagation, which have been applied in many learning, backjumping and user-interaction algorithms for constraint progra...
175
click to vote
ECOOP
2005
Springer
16 years 1 months ago
2005
Springer
There are numerous mechanisms for separation of concerns at the source code level. Three mechanisms that are the focus of recent attention – metadata annotations, pointcuts and a...