ESOP
2007
Springer
13 years 10 months ago
2007
Springer
ESOP
2007
Springer
13 years 10 months ago
2007
Springer
ESOP
2007
Springer
13 years 10 months ago
2007
Springer
This paper relates two different paradigms of descriptions of communication behaviour, one focussing on global message flows and another on end-point behaviours, using formal cal...
ESOP
2007
Springer
13 years 10 months ago
2007
Springer
Abstract We present the semantics and proof system for an objectoriented language with active objects, asynchronous method calls, and futures. The language, based on Creol, disting...
ESOP
2007
Springer
13 years 10 months ago
2007
Springer
We introduce COWS (Calculus for Orchestration of Web Services), a new foundational language for SOC whose design has been influenced by WS-BPEL, the de facto standard language for...
ESOP
2007
Springer
13 years 10 months ago
2007
Springer
ESOP
2007
Springer
13 years 10 months ago
2007
Springer
Abstract. Service Level Agreements are a key issue in Service Oriented Computing. SLA contracts specify client requirements and service guarantees, with emphasis on Quality of Serv...
ESOP
2007
Springer
13 years 10 months ago
2007
Springer
We propose multi-language synchronization, a novel approach to the problem of migrating code from a legacy language (such as C) to a new language. We maintain two parallel versions...
ESOP
2007
Springer
13 years 10 months ago
2007
Springer
In this paper, we describe the key principles of a dependent type system for low-level imperative languages. The major contributions of this work are (1) a sound type system that c...
ESOP
2007
Springer
13 years 10 months ago
2007
Springer
When students first learn programming, they often rely on a simple operational model of a program’s behavior to explain how particular features work. Because such models build o...