82 search results - page 1 / 17 » Abstract Interface Behavior of Object-Oriented Languages wit... |
FMOODS
2006
13 years 6 months ago
2006
Interface Behavior of Object-Oriented Languages with Monitors Erika
FLOPS
2006
Springer
13 years 9 months ago
2006
Springer
Functional reactive programming integrates dynamic dataflow with functional programming to offer an elegant and powerful model for expressing computations over time-varying values....
ENTCS
2008
13 years 5 months ago
2008
Object orientation and component-based development have both proven useful for the elaboration of open distributed systems. These paradigms are offered by the Creol language. Creo...
CORR
2002
Springer
13 years 5 months ago
2002
Springer
for data abstraction and justifies reasoning by simulation. Representation independence has been shown for a variety of languages and constructs but not for shared references to mu...
PPDP
2005
Springer
13 years 11 months ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...