The ClassiC programming language and design of synchronous concurrent 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.

Download Full-text

SC-EXPRESSIONS IN OBJECT-ORIENTED LANGUAGES

International Journal of Foundations of Computer Science ◽

10.1142/s0129054107005479 ◽

2007 ◽

Vol 18 (06) ◽

pp. 1441-1452

Author(s):

SHENG YU ◽

QING ZHAO

Keyword(s):

Parallel Programming ◽

Programming Language ◽

Object Oriented ◽

Automata Theory ◽

Basic Ideas ◽

Basic Features ◽

Synchronization Constraints ◽

Object Oriented Languages ◽

Parallel Programming Language

In this paper, SC-expressions are developed, based on automata theory, for specifying synchronization constraints in parallel object-oriented languages. The predecessor of SC-expressions, the synchronization expressions, was introduced in the ParC parallel programming language in the early nineties [19]. However, ParC is not an object-oriented language and also a number of basic features of synchronization expressions are inadequate for object-oriented languages. SC-expressions are developed for object-oriented environment. They are different from synchronization expressions in basic ideas and assumptions. Here we describe the basic ideas of SC-expressions and their applications in object-oriented languages. We also study the problem of inheritance of the SC-expressions.

Download Full-text

PROLOG

Encyclopedia of Information Science and Technology, Second Edition ◽

10.4018/978-1-60566-026-4.ch502 ◽

2011 ◽

pp. 3147-3151

Author(s):

Bernie Garrett

Keyword(s):

Artificial Intelligence ◽

Knowledge Representation ◽

Programming Language ◽

Object Oriented ◽

Declarative Language ◽

Common Object ◽

Computer Languages ◽

The Past ◽

Object Oriented Languages

Prolog is a logic based programming language, and was developed in the early 1970s and is a practical programming language particularly useful for knowledge representation and artificial intelligence (AI) applications. Prolog is different from many common computer languages in that it is not a procedural language (such as Basic, C, or Java). It is an interpreted logic based declarative language and as such has no loops, jumps, type declarations or arrays, and no fixed control constructs. In the past this has led to the impression that Prolog is a restricted language, useful only for highly specialized programming tasks by enthusiasts (Callear, 1994; Krzysztof, 1997). However, this is not the case and modern versions of Prolog are well equipped and versatile, and can be used for any programming task. The latest generations of the language (e.g., Visual Prolog) can also be integrated into more common object oriented languages.

Download Full-text

What Object-Oriented Programming May Be: - and What It Does Not Have to Be

DAIMI Report Series ◽

10.7146/dpb.v18i273.7627 ◽

1989 ◽

Vol 18 (273) ◽

Author(s):

Ole Lehrmann Madsen ◽

Birger Møller-Pedersen

Keyword(s):

Conceptual Framework ◽

Programming Language ◽

Object Oriented ◽

Object Oriented Programming ◽

Language Constructs ◽

Object Oriented Languages

A conceptual framework for object-oriented programming is presented. The framework is independent of specific programming language constructs. It is illustrated how this framework is reflected in an object-oriented language and the language mechanisms are compared with the corresponding elements of other object-oriented languages. Main issues of object-oriented programming are considered on the basis of the framework presented here.

Download Full-text

Strong typing of object-oriented languages revisited

DAIMI Report Series ◽

10.7146/dpb.v19i326.6716 ◽

1990 ◽

Vol 19 (326) ◽

Author(s):

Ole Lehrmann Madsen ◽

Boris Magnusson ◽

Birger Møller-Pedersen

Keyword(s):

Programming Language ◽

Type System ◽

Object Oriented ◽

Language Design ◽

Type Checking ◽

Programming Language Design ◽

Dynamic Type ◽

Language Construct ◽

Object Oriented Languages

This paper is concerned with the relation between subtyping and subclassing and their influence on programming language design. Traditionally subclassing as introduced by Simula has also been used for defining a hierarchical type system. The type system of a language can be characterized as strong or weak and the type checking mechanism as static or dynamic. Parameterized classes in combination with a hierarchical type-system is an example of a language construct that is known to create complicated type checking situations. In this paper these situations are analyzed and several different solutions are found. It is argued that an approach with a combination of static and dynamic type checking gives a reasonable balance also here. It is also concluded that this approach makes it possible to base the type system on the class/subclass mechanism.

Download Full-text

Object-Oriented Visual Programming Language. Phase 1.

10.21236/ada300020 ◽

1995 ◽

Author(s):

Douglas J. Davenport

Keyword(s):

Programming Language ◽

Phase 1 ◽

Object Oriented ◽

Visual Programming ◽

Visual Programming Language

Download Full-text

Digital Image Processing for Detecting and Classifying Plant Diseases

Circulation in Computer Science ◽

10.22632/ccs-2017-252-66 ◽

2017 ◽

Vol 2 (11) ◽

pp. 1-7

Author(s):

Izay A. ◽

Onyejegbu L. N.

Keyword(s):

Image Processing ◽

Fuzzy Logic ◽

Programming Language ◽

Design Methodology ◽

Fuzzy Logic Controller ◽

Object Oriented ◽

Plant Diseases ◽

Analysis And Design ◽

Crop Diseases ◽

Growing Population

Agriculture is the backbone of human sustenance in this world. With growing population, there is need for increased productivity in agriculture to be able to meet the demands. Diseases can occur on any part of a plant, but in this paper only the symptoms in the fruits of a plant is considered using segmentation algorithm and edge/ sizing detectors. We also looked at image processing using fuzzy logic controller. The system was designed using object oriented analysis and design methodology. It was implemented using MySQL for the database, and PHP programming language. This system will be of great benefit to farmers and will encourage them in investing their resources since crop diseases can be detected and eliminated early.

Download Full-text