• Ada95

  • Referenced in 129 articles [sw01753]
  • object-oriented high-level computer programming language, extended from Pascal and other languages ... built-in language support for explicit concurrency, offering tasks, synchronous message passing, protected objects...
  • VeriCool

  • Referenced in 10 articles [sw09749]
  • Automatic Verifier for a Concurrent Object-Oriented Language. Reasoning about object-oriented programs is hard ... data abstraction and framing. Reasoning about concurrent object-oriented programs is even harder, since...
  • ABS

  • Referenced in 26 articles [sw21211]
  • models of distributed object-oriented systems. The language combines advanced concurrency and synchronization mechanisms ... concurrent object groups with a functional language for modeling data. ABS uses asynchronous method calls ... activations inside concurrent objects. This feature combination results in a concurrent object-oriented model which...
  • PROCOL

  • Referenced in 8 articles [sw02535]
  • PROCOL. A concurrent object-oriented language with protocols delegation and constraints PROCOL is an object...
  • Pict

  • Referenced in 70 articles [sw08929]
  • numerous libraries, and example programs. The core language - an asynchronous variant of Milner, Parrow ... theoretical foundation for a broad class of concurrent computations. The goal in Pict ... higher-order programming, selective communication, and concurrent objects. The type system integrates a number ... work on theoretical foundations for typed object-oriented languages...
  • ABCL

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

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

  • Referenced in 20 articles [sw04759]
  • language, which supports declarative programming, object-oriented programming, constraint programming, and concurrency as part ... assistants, as well as applications in natural language understanding and knowledge representation, in scheduling...
  • HAL_

  • Referenced in 2 articles [sw07224]
  • describe Hal, a high-level, actor-based language which has served as a test ... architecture independent, concurrent object-oriented language which supports inheritance, synchronization constraints, continuation capture, synchronous...
  • JCobox

  • Referenced in 15 articles [sw21212]
  • programming language, which extends Java by a new concurrency concept, called CoBoxes. CoBoxes ... 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 ... been integrated into Java in the JCoBox language. More information about CoBoxes and !JCoBox...
  • BCOOPL

  • Referenced in 2 articles [sw02340]
  • BCOOPL, which stands for Basic Concurrent Object-Oriented Programming Language. BCOOPL was designed to support...
  • ObjectCurry

  • Referenced in 3 articles [sw01593]
  • ObjectCurry: an object-oriented extension of the declarative multi-paradigm language curry Curry combines ... concepts of functional, logic and concurrent programming ... languages. Concurrent programming with ports allows the modeling of objects in Curry similar to object ... conventional object-oriented languages. Objects are instances of a template. An object owns a state...
  • simpA

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

  • Referenced in 2 articles [sw18534]
  • Objects and Structured Heaps. Concurrent programming in object-oriented languages is a notoriously difficult task ... language concept which combines and generalizes active objects and techniques for heap structuring. CoBoxes realize ... objects. This is important for more complex data structures with invariants ranging over several objects ... CoBoxes support multiple entry objects, several cooperating tasks in a cobox, and nesting of coboxes...
  • LOOPN++

  • Referenced in 3 articles [sw31033]
  • LOOPN++: a new language for object-oriented Perti nets. In recent years, there has been ... interest in combining the benefits of object-oriented structuring techniques with the petri net formalism ... concurrent systems. This paper presents a more extensive application of object-oriented ideas to Coloured ... language for specifying object-oriented petri nets which is convenient for modelling complex concurrent systems...
  • PICCOLA

  • Referenced in 17 articles [sw06408]
  • component-based applications, largely because object-oriented design tends to obscure a component-based architecture ... chapter we introduce PICCOLA, a small ’composition language’ that embodies this paradigm. Piccola models components ... compositional abstractions by means of communicating concurrent agents. Flexibility, extensibility and robustness are obtained...
  • THORNs

  • Referenced in 2 articles [sw31031]
  • object-oriented programming language C++ with various features of Petri nets for modeling concurrency...
  • VDMTools

  • Referenced in 2 articles [sw18244]
  • specification language with support for modular structuring, the extension VDM++ which supports object-oriented structuring ... concurrency, and a version extending VDM++ with features for modeling and analysing distributed embedded real...
  • J.CP

  • Referenced in 1 article [sw03404]
  • features of the object-oriented programming language Java. Constraints are autonomous objects that ... posted and retracted in concurrently running solvers that communicate via common constraint variables...
  • JACK

  • Referenced in 3 articles [sw04601]
  • concurrent programs using a set of process algebra constructs implemented as an object-oriented framework ... Java, called JACK. The main objective of the framework is the design and implementation ... design patterns and pattern languages to properly build frameworks like this, achieving desired software engineering...