Sciweavers

Share
POPL
2000
ACM
9 years 7 months ago
Modular Refinement of Hierarchic Reactive Machines
with existing analysis tools. Modular reasoning principles such as abstraction, compositional refinement, and assume-guarantee reasoning are well understood for architectural hiera...
Rajeev Alur, Radu Grosu
CSL
2003
Springer
9 years 8 months ago
Modular Semantics and Logics of Classes
The semantics of class-based languages can be deļ¬ned in terms of objects only [8, 7, 1] if classes are viewed as objects with a constructor method. One obtains a store in which m...
Bernhard Reus
books