TOOLS
2010
IEEE
14 years 24 days ago
2010
IEEE
TOOLS
2010
IEEE
14 years 24 days ago
2010
IEEE
This paper presents Welterweight Java (WJ), a new minimal core Java calculus intended to be a suitable starting point for investigations in the semantics of Java-like programs. To ...
ESOP
2010
Springer
14 years 25 days ago
2010
Springer
Abstract. The hiding of internal invariants creates a mismatch between procedure specifications in an interface and proof obligations on the implementations of those procedures. T...
ESOP
2010
Springer
14 years 25 days ago
2010
Springer
Modern software systems have frequently to face unexpected events, reacting so to reach a consistent state. In the field of concurrent and mobile systems (e.g., for web services) ...
ASPLOS
2010
ACM
14 years 25 days ago
2010
ACM
Heterogeneous systems, systems with multiple processors tailored for specialized tasks, are challenging programming environments. While it may be possible for domain experts to op...
ICLP
2003
Springer
14 years 28 days ago
2003
Springer
ICLP
2003
Springer
14 years 28 days ago
2003
Springer
Abstract. Concurrency is an attractive property of a language to exploit multi-CPU hardware or perform multiple tasks concurrently. In recent years we see Prolog systems experiment...
ICLP
2003
Springer
14 years 28 days ago
2003
Springer
Concurrent constraint programming (ccp) is a model of concurrency for systems in which agents (also called processes) interact with one another by telling and asking information in...
ICLP
2003
Springer
14 years 28 days ago
2003
Springer
Abstract The ntcc process calculus is a timed concurrent constraint programming (ccp) model equipped with a first-order linear-temporal logic (LTL) for expressing process specifi...
ICLP
2003
Springer
14 years 28 days ago
2003
Springer