Udo Lipeck. Semantics and Usage of Defaults in Specifications. In Hans-Dieter Ehrich and Joseph A Goguen and Amilcar Sernadas (editors), Foundations of Information Systems Specification and Design. March, 1992. Dagstuhl Seminar 9212 Report 35. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
A Behavioral Notion of Subtyping - Liskov, Wing (1994) (84 citations) (Correct)
....values for royal elephants is a subset of those for regular elephants: invariant e ae :color = blue and hence the abstraction function is into. The situation for albino elephants is similar. This simple example has led others to define a subtyping relation that requires non monotonic reasoning [Lipeck 1992], but we believe it is better to use variability in the supertype specification and straightforward reasoning methods. However, the example shows that a specifier of a type family has to anticipate subtypes and capture the variation among them in the specification of the supertype. The bag type ....
Lipeck, U. 1992. Semantics and usage of defaults in specifications. In Foundations of Information Systems Specification and Design. Dagstuhl Seminar 9212 Report 35.
Family Values: A Behavioral Notion of Subtyping - Liskov, Wing (1994) (1 citation) (Correct)
....abstraction function is into. The situation for albino elephants is similar. In addition, the get color method for elephant is non deterministic but deterministic for royal and albino elephants. This simple example has led others to define a subtyping relation that requires non monotonic reasoning [25], but we believe it is better to use a nondeterministic specification and straightforward reasoning methods. However, the example shows that a specifier of a type family has to anticipate subtypes and capture the variation among them in a nondeterministic specification of the supertype. elephant ....
Udo Lipeck. Semantics and usage of defaults in specifications. In Foundations of Information Systems Specification and Design, March 1992. Dagstuhl Seminar 9212 Report 35.
Behavioral Subtyping Using Invariants and Constraints - Liskov, Wing (1999) (3 citations) (Correct)
....(if there is such a method) can return grey or blue or white, i.e. it is nondeterministic; the subtypes restrict the nondeterminism for this method by defining it to return a specifc color. This simple example has led others to define a subtyping relation that requires non monotonic reasoning [Lip92] but we believe it is better to use variability in the supertype specification and straightforward reasoning methods. However, the example shows that a specifier of a type family has to anticipate subtypes and capture the variation among them in the specification of the supertype. The bag type ....
Lipeck, U. Semantics and usage of defaults in specifications. In Foundations of Information Systems Specification and Design, March 1992. Dagstuhl Seminar 9212 Report 35.
Family Values: A Semantic Notion of Subtyping - Barbara Liskov And (1992) (5 citations) (Correct)
No context found.
Udo Lipeck. Semantics and Usage of Defaults in Specifications. In Hans-Dieter Ehrich and Joseph A Goguen and Amilcar Sernadas (editors), Foundations of Information Systems Specification and Design. March, 1992. Dagstuhl Seminar 9212 Report 35.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC