Sciweavers

19 search results - page 1 / 4
» esop 2006
Sort
View
ESOP
2006
Springer
14 years 2 months ago
Approaches to Polymorphism in Classical Sequent Calculus
Alexander J. Summers, Steffen van Bakel
ESOP
2006
Springer
14 years 2 months ago
A Basic Contract Language for Web Services
We design a schema language that includes channel schemas with capabilities of input, output, and input-output. These schemas may describe documents containing references to operat...
Samuele Carpineti, Cosimo Laneve
ESOP
2006
Springer
14 years 2 months ago
Types for Dynamic Reconfiguration
We define a core language combining computational and architectural primitives, and study how static typing may be used to ensure safety properties of component composition and dyn...
João Costa Seco, Luís Caires