28 search results - page 2 / 6 » A Stable Model Semantics for Behavioral Inheritance in Deduc... |
DOOD
1997
Springer
13 years 11 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 ...
HICSS
2005
IEEE
14 years 9 days ago
2005
IEEE
— This paper considers a formal object-oriented model for distributed computing. Object orientation appears as a leading framework for concurrent and distributed systems. However...
OOPSLA
1989
Springer
13 years 10 months ago
1989
Springer
This paper presents a denotational model of inheritance. The model is based on an intuitive motivation of inheritance as a mechanism for deriving modified versions of recursive d...
EWDW
1990
13 years 10 months ago
1990
The formal description of the semantics of object-oriented data models is still an open problem. Some characteristic features of object-oriented data models, such as methods and i...
ICCL
1994
IEEE
13 years 10 months ago
1994
IEEE
This paper presents a model of concurrent objectoriented programming in which specification of computational behavior is separated from specification of interaction behavior of me...