19 search results - page 1 / 4 » esop 2006 |
ESOP
2006
Springer
14 years 2 months ago
2006
Springer
ESOP
2006
Springer
14 years 2 months ago
2006
Springer
ESOP
2006
Springer
14 years 2 months ago
2006
Springer
ESOP
2006
Springer
14 years 2 months ago
2006
Springer
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...
ESOP
2006
Springer
14 years 2 months ago
2006
Springer
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...