2466 search results - page 80 / 494 » Concurrent Clustered Programming |
WOA
2010
13 years 6 months ago
2010
Abstract--We believe that agent-oriented programming languages and multi-agent programming technologies provide an effective level of abstraction for tackling the design and progra...
ACSC
2005
IEEE
14 years 2 months ago
2005
IEEE
Parallel pattern-matching (PPM) provides true commutative implementation of functions defined by cases in functional languages, because no argument is given precedence over any o...
OOPSLA
1992
Springer
14 years 25 days ago
1992
Springer
JAC is a Java extension for high-level concurrent programming, meant to hide the notions of threads and synchronization statements from the programmer. Putting into practice the c...
CCS
2004
ACM
14 years 2 months ago
2004
ACM
Information flow type systems provide an elegant means to enforce confidentiality of programs. Using the proof assistant Isabelle/HOL, we have machine-checked a recent work of B...
TACAS
2005
Springer
14 years 2 months ago
2005
Springer
The interaction among concurrently executing threads of a program results in insidious programming errors that are difficult to reproduce and fix. Unfortunately, the problem of ve...