Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
45
A Monotonic Superclass Linearization for Dylan
, 1996
"... Object-oriented languages with multiple inheritance and automatic conflict resolution typically
use a linearization of superclasses to determine which version of a property to inherit when
several superclasses provide definitions. Recent work has defined several desirable characteristics
for lineari ..."
Abstract
-
Cited by 32 (0 self)
- Add to MetaCart
Object-oriented languages with multiple inheritance and automatic conflict resolution typically
use a linearization of superclasses to determine which version of a property to inherit when
several superclasses provide definitions. Recent work has defined several desirable characteristics
Genetic Inheritance
, 1996
"... genetic inheritance Accepting multiple inheritance in Object-Oriented Programming as a means to obtain greater simplicity and code reuse, we propose to extend it to , which solves the problem of collisions from several super-classes in a very natural way: allowing the different possibilities to exis ..."
Abstract
- Add to MetaCart
genetic inheritance Accepting multiple inheritance in Object-Oriented Programming as a means to obtain greater simplicity and code reuse, we propose to extend it to , which solves the problem of collisions from several super-classes in a very natural way: allowing the different possibilities
UDC 004.434 Using Customizable Properties to make Object Representation a First-class Citizen
"... Abstract. Many object-oriented programming languages use fields to represent object state. This representation however, cannot be altered sufficiently when subclassing. Moreover, in languages such as Java and C#, proper encapsulation of fields necessitates a lot of boilerplate code. In this paper, w ..."
Abstract
- Add to MetaCart
an object's attributes in ways that equal the possibilities for redefinition of virtual methods in many programming languages, which makes them better suited to deal with unanticipated reuse. Specifically, using our construct, it becomes possible to join several superclass attributes into only one
c ○ 2007 PIPS Flexible Object Representation using Properties
"... Abstract. Many object-oriented programming languages use fields to represent object state. But subclasses cannot alter the representation of an object sufficiently. Because of that, a number of subclassing problems are difficult or impossible to deal with if the superclasses were not designed to ant ..."
Abstract
- Add to MetaCart
with unanticipated reuse. Specifically, using our construct, it becomes possible to join several superclass attributes into only one at the subclass level, conjointly decreasing memory consumption. 1
Representation Inheritance: A Safe Form of "White Box" Code Inheritance
- in Proceedings of the Fourth International Conference on Software Reuse
, 1995
"... Inheritance as a programming language mechanism can be used to achieve several different goals, both in terms of expressing relationships between components and in terms of defining new components "by difference" from existing ones. For defining new component implementations in terms of ex ..."
Abstract
-
Cited by 5 (0 self)
- Add to MetaCart
of existing implementations, there are several approaches to using "code inheritance." Black box code inheritance allows subclasses to reuse superclass implementations as-is, without direct access to their internals. Alternatively, white box code inheritance allows subclasses to have direct access
Efficient Implementation of Java Interfaces: Invokeinterface Considered Harmless
- In Proc. 2001 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications
, 2001
"... Single superclass inheritance enables simple and ecient table-driven virtual method dispatch. However, virtual method table dispatch does not handle multiple inheritance and interfaces. This complication has led to a widespread misimpression that interface method dispatch is inherently inecient. Thi ..."
Abstract
-
Cited by 43 (2 self)
- Add to MetaCart
Single superclass inheritance enables simple and ecient table-driven virtual method dispatch. However, virtual method table dispatch does not handle multiple inheritance and interfaces. This complication has led to a widespread misimpression that interface method dispatch is inherently inecient
Inheritance in Higher Order Logic: Modeling and Reasoning
- Theorem Proving in Higher Order Logics, number 1869 in Lect. Notes Comp. Sci
, 2000
"... This paper describes a way of modeling inheritance (in object-oriented programming languages) in higher order logic. This particular approach is used in the loop project for reasoning about java classes, with the proof tools pvs and isabelle. It relies on nested interface types to capture the superc ..."
Abstract
-
Cited by 15 (9 self)
- Add to MetaCart
the superclasses, fields, methods, and constructors of classes, together with suitable casting functions incorporating the difference between hiding of fields and overriding of methods. This leads to the proper handling of late binding, as illustrated in several verification examples.
An analyzable annotation language
, 2002
"... The Alloy Annotation Language (AAL) is a language (under development) for annotating Java code based on the Alloy modeling language. It offers a syntax similar to the Java Modeling Language (JML), and the same opportunities for generation of run-time assertions. In addition, however, AAL offers the ..."
Abstract
-
Cited by 30 (4 self)
- Add to MetaCart
the possibility of fully automatic compile-time analysis. Several kinds of analysis are supported, including: checking the code of a method against its specification; checking that the specification of a method in a subclass is compatible with the specification in the superclass; and checking properties relating
Index Nesting -- an Efficient Approach to Indexing in Object-Oriented Databases
"... .<F3.733e+05> In object-oriented database systems where the concept of the superclass-subclass is supported, an instance of a subclass is also an instance of its superclass. Consequently, the access scope of a query against a class in general includes the access scope of all its subclasses, un ..."
Abstract
-
Cited by 1 (1 self)
- Add to MetaCart
, unless specified otherwise. An index to support superclass-subclass relationship efficiently must provide efficient associative retrievals of objects from a single class or from several classes in a class hierarchy. This paper presents an efficient index called the hierarchical tree (the H
Decidability of termination for semi-constructor TRSs, left-linear shallow TRSs and related systems
- Proc. of 17th Int’l Conference on Rewriting Techniqes and Applications, Seattle, (RTA2006), LNCS 4098
, 2006
"... We consider several classes of term rewriting systems and prove that termination is decidable for these classes. By showing the cycling property of infinite dependency chains, we prove that termination is decidable for semi-constructor case, which is a superclass of rightground TRSs. By analyzing ar ..."
Abstract
-
Cited by 7 (3 self)
- Add to MetaCart
We consider several classes of term rewriting systems and prove that termination is decidable for these classes. By showing the cycling property of infinite dependency chains, we prove that termination is decidable for semi-constructor case, which is a superclass of rightground TRSs. By analyzing
Results 1 - 10
of
45
