Search Results - Concurrent object-oriented programming~

Channels as Objects in Concurrent Object-Oriented Programming by Campos, Joana, Vasconcelos, Vasco T.

“… adherence against the sought class behaviour. We have defined a class-based concurrent object-oriented language that formalises such protocols in the form of usage types…”
Get full text

BCOOPL: Basic concurrent object-oriented programming language by de Bruin, Hans

“…A small, object‐oriented language is introduced: BCOOPL (Basic Concurrent Object…”
Get full text

Concurrent object-oriented programming by Meyer, B.

Get full text

Channels as Objects in Concurrent Object-Oriented Programming by Campos, Joana, Vasconcelos, Vasco T

“… adherence against the sought class behaviour. We have defined a class-based concurrent object-oriented language that formalises such protocols in the form of usage types…”
Get full text

Dynamic detection of atomic-set-serializability violations by Hammer, C., Dolby, J., Vaziri, M., Tip, F.

“… are declared. We also proposed atomic-set serializability as a correctness criterion for concurrent programs, stating that units of work must be serializable for each atomic set…”
Get full text

Narrowing and heuristic search for symbolic reachability analysis of concurrent object-oriented systems by Kang, Byeongjee, Bae, Kyungmin

“… explosion problem and implicit constraints imposed on object-oriented systems. This paper proposes a heuristic search approach for narrowing-based reachability analysis to guide the search for counterexamples with a small number of objects…”
Get full text

On the Benefits of Using Object-Oriented Programming for the Objective Evaluation of Vehicle Dynamic Performance in Concurrent Simulations by Perrelli, Michele, Cosco, Francesco, Carbone, Giuseppe, Lenzo, Basilio, Mundo, Domenico

“…Assessing passenger cars’ dynamic performance is a critical aspect for car industries, due to its impact on the overall vehicle safety evaluation and the…”
Get full text

An efficient and flexible C++ library for concurrent programming by Poggi, Agostino, Rimassa, Giovanni

“…A major problem for the integration of concurrency in object‐oriented languages is the so…”
Get full text

Evaluating high level parallel programming support for irregular applications in ICC++ by Chien, Andrew A., Dolby, Julian, Gangul, Bishwaroop, Karamcheti, Vijay, Zhang, Xingbin

“…‐level concurrent object‐oriented programming model) and an aggressive implementation (whole program compilation plus microsecond threading and communication primitives in the runtime…”
Get full text

Concurrent object-oriented programming for distributed real-time systems by Katsumi Maruyama

“…Concurrent object-oriented programming is becoming an important programming paradigm in real-time system implementations, because it can effectively integrate object-oriented programming, concurrent…”
Get full text

Visual Programming of Concurrent Object-Oriented Systems by PHILIPPI, STEPHAN

“… Despite their potential, only few of the existing object-oriented Petri-Net proposals support the seamless development of systems ranging from high-level analysis to visual programming…”
Get full text

Concurrent object-oriented programming using term graph rewriting techniques by Papadopoulos, George A.

“…The generalized computational model of Term Graph Rewriting Systems is used as the basis for expressing concurrent object-oriented programming techniques exploiting the fine grain highly parallel…”
Get full text

Clear separation and combination of synchronization constraint for concurrent object oriented programming by Yasutake, Y., Masuyama, Y., Oda, K., Yoshida, T.

“…This paper presents a language framework for a concurrent description and an implementation of a synchronization mechanism in distributed object-oriented computation…”
Get full text

Concurrent object-oriented programming for distributed real-time systems : Parallel object-oriented programming by MARUYAMA, K

Get full text

A semantics comparison workbench for a concurrent, asynchronous, distributed programming language by Corrodi, Claudio, Heußner, Alexander, Poskitt, Christopher M.

“…—potentially affecting behavioural and safety properties of existing programs. This is exemplified by Scoop , a message-passing approach to concurrent object-oriented…”
Get full text

Concert-efficient runtime support for concurrent object-oriented programming languages on stock hardware by Karamcheti, V., Chien, A.

“…Inefficient implementations of global namespaces, message passing, and thread scheduling on stock multicomputers have prevented concurrent object-oriented programming (COOP…”
Get full text

A Comparative Study of the Usability of Two Object-oriented Concurrent Programming Languages by Nanz, Sebastian, Torshizi, Faraz, Pedroni, Michela, Meyer, Bertrand

“… expert. Language designers are therefore working on languages that promise to make concurrent programming "easier" than using traditional thread libraries…”
Get full text

The ClassiC programming language and design of synchronous concurrent object oriented languages by Newman, R.M

“…Many real-time systems make use of concurrent programming systems and are often designed using object oriented design methods…”
Get full text

Beyond contracts for concurrency by Ostroff, Jonathan S., Torshizi, Faraz Ahmadi, Huang, Hai Feng, Schoeller, Bernd

“…SCOOP is a concurrent programming language with a new semantics for contracts that applies equally well in concurrent and sequential contexts…”
Get full text

Semantic Interpreter for Modern Communication Abstractions in Concurrent Object-Oriented Programming by Todoran, E.N., Gherman, N.

“…In this paper we present a semantic interpreter which implements a dynamic denotational semantics for a small experimental concurrent object-oriented language that we call JoPool…”
Get full text