Results 221 to 230 of about 49,126 (246)

Transactions for concurrent object-oriented programming systems

ACM SIGPLAN Notices, 1988
Concurrent object-oriented programming systems (COOPS) require support for fault tolerance, concurrency control, consistent commitment of changes and program-initiated rollback. It is sometimes suggested that the classical transaction processing model successfully applied in databases and operating systems be integrated directly into COOPS
openaire   +2 more sources

A concurrent object-oriented switching program in Chill

IEEE Communications Magazine, 1991
A switching program structure that is expandable to allow inclusion of new service features and functions with minimum effort during run time, adaptable to handle enhanced services, allows new services to be added quickly, and is highly reliable, is proposed.
T. Kai, K. Maruyama, Keiichi Koyanagi, N. Watanabe, Shuji Tomita   +4 more
openaire   +2 more sources

An approach to verify concurrent object-oriented programs

2010 3rd International Conference on Advanced Computer Theory and Engineering(ICACTE), 2010
Today, object-oriented methodologies are widely used for developing concurrent distributed systems. There are many well-known object-oriented methodologies and techniques to develop concurrent distributed systems. However, such systems are likely to have bugs. Hence, verification plays an important role in this context.
Reza Rafeh, Shahrbanoo Zangaraki
openaire   +2 more sources

Visual Programming of Concurrent Object-Oriented Systems

Journal of Visual Languages & Computing, 2001
In order to be able to understand the functionality of even small concurrent systems, visual and formally-based notations for their description are needed. The handling of complex systems additionally demands for notations offering adequate structuring capabilities.
openaire   +2 more sources

Type-theoretic foundations for concurrent object-oriented programing

ACM SIGPLAN Notices, 1994
A number of attempts have been made to obtain type systems for object-oriented programming. The view that lies common is “ object-oriented programming = λ-calculus + record .” Based on an analogous view “ concurrent object-oriented programming = concurrent calculus + record ,” we develop a ...
YonezawaAkinori, KobayashiNaoki
openaire   +3 more sources

A reduction theorem for concurrent object-oriented programs [PDF]

, 2003
A typical execution of a concurrent program is an interleaving of the threads of its components. It is well known that the net effect of a concurrent execution may be quite different from the serial executions of its components. In this paper we introduce a programming notation for concurrent object-oriented programs, called Seuss, and show that ...
openaire   +1 more source

CHESSBOARD: A synergy of object-oriented concurrent programming and program layering [PDF]

, 1996
Language support to enable programming by contract offers a systematic approach to the development and verification of object oriented programs [M93]. An object behavior is locally defined in terms of obligations (preconditions) and benefits (postconditions).
Baoling S. Sheen, Novak V. Nastasic, Tzilla Elrad   +2 more
openaire   +1 more source

Concurrent object-oriented programming in Tempo++

1996
This paper describes Tempo++, a concurrent programming language which combines logic programming and object-oriented programming. Tempo++ improves on traditional concurrent logic programming languages (e.g. Parlog, KL1) and their object-oriented extensions (e.g. Polka) by explicitly specifying the safety properties of programs.
openaire   +2 more sources

Research directions in concurrent object-oriented programming

, 1993
G. Agha, P. Wegner, A. Yonezawa
semanticscholar   +1 more source

Inheritance of Synchronization Constraints in Concurrent Object-Oriented Programming Languages

European Conference on Object-Oriented Programming, 1992
Svend Frølund
semanticscholar   +1 more source