Sciweavers

7892 search results - page 7 / 1579
» Programming with Models
Sort
View
63
Voted
ECOOP
1989
Springer
15 years 5 months ago
A Compositional Model for Software Reuse
Rajendra K. Raj, Henry M. Levy
PLDI
2011
ACM
14 years 5 months ago
Partial-coherence abstractions for relaxed memory models
Michael Kuperstein, Martin T. Vechev, Eran Yahav