Sciweavers

21342 search results - page 120 / 4269
» Structured language modeling
Sort
View
ESOP
2006
Springer
15 years 10 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
ECOOP
2004
Springer
16 years 3 days ago
Semantic Casts: Contracts and Structural Subtyping in a Nominal World
Robert Bruce Findler, Matthew Flatt, Matthias Fell...