1499 search results - page 57 / 300 » Chopping Concurrent Programs |
108
click to vote
CSFW
1998
IEEE
15 years 4 months ago
1998
IEEE
In previous work [16], we give a type system that guarantees that well-typed multithreaded programs are possibilistically noninterfering. If thread scheduling is probabilistic, ho...
133
click to vote
EMSOFT
2006
Springer
15 years 4 months ago
2006
Springer
Concurrent programming languages should be a good fit for embedded systems because they match the intrinsic parallelism of their architectures and environments. Unfortunately, typ...
100
Voted
APLAS
2009
ACM
15 years 7 months ago
2009
ACM
We describe an algorithm for synthesizing resource invariants that are used in the verification of concurrent programs. This synthesis employs bi-abductive inference to identify t...
103
Voted
PPDP
1999
Springer
15 years 4 months ago
1999
Springer
Curry is a multi-paradigm declarative language covering functional, logic, and concurrent programming paradigms. Curry’s operational semantics is based on lazy reduction of expre...
143
Voted
FORTE
2009
14 years 10 months ago
2009
Orc was originally presented as a process calculus. It has now evolved into a full programming language, which we describe in this paper. The language has the structure and feel of...