Results 11 to 20 of about 120,565 (277)
Concurrency-aware object-oriented programming with roles [PDF]
Proceedings of the ACM on Programming Languages, 2018 ISSN:2475 ...
Michael Faes, Thomas R. Gross
+5 more sources
Concurrent object-oriented programming on .NET [PDF]
IEE Proceedings - Software, 2003 The SCOOP model (Simple concurrent object-oriented programming) offers a comprehensive approach to building high-quality concurrent and distributed systems. The model takes advantage of the inherent concurrency implicit in object-oriented programming to provide programmers with a simple extension enabling them to produce concurrent applications with ...
P. Nienaltowski, V. Arslan, B. Meyer
openaire +2 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
José Xavier +1 more
openalex +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.
Bart Jacobs +4 more
openalex +4 more sources
Concert-efficient runtime support for concurrent object-oriented programming languages on stock hardware [PDF]
Supercomputing, Proceedings, 1993 Vijay Karamcheti, Andrew A. Chien
openalex +2 more sources
The heart of object-oriented concurrent programming [PDF]
ACM SIGPLAN Notices, 1988 Concurrency has been with us almost from the beginning of computing. Managing and programming for concurrency is a difficult problem and various solutions have been suggested over the years. Debates on message passing vs. remote procedure call, synchronous vs. asynchronous message passing, bounded vs. unbounded buffers, active vs.
J. C. Lim, R. E. Johnson
+5 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 ...
Andrew Edmunds, Michael Butler
openalex +3 more sources
Actra—an industrial strength concurrent object-oriented programming system [PDF]
OOPSLA/ECOOP '90, 1991 Jeff McAffer, John Duimovich
openalex +2 more sources
Composing concurrent objects [PDF]
, 1994 Adopting the object-oriented paradigm for the development of large and complex software systems offers several advantages, of which increased extensibility and reusability are the most prominent ones.
Bergmans, Louis Marie Johannes
core +25 more sources
Systematic Development of Concurrent Object-Oriented Programs
Electronic Notes in Theoretical Computer Science, 1998 Paulo Borba
openalex +2 more sources