1499 search results - page 57 / 300 » Chopping Concurrent Programs |
134
click to vote
CSFW
1998
IEEE
15 years 6 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...
148
Voted
EMSOFT
2006
Springer
15 years 6 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...
115
click to vote
APLAS
2009
ACM
15 years 9 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...
131
Voted
PPDP
1999
Springer
15 years 6 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...
160
Voted
FORTE
2009
15 years 10 days 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...