3307 search results - page 137 / 662 » The meaning of concurrent programs |
95
Voted
SFP
2003
15 years 2 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...
105
Voted
SCP
2002
15 years 14 days ago
2002
O'Haskell is a programming language derived from Haskell by the addition of concurrent reactive objects and subtyping. Because Haskell already encompasses an advanced type sy...
112
click to vote
EUROCAST
2007
Springer
15 years 4 months ago
2007
Springer
Abstract Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulas on the program variables. Most of m...
141
Voted
PPOPP
2012
ACM
13 years 8 months ago
2012
ACM
Existing concurrency platforms for dynamic multithreading do not provide repeatable parallel random-number generators. This paper proposes that a mechanism called pedigrees be bui...
102
Voted
CONCURRENCY
1998
15 years 15 days ago
1998
This paper presents our experience developing applications in Jade, a portable, implicitly parallel programming language designed for exploiting task-level concurrency. Jade progr...