Synchronization abstraction in the BETA programming language. This paper argues that synchronization of processes need not be part of the core of a programming language, but that they can just as well be built from existing abstractions – provided these are sufficiently flexible and general. BETA’s notion of patterns meets these requirements and we demonstrate the validity of our claims within this context. While discussing the use of patterns of synchronization and their implementation in BETA, we focus on a number of examples taken from BetaSIM, a high-level framework for discrete event simulation. The paper concludes with a discussion on how these ideas can be applied to other modern object-based programming languages, such as Java or Ada

References in zbMATH (referenced in 23 articles )

Showing results 1 to 20 of 23.
Sorted by year (citations)

1 2 next

  1. Saito, Chieri; Igarashi, Atsushi: Matching MyType to subtyping (2013)
  2. Ducournau, Roland; Privat, Jean: Metamodeling semantics of multiple inheritance (2011)
  3. Siek, Jeremy G.; Lumsdaine, Andrew: A language for generic programming in the large (2011)
  4. Langmaack, Hans; Salwicki, Andrzej; Warpechowski, Marek: On an algorithm determining direct superclasses in Java and similar languages with inner classes-its correctness, completeness and uniqueness of solutions (2009)
  5. Al-Ahmad, Walid: A framework for conceptual modeling in OOP (2006)
  6. Andersen, Jakob R.; Bak, Lars; Grarup, Steffen; Lund, Kasper V.; Eskildsen, Toke; Hansen, Klaus Marius; Torgersen, Mads: Design, implementation, and evaluation of the resilient smalltalk embedded platform (2005)
  7. Haustein, Stefan; Pleumann, Joerg: A model-driven runtime environment for web applications (2005)
  8. Haustein, Stefan; Pleumann, Joerg: A model-driven runtime environment for Web applications (2005)
  9. Keedy, J.Leslie; Menger, Gisela; Heinlein, Christian; Henskens, Frans: Qualifying types illustrated by synchronisation examples (2003)
  10. Craig, Iain: The interpretation of object-oriented programming languages. (2002)
  11. Igarashi, Atsushi; Pierce, Benjamin: On inner classes (2002)
  12. Igarashi, Atsushi; Pierce, Benjamin C.: Foundations for virtual types (2002)
  13. Crabtree, Andy: Talking work: Language-games, organisations and computer supported cooperative work. (2000)
  14. Mørch, Anders I.; Mehandjiev, Nikolay: Tailoring as collaboration: The mediating role of multiple representations and application units. (2000)
  15. Bruce, Kim B.; Cardelli, Luca; Pierce, Benjamin C.: Comparing object encodings. (1999)
  16. Bruce, K.; Vanderwaart, J.: Semantics-driven language design: Statically type-safe virtual types in object-oriented languages (1999)
  17. Østerbye, Kasper; Kreutzer, Wolfgang: Synchronization abstraction in the BETA programming language (1999)
  18. Kreutzer, Wolfgang; Østerbye, Kasper: BetaSim: A framework for discrete event modelling and simulation (1998)
  19. Palsberg, Jens; Jim, Trevor: Type inference with simple selftypes is $NP$-complete (1997)
  20. Jones, C.B.: Accomodating interference in the formal design of concurrent object-based programs. (1996)

1 2 next