Efficient compilation strategy for object-oriented languages under the closed-world assumption

2012 ◽  
Vol 44 (5) ◽  
pp. 565-592 ◽  
Author(s):  
Benoît Sonntag ◽  
Dominique Colnet
Keyword(s):  
Object Oriented ◽  
Closed World Assumption ◽  
Closed World ◽  
Object Oriented Languages

Generalized Closed World Assumption is II02-Complete

1990 ◽  
Vol 34 (6) ◽  
pp. 289-291 ◽  
Author(s):  
Jan Chomicki ◽  
V.S. Subrahmanian
Keyword(s):  
Closed World Assumption ◽  
Closed World

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