444 search results - page 46 / 89 » Declarative Concurrency in Java |
FASE
2005
Springer
15 years 3 months ago
2005
Springer
This tool paper describes a modular program slicer for Java built using the Indus program analysis framework along with it’s Eclipse-based user interface called Kaveri. Indus pro...
OOPSLA
1999
Springer
15 years 1 months ago
1999
Springer
Java programs perform many synchronization operations on data structures. Some of these synchronizations are unnecessary; in particular, if an object is reachable only by a single ...
87
Voted
PPPJ
2004
ACM
15 years 3 months ago
2004
ACM
This paper discusses the current resurgence of interest in the Linda coordination language for parallel and distributed programming. Particularly in the Java field, there have be...
IPPS
2007
IEEE
15 years 4 months ago
2007
IEEE
We propose a two-layered approach for exploiting different forms of concurrency in complex systems: We specify computational components in our functional array language SaC, whic...
SEKE
2001
Springer
15 years 2 months ago
2001
Springer
ct 7 Applying finite-state verification techniques to software systems looks attractive because they are capable of detecting very subtle 8 defects in the logic design of these s...