87 search results - page 6 / 18 » Non-monotonic Refinement of Control Abstraction for Concurre... |
70
Voted
DAGSTUHL
2003
14 years 11 months ago
2003
Abstract. PiLib is a library written in Scala that implements the concurrency constructs of the π-calculus. Some features of the programming language Scala, examined in the paper,...
EPIA
2003
Springer
15 years 2 months ago
2003
Springer
Abstract. This paper describes jcc, an integration of the timed default concurrent constraint programming framework [16] (Timed Default cc) into JAVA [7]. jcc is intended for use i...
SIGCSE
2002
ACM
14 years 9 months ago
2002
ACM
A number of communication libraries have been written to support concurrent programming. For a variety of reasons, these libraries generally are not well-suited for use in undergr...
73
Voted
SFP
2003
14 years 11 months ago
2003
Abstract Hume is a domain-specific programming language targeting resourcebounded computations. It is based on generalised concurrent bounded automata, controlled by transitions c...
85
Voted
MEMOCODE
2008
IEEE
15 years 4 months ago
2008
IEEE
Concurrent programming languages are becoming mandatory with the advent of multi-core processors. Two major concerns in any concurrent program are data races and deadlocks. Each a...