Results 11 to 20 of about 49,126 (246)
Concurrency and distribution in object-oriented programming [PDF]
ACM Computing Surveys, 1998 This paper aims at discussing and classifying the various ways in which the object paradigm is used in concurrent and distributed contexts. We distinguish among the library approach, the integrative approach, and the reflective approach.
Briot, Jean-Pierre +2 more
openaire +4 more sources
Journal of the Brazilian Computer Society, 1998 An approach based on concurrent object oriented programming (COOP) to build a control system for a mobile robot is presented. A behavior-based control system is decomposed in intercommunicating concurrent objects named Agents. These agents belong to five
J.E.M. Xavier, H. Schneebeli
semanticscholar +2 more sources
A programming model for concurrent object-oriented programs [PDF]
ACM Transactions on Programming Languages and Systems, 2008 Reasoning about multithreaded object-oriented programs is difficult, due to the nonlocal nature of object aliasing and data races. We propose a programming regime (or programming model ) that rules out data races, and enables local reasoning in the presence of object aliasing and concurrency.
K. Rustan M. Leino +4 more
openaire +4 more sources
An implementation of the object‐oriented concurrent programming language SINA [PDF]
Software: Practice and Experience, 1989 AbstractSINA is an object‐oriented language for distributed and concurrent programming. The primary focus of this paper is on the object‐oriented concurrent programming mechanisms of SINA and their implementation. This paper presents the SINA constructs for concurrent programming and inter‐object communication, some illustrative examples and a message ...
Mehmet Aksit, Anand Tripathi, E. Berge
openaire +3 more sources
Concurrent Object-Oriented Programming: The MP-Eiffel Approach. [PDF]
The Journal of Object Technology, 2004 In this article a new concurrent object-oriented programming language is presented. This language ‐ named MP-Eiffel (Multi-Processor Eiffel) ‐ is developed as an extension to the sequential object-oriented language Eiffel. This choice is not accidental. Eiffel’s powerful, safe, and simple object-oriented semantics proved to be an excellent framework to
Miguel Oliveira e Silva
openaire +4 more sources
Linking Event-B and Concurrent Object-Oriented Programs
Electronic Notes in Theoretical Computer Science, 2008 AbstractThe Event-B method is a formal approach to modelling systems, using refinement. Initial specification is done at a high level of abstraction; detail is added in refinement steps as the development proceeds toward implementation. In software systems that use concurrent processing it is necessary to provide details of concurrent features before ...
Edmunds A., Butler M.
openaire +4 more sources
Concurrency-aware object-oriented programming with roles [PDF]
Proceedings of the ACM on Programming Languages, 2018 Object-oriented Programming has been effective in reducing code complexity in sequential programs, but in current practice, concurrent programs still present a number of challenges. We present here a model of object-oriented programming that identifies concurrent tasks and the relationship between ...
Thomas R. Gross, Michael Faes
openaire +3 more sources
Concert-Efficient runtime support for concurrent object-oriented programming languages on stock hardware [PDF]
Supercomputing, Proceedings, 1993 V. Karamcheti, A. Chien
semanticscholar +3 more sources
Term graph rewriting as a specification and implementation framework for concurrent object-oriented programming languages [PDF]
Programming Models for Massively Parallel Computers, 1995 R. Banach, G. A. Papadopoulos
semanticscholar +2 more sources
Concurrent Object-Oriented Programming and Petri Nets
Lecture Notes in Computer Science, 2001 G. Agha, F. Cindio, G. Rozenberg
semanticscholar +2 more sources