Modelling features of object-oriented languages in second order functional languages with subtypes

1991 ◽  
pp. 311-340 ◽  
Author(s):  
Giorgio Ghelli
Keyword(s):  
Object Oriented ◽  
Second Order ◽  
Functional Languages ◽  
Object Oriented Languages

Fault-Tolerant Protocols Using Fault-Tolerance Programming Languages

2009 ◽  
pp. 161-174
Author(s):  
Vincenzo De Florio
Keyword(s):  
Fault Tolerance ◽  
Programming Languages ◽  
Programming Language ◽  
Fault Tolerant ◽  
Object Oriented ◽  
Significant Part ◽  
Functional Languages ◽  
Failure Handling ◽  
Run Time ◽  
Object Oriented Languages

The programming language itself is the focus of this chapter: Fault-tolerance is not embedded in the program (as it is the case e.g. for single-version fault-tolerance), nor around the language (through compilers or translators); on the contrary, faulttolerance is provided through the syntactical structures and the run-time executives of fault-tolerance programming languages. Also in this case a significant part of the complexity of dependability enforcement is moved from each single code to the architecture, in this case the programming language. Many cases exist of fault-tolerance programming languages; this chapter proposes a few of them, considering three cases: Object-oriented languages, functional languages, and hybrid languages. In particular it is discussed the case of Oz, a multi-paradigm programming language that achieves both transparent distribution and translucent failure handling.

Operations on records

1991 ◽  
Vol 1 (1) ◽  
pp. 3-48 ◽  
Author(s):  
Luca Cardelli ◽  
John C. Mitchell
Keyword(s):  
Type System ◽  
Lambda Calculus ◽  
Object Oriented ◽  
Order Type ◽  
Second Order ◽  
Typed Lambda Calculus ◽  
Semantic Models ◽  
Object Oriented Languages

We define a simple collection of operations for creating and manipulating record structures, where records are intended as finite associations of values to labels. A second-order type system over these operations supports both subtyping and polymorphism. We provide typechecking algorithms and limited semantic models.Our approach unifies and extends previous notions of records, bounded quantification, record extension, and parametrization by row-variables. The general aim is to provide foundations for concepts found in object-oriented languages, within a framework based on typed lambda-calculus.

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