19 search results - page 1 / 4 » esop 2006 |
141
Voted
ESOP
2006
Springer
15 years 10 months ago
2006
Springer
119
Voted
ESOP
2006
Springer
15 years 10 months ago
2006
Springer
137
Voted
ESOP
2006
Springer
15 years 10 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...
185
click to vote
ESOP
2006
Springer
15 years 10 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...