BETA

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 27 articles )

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

1 2 next

  1. Bartoletti, Massimo; Scalas, Alceste; Tuosto, Emilio; Zunino, Roberto: Honesty by typing (2016)
  2. Schultz, Ulrik Pagh; Axelsen, Holger Bock: Elements of a reversible object-oriented language (work-in-progress report) (2016)
  3. Saito, Chieri; Igarashi, Atsushi: Matching MyType to subtyping (2013)
  4. Ducournau, Roland; Privat, Jean: Metamodeling semantics of multiple inheritance (2011)
  5. Kindler, Eugene; Krivy, Ivan: Object-oriented simulation of systems with sophisticated control (2011)
  6. Siek, Jeremy G.; Lumsdaine, Andrew: A language for generic programming in the large (2011)
  7. 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)
  8. Al-Ahmad, Walid: A framework for conceptual modeling in OOP (2006) ioport
  9. Aracic, Ivica; Gasiunas, Vaidas; Mezini, Mira; Ostermann, Klaus: An overview of CaesarJ (2006)
  10. 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) ioport
  11. Haustein, Stefan; Pleumann, Joerg: A model-driven runtime environment for web applications (2005) ioport
  12. Haustein, Stefan; Pleumann, Joerg: A model-driven runtime environment for Web applications (2005) ioport
  13. Keedy, J. Leslie; Menger, Gisela; Heinlein, Christian; Henskens, Frans: Qualifying types illustrated by synchronisation examples (2003)
  14. Craig, Iain: The interpretation of object-oriented programming languages. (2002)
  15. Igarashi, Atsushi; Pierce, Benjamin: On inner classes (2002)
  16. Igarashi, Atsushi; Pierce, Benjamin C.: Foundations for virtual types (2002)
  17. Crabtree, Andy: Talking work: Language-games, organisations and computer supported cooperative work. (2000) ioport
  18. Mørch, Anders I.; Mehandjiev, Nikolay: Tailoring as collaboration: The mediating role of multiple representations and application units. (2000) ioport
  19. Bruce, Kim B.; Cardelli, Luca; Pierce, Benjamin C.: Comparing object encodings. (1999)
  20. Bruce, K.; Vanderwaart, J.: Semantics-driven language design: Statically type-safe virtual types in object-oriented languages (1999)

1 2 next