Results 241 to 250 of about 120,565 (277)

A specification logic for concurrent object-oriented programming

Mathematical Structures in Computer Science, 1999
This paper focuses on the use of linear logic as a specification language for the operational semantics of advanced concepts of programming such as concurrency and object-orientation. Our approach is based on a refinement of linear logic sequent calculi based on the proof-theoretic characterization of logic programming.
DELZANNO, GIORGIO, GALMICHE D., MARTELLI, MAURIZIO   +2 more
openaire   +5 more sources

Concurrent Object-Oriented Programming and Petri Nets

Lecture Notes in Computer Science, 2001
Section I.- Object Oriented Modelling with Object Petri Nets.- Using Petri Nets for Specifying Active Objects and Generative Communication.- Object-Oriented Nets with Algebraic Specifications: The CO-OPN/2 Formalism.- CLOWN as a Testbed for Concurrent Object-Oriented Concepts.- Concurrency in Communicating Object Petri Nets.- Object Orientation in ...
G. A. Agha, F. De Cindio, G. Rozenberg
semanticscholar   +4 more sources

Research Directions in Concurrent Object-Oriented Programming

1993
This collection of original research provides a comprehensive survey of developments at the leading edge of concurrent object-oriented programming. It documents progress—from general concepts to specific descriptions—in programming language design, semantic tools, systems, architectures, and applications.
G. Agha, P. Wegner, A. Yonezawa
openaire   +2 more sources

Concurrent object-oriented programming with agent-oriented abstractions

Proceedings of the 2013 workshop on Programming based on actors, agents, and decentralized control, 2013
A long-standing problem in concurrent object-oriented programming is finding a sound and effective way to integrate active entities - being them actors, active objects, processes - with plain passive objects. Even if the problem is quite old, this is still an open issue: different kinds of approaches have been proposed in literature - also recently ...
RICCI, ALESSANDRO, Andrea Santi
openaire   +3 more sources

Classifying inheritance mechanisms in concurrent object-oriented programming

European Conference on Object-Oriented Programming, 1998
Inheritance is one of the key concepts in object-oriented programming. However, the usefulness of inheritance in concurrent object-oriented programming is greatly reduced by the problem of inheritance anomaly. Inheritance anomaly is manifested by undesirable re-definitions of inherited code.
Lobel Crnogorac, Anand S. Rao, Kotagiri Ramamohanarao   +2 more
openaire   +2 more sources

BCOOPL: Basic concurrent object-oriented programming language

Software: Practice and Experience, 2000
H. D. Bruin
openaire   +3 more sources

Object-Oriented Concurrent Programming in CST

Proceedings of the third conference on Hypercube concurrent computers and applications Architecture, software, computer systems, and general issues -, 1988
CST is a programming language based on Smalltalk-80 that supports concurrency using locks, asynchronous messages, and distributed objects. Distributed objects have their state distributed across many nodes of a machine, but are referred to by a single name.
Andrew A. Chien, William J. Dally
openaire   +2 more sources

Object-Oriented Concurrent Programming in ABCL/1

ACM SIGPLAN Notices, 1986
An object-oriented computation model is presented which is designed for modelling and describing a wide variety of concurrent systems. In this model, three types of message passing are incorporated. An overview of a programming language called ABCL/1, whose semantics faithfully reflects this computation model, is also presented.
Yonezawa, Akinori, Briot, Jean-Pierre, Shibayama, Etsuya   +2 more
openaire   +1 more source

Concurrent object-oriented programming with agents

Proceedings of the 2013 companion publication for conference on Systems, programming, & applications: software for humanity, 2013
ALOO is a novel approach to Concurrent Object-Oriented Programming, integrating plain old objects with concurrency through the adoption of agent-oriented first-class abstractions.
RICCI, ALESSANDRO, Andrea Santi
openaire   +2 more sources

Object oriented programming in Concurrent Prolog

New Generation Computing, 1983
It is shown that the basic operations of object-oriented programming languages — creating an, object, sending and receiving messages, modifying an object’s state, and forming class-superclass hierarchies — can be implemented naturally in Concurrent Prolog. In addition, a new object-oriented programming paradigm, called incomplete messages, is presented.
Ehud Shapiro, Akikazu Takeuchi
openaire   +1 more source