96 search results - page 3 / 20 » Concurrency Combinators for Declarative Synchronization |
ICSE
2009
IEEE-ACM
14 years 6 months ago
2009
IEEE-ACM
Designers of concurrent programs are faced with many choices of synchronization mechanisms, among which clear functional trade-offs exist. Making synchronization customizable is h...
ICCL
1994
IEEE
13 years 9 months ago
1994
IEEE
This paper presents a model of concurrent objectoriented programming in which specification of computational behavior is separated from specification of interaction behavior of me...
JFLP
2002
13 years 5 months ago
2002
We present a practical partial evaluation scheme for multi-paradigm declarative languages combining features from functional, logic, and concurrent programming. In contrast to pre...
ENTCS
2002
13 years 5 months ago
2002
Practical declarative multi-paradigm languages combine the main features of functional, logic and concurrent programming (e.g., laziness, sharing, higher-order, logic variables, n...
PPDP
2005
Springer
13 years 10 months ago
2005
Springer
In this paper we design a language and runtime support for isolation-only, multithreaded transactions (called tasks). Tasks allow isolation to be declared instead of having to be ...