370 search results - page 2 / 74 » Object-Oriented Abstract State Machines |
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....
JUCS
2008
13 years 5 months ago
2008
COMPSAC
1998
IEEE
13 years 10 months ago
1998
IEEE
Protection is an essential issue for the kind of heterogeneous distributed interoperable object environments, which Java and CORBA are a glimpse of. A uniform protection mechanism...
FM
2005
Springer
13 years 11 months ago
2005
Springer
Abstract Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, and Margus Veanes Microsoft Research, Redmond, WA, USA Abstract. We describe a pract...
DOOD
1997
Springer
13 years 10 months ago
1997
Springer
Abstract. We present a well-founded semantics for deductive objectoriented database (dood) languages by applying the alternating- xpoint characterization of the well-founded model ...