• Pict

  • Referenced in 70 articles [sw08929]
  • higher-order programming, selective communication, and concurrent objects. The type system integrates a number...
  • ABS

  • Referenced in 26 articles [sw21211]
  • advanced concurrency and synchronization mechanisms for concurrent object groups with a functional language for modeling ... cooperative scheduling of method activations inside concurrent objects. This feature combination results in a concurrent...
  • Ada95

  • Referenced in 129 articles [sw01753]
  • structured, statically typed, imperative, wide-spectrum, and object-oriented high-level computer programming language, extended ... support for explicit concurrency, offering tasks, synchronous message passing, protected objects, and non-determinism...
  • PMaude

  • Referenced in 29 articles [sw08422]
  • Probabilistic Object Systems. We introduce a rewrite-based specification language for modelling probabilistic concurrent ... protocols can be modelled using actors (concurrent objects with asynchronous message passing), we provide...
  • Bandera

  • Referenced in 134 articles [sw07663]
  • tool set to model-check properties of concurrent Java software. The Bandera Tool ... Java lock objects. par In this tutorial paper, we use a simple concurrent Java program...
  • JCobox

  • Referenced in 15 articles [sw21212]
  • JCoBox: Generalizing active objects to concurrent components. JCoBox is a programming language, which extends Java ... novel programming concept for distributed, concurrent object-oriented software, developed in our group. CoBoxes ... generalization of active objects to concurrently running groups of objects with multiple cooperative tasks ... latest paper: JCoBox: From Active Objects to Concurrent Components. Or you can start with...
  • Creol

  • Referenced in 25 articles [sw09421]
  • safe object-oriented model for distributed concurrent systems. Object-oriented distributed computing is becoming increasingly...
  • SACO

  • Referenced in 8 articles [sw21209]
  • SACO: Static analyzer for concurrent objects. We present the main concepts, usage and implementation ... SACO, a static analyzer for concurrent objects. Interestingly, SACO is able to infer both liveness ... deadlock freedom) of programs based on concurrent objects. The system integrates auxiliary analyses such...
  • SpiCO

  • Referenced in 9 articles [sw10691]
  • stochastic pi calculus for concurrent objects. We present SpiCO, a new modeling and simulation language ... higher level modeling via multi-profile concurrent objects with static inheritance. We present a semantics...
  • VeriCool

  • Referenced in 10 articles [sw09749]
  • VeriCool: An Automatic Verifier for a Concurrent Object-Oriented Language. Reasoning about object-oriented programs ... data abstraction and framing. Reasoning about concurrent object-oriented programs is even harder, since ... approach to the automatic verification of concurrent Java-like programs. The cornerstone of the approach ... memory locations protected by an object’s lock. In addition, we combine the model with...
  • ABCL

  • Referenced in 14 articles [sw28079]
  • ABCL: An Object-oriented Concurrent System. This book provides an overview of the new paradigm...
  • PROCOL

  • Referenced in 8 articles [sw02535]
  • PROCOL. A concurrent object-oriented language with protocols delegation and constraints PROCOL is an object ... with distributed delegation. It strongly supports concurrency: many objects may be active simultaneously, they execute...
  • DIEGO

  • Referenced in 13 articles [sw02178]
  • means for DIstributed programming with Encapsulated Graph Objects. Their operational semantics definition follows the lines ... specification of distributed systems with concurrently interacting objects. Adapting previously made proposals for a graph...
  • JoCaml

  • Referenced in 25 articles [sw02065]
  • Objective Caml language. It extends OCaml with support for concurrency and synchronization, the distributed execution...
  • Oz

  • Referenced in 113 articles [sw06799]
  • level programming language combining constraint inference with concurrency. Typical application areas of Oz include optimization ... typed and has first-class procedures, classes, objects, exceptions and sequential threads synchronizing over...
  • CoopnBuilder

  • Referenced in 5 articles [sw04383]
  • integrated development environment (IDE) for Concurrent Object Oriented Petri Nets (COOPN). It comes with...
  • Mozart

  • Referenced in 20 articles [sw04759]
  • which supports declarative programming, object-oriented programming, constraint programming, and concurrency as part...
  • PostgreSQL

  • Referenced in 68 articles [sw15935]
  • also supports storage of binary large objects, including pictures, sounds, or video. It has native ... boasts sophisticated features such as Multi-Version Concurrency Control (MVCC), point in time recovery, tablespaces...
  • KOOL

  • Referenced in 7 articles [sw32263]
  • Analysis. This paper presents KOOL, a concurrent, dynamic, object-oriented language defined in rewriting logic...
  • simpA

  • Referenced in 7 articles [sw00863]
  • More and more aspects of concurrency and concurrent programming are becoming part of mainstream programming ... This leads to the extension of mainstream object-oriented programming languages and platforms -- Java ... fine-grained mechanisms and idioms to support concurrent programming, in particular for building efficient programs ... abstractions that would help building concurrent programs, as pure object-oriented abstractions help building large...