4426 search results - page 76 / 886 » Concurrent Constraint Programming |
151
click to vote
BIRTHDAY
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. This case study applies techniques of formal program development by specification refinement and composition to the problem of concurrent garbage collection. The speci...
131
click to vote
ICTAC
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We design a deadlock-free semantics for a concurrent, functional and imperative programming language where locks are implicitly and univocally associated with pointers. T...
144
click to vote
CADE
2008
Springer
16 years 4 months ago
2008
Springer
CLF (Concurrent LF) [CPWW02a] is a logical framework for specifying and implementing deductive and concurrent systems from areas, such as programming language theory, security prot...
ICALP
2000
Springer
15 years 7 months ago
2000
Springer
