Sciweavers

21342 search results - page 120 / 4269
» A Structured Language Model
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
95
Voted
PLDI
2009
ACM
15 years 9 months ago
Lightweight annotations for controlling sharing in concurrent data structures
Zachary R. Anderson, David Gay, Mayur Naik
105
Voted
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...