Reconciling Subtyping and Code Reuse in Object-Oriented Languages: Using inherit and insert in SmartEiffel, the GNU Eiffel Compiler

2006 ◽  
pp. 203-216 ◽  
Author(s):  
Dominique Colnet ◽  
Guillem Marpons ◽  
Frederic Merizen
Keyword(s):  
Object Oriented ◽  
Code Reuse ◽  
Object Oriented Languages

scholarly journals Genericity and inheritance

1990 ◽  
Vol 19 (318) ◽  
Author(s):  
Jens Palsberg ◽  
Michael I. Schwartzbach
Keyword(s):  
Object Oriented ◽  
Orthogonal Basis ◽  
Code Reuse ◽  
Novel Model ◽  
Type Substitution ◽  
Object Oriented Languages

We present <em>type substitution</em> as a new genericity mechanism for object-oriented languages. It is a subclassing concept on the same footing as inheritance, and is more flexible than parameterized classes. We prove that type substitution and inheritance together form an orthogonal basis for a general subclass relation that captures type-safe code reuse. Thus, genericity and inheritance are independent, complementary components of a unified concept. Our result is obtained in a novel model of classes which encompasses classes as types and assignments.

scholarly journals An algebraic approach to the design of compilers for object-oriented languages

2009 ◽  
Vol 22 (5) ◽  
pp. 489-535 ◽  
Author(s):  
Adolfo Duran ◽  
Ana Cavalcanti ◽  
Augusto Sampaio
Keyword(s):  
Algebraic Approach ◽  
Object Oriented ◽  
Object Oriented Languages

Extending object-oriented languages with backward error recovery integrated support

2010 ◽  
Vol 36 (2) ◽  
pp. 123-141 ◽  
Author(s):  
Daniel Fernández Lanvin ◽  
Raúl Izquierdo Castanedo ◽  
Aquilino Adolfo Juan Fuente ◽  
Alberto Manuel Fernández Álvarez
Keyword(s):  
Object Oriented ◽  
Error Recovery ◽  
Backward Error ◽  
Object Oriented Languages

HyperGear: An Object Oriented Design Program for Single Stage Gear Box Design

1991 ◽  
Author(s):  
Gary A. Gabriele ◽  
Agustî Maria I. Serrano
Keyword(s):  
Computer Aided Design ◽  
Object Oriented ◽  
Design Tool ◽  
Single Stage ◽  
Design Tools ◽  
Object Oriented Design ◽  
Computer Aided ◽  
Gear Box ◽  
Aided Design ◽  
Object Oriented Languages

Abstract The need for superior design tools has lead to the development of better and more complex computer aided design programs. Two of the more important new developments in application tools being investigation are Object Oriented Languages, and HyperMedia. Object Oriented Languages allow the development of CAD tools where the parts being designed and the design procedures specified are conceptualized as objects. This allows for the development of design aids that are non-procedural and more readily manipulated by the user trying to accomplish a design task. HyperMedia allows for the easy inclusion of many different types of data, such as design charts and graphs, into the tool that are normally difficult to include in design tools programmed with more conventional programming languages. This paper explores the development of a computer aided design tool for the design of a single stage gear box using the development HyperCard® environment and the HyperTalk® programming language. The resulting program provides a user friendly interface, the ability to handle several kinds of design information including graphic and textual, and a non-procedural design tool to help the user design simple, one stage gear boxes. Help facilities in the program make it suitable for undergraduate instruction in a machine elements design course.

scholarly journals Decoupling Web Services from the Transistor in Expert Systems

2019 ◽  
Vol 8 (9S3) ◽  
pp. 893-897
Keyword(s):  
World Wide Web ◽  
Web Services ◽  
Expert Systems ◽  
Complexity Theory ◽  
World Wide ◽  
Object Oriented ◽  
The World ◽  
Object Oriented Languages

Replication [7] must work. In fact, few cyberneticists would disagree with the signifi-cant unification of the lookaside buffer and I/O automata, which embodies the practi-cal principles of Bayesian complexity theory. In order to solve this question, we describe a novel methodology for the deployment of object-oriented languages (YAMP), discon-firming that the World Wide Web and robots can collude to realize this intent.

Sign in / Sign up

Export Citation Format

Share Document