Sciweavers

21342 search results - page 120 / 4269
» Structured language modeling
Sort
View
ESOP
2006
Springer
15 years 6 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
PLDI
2004
ACM
15 years 8 months ago
Array regrouping and structure splitting using whole-program reference affinity
Yutao Zhong, Maksim Orlovich, Xipeng Shen, Chen Di...
ECOOP
2004
Springer
15 years 8 months ago
Semantic Casts: Contracts and Structural Subtyping in a Nominal World
Robert Bruce Findler, Matthew Flatt, Matthias Fell...