K.B. Bruce and P. Wegner. An Algebraic Model of Subtypes in Object-Oriented Languages (Draft). In ACM SIGPLAN Notices. October, 1986. Object-Oriented Programming Workshop.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....is relevant to environments with many concurrent active objects. Nested transactions are available in the Argus system. See also papers on concurrency and reliability. Gray81 Lamp81 Moss81 Moss82 Moss83] Types: Various papers dealing with data types. See also papers on data abstraction. [Alle86 Bruc86 Card85b Grie77 Inga86 Wall80 Zdon86b] UIMS: How object oriented ideas can be applied in the development of user interfaces. Fium83] 5 Unreferenced. The following list includes systems and work for which no references have yet been found. ARCHONS: Contact Doug Jensen at CMU. ARPA: jensen cmu cs a. Demeter: Tool for generating ....

K.B. Bruce and P. Wegner, "An Algebraic Model of Subtypes in Object-Oriented Languages", ACM SIGPLAN Notices, vol. 21, no. 10, pp. 163-172, Oct 1986.

....What is wanted here is something like the following substitution property [6] If for each object o 1 of type S there is an object o 2 of type T such that for all programs P defined in terms of T, the behavior of P is unchanged when o 1 is substituted for o 2 , then S is a subtype of T. See also[2], 17] for other work in this area. We are using the words subtype and supertype here to emphasize that now we are talking about a semantic distinction. By contrast, subclass and superclass are simply linguistic concepts in programming languages that allow programs to be built in a ....

Bruce, K., and Wegner, P. "An Algebraic Model of Subtypes in Object-Oriented Languages (Draft)". SIGPLAN Notices 21, 10 (October 1986).

.... examples of recent work include the combination between the object oriented paradigm and other well known paradigms like the functional paradigm [28] and the deductive database paradigm [36] More specific work is also going on which is related, for instance, to the formalization of inheritance [3,5,12], extensions to accomodate concurrency and distribution 4 J.FIADEIRO, C.SERNADAS, T.MAIBAUM AND G.SAAKE [4] and to giving denotational semantics to object oriented languages [31,47,55] Actually, the work reported herein is also part of an integrated research effort on object oriented ....

....but not in specifications built by particularisation. In line with what we have done in the previous section, the problem of inheritance for the data component of specifications will not be addressed. Many formal accounts of inheritance for abstract data types may be found in the literature, eg [5]. We shall concentrate herein on the inheritance of state (attributes) and behaviour (events) 4.1. The inheritance construct The syntax for inheritance expressions is as follows inheritance = object id inheriting list arguments body end list arguments = argument argument list arguments ....

K.Bruce and P.Wegner, "An Algebraic Model of Subtypes in Object-Oriented Languages", SIGPLAN Notices 21(10), ACM 1986, 163-172

....be a subtype of fat set in these approaches) The emphasis on semantics of abstract types is a prominent feature of the work by Leavens. In his Ph.D. thesis [21] Leavens defines types in terms of algebras and subtyping in terms of a simulation relation between them. The work by Bruce and Wegner [4] is similar; like Leavens, they base their work on algebras. Leavens considered only immutable types. Dhara [10, 11, 23] extends Leavens thesis work to deal with mutable types, but rules out the cases where extra methods cause problems; the rules are defined just for individual programs that have ....

K.B. Bruce and P. Wegner. An algebraic model of subtypes in object-oriented languages (draft). In ACM SIGPLAN Notices, volume 21, October 1986. Object-Oriented Programming Workshop.

....example, an object is not available at a particular time. Type checking however guarantees that there will be no run time errors due to typing errors in the distributed program. 6 techniques have found particular application in distributed object oriented languages. The concept of subtyping 5 [24] has emerged along with abstract data types as the fundamental building blocks of distributed object oriented systems[25,# 26] The Role of Inheritance Inheritance has often been considered to be the principal feature of object oriented systems. However, distributed object oriented languages have ....

Bruce, K.M., and P. Wegner, "An Algebraic Model of Subtypes in Object-Oriented Languages", SIGPLAN Notices Vol: 21 No.: 10, 1986,

....supertypes. In this paper the interpretation is given by specifying a simulation function, which is a mapping from the abstract values of a subtype to those of its supertypes. The use of such functions dates back to Hoare s work [7] and has been used in the context of subtyping by other authors [15, 2, 1, 12]. If all the subtypes used in a program are behavioral subtypes, the technique of supertype abstraction can be used for modular verification of OO programs [10] Supertype abstraction uses static types of variables to reason about code and restricts the runtime types of variables to be ....

Kim B. Bruce and Peter Wegner. An algebraic model of subtypes in object-oriented languages (draft). ACM SIGPLAN Notices, 21(10), October 1986.

....supertypes. In this paper the interpretation is given by specifying simulation function, which are mappings from the abstract values of a subtype to those of its supertypes. The use of such functions dates back to Hoare s work [8] and has been used in the context of subtyping by other authors [17, 2, 1, 14]. If all the subtypes used in a program are behavioral subtypes, the technique of supertype abstraction can be used for modular verification of OO programs [12] Supertype abstraction uses static types of variables to reason about code and restricts the runtime types of variables to be behavioral ....

Kim B. Bruce and Peter Wegner. An algebraic model of subtypes in object-oriented languages (draft). ACM SIGPLAN Notices, 21(10), October 1986.

.... types and polymorphism in programming languages; a survey of the underlying theory is presented in [Mit90] A major aspect of recent research in type systems in programming languages as well as databases has been the modeling of subtypes and inheritance known from object oriented programming (e.g. [Ca84, BrW86]) In [CaW85] it is also shown how parametric polymorphism viewed as universal quantification over all types can be integrated with subtype polymorphism [Ca84] viewed as bounded quantification over all subtypes of a given type. Closer yet to our work is the proposal of a three level type structure ....

Bruce, K.B., and P. Wegner, An Algebraic Model of Subtypes in Object-Oriented Languages. SIGPLAN Notices 21 (1986), 163-172.

....supertypes. In this paper the interpretation is given by specifying simulation function, which are mappings from the abstract values of a subtype to those of its supertypes. The use of such functions dates back to Hoare s work [8] and has been used in the context of subtyping by other authors [16, 2, 1, 13]. If all the subtypes used in a program are behavioral subtypes, the technique of supertype abstraction can be used for modular verification of OO programs [11] Supertype abstraction uses static types of variables to reason about code and restricts the runtime types of variables to be behavioral ....

Kim B. Bruce and Peter Wegner. An algebraic model of subtypes in object-oriented languages (draft). ACM SIGPLAN Notices, 21(10), October 1986.

No context found.

K.B. Bruce and P. Wegner. An Algebraic Model of Subtypes in Object-Oriented Languages (Draft). In ACM SIGPLAN Notices. October, 1986. Object-Oriented Programming Workshop.

No context found.

Kim Bruce, Peter Wegner. An Algebraic Model of Subtypes in Object-Oriented Languages (Draft). ACM SIGPLAN Notices 21(10):163-172, October 1986.

No context found.

K.Bruce, and P.Wegner, "An Algebraic Model of Subtypes in Object-Oriented Languages", SIGPLAN Notices 21(10), ACM, 1986, 163-172

No context found.

Bruce, K.M., and P. Wegner. "An Algebraic Model of Subtypes in Object-oriented Languages." SIGPLAN Notices Vol. 21 No. 10, 1986.

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