5. References

image_pdfimage_print

An introduction to object-oriented programming as modeling using qBeta is described in the (draft) book:

  1.  An Introduction to Object-Oriented Programming as Modeling by Ole Lehrmann Madsen and Birger Møller-Pedersen

Programming as modeling is discussed in the papers below::

  1. Ole Lehrmann Madsen, Birger Møller-PedersenA Unified Approach to Modeling and Programming. MoDELS (1) 2010: 1-15
  2. Ole Lehrmann Madsen, Birger Møller-PedersenThis Is Not a Model – On Development of a Common Terminology for Modeling and Programming. ISoLA (1) 2018: 206-224
  3. Ole Lehrmann Madsen, Birger Møller-PedersenWhat Object-Oriented Programming Was Supposed to Be: Two Grumpy Old Guys’ Take on Object-Oriented Programming. Onward! 2022: 220-239
  4. Ole Lehrmann Madsen, Birger Møller-PedersenWhat your mother forgot to tell you about modeling – and programming, SAM 2023

Support for concurrency and supplementary properties are described in the papers below:

  1. Ole Lehrmann Madsen. 2014. Building Safe Concurrency Abstractions. In Concurrent Objects and Beyond, G. Agha, A. Igarashi, N. Kobayashi, H. Masuhara, S. Matsuoka, E. Shibayama, and K Taura (Eds.). Springer, Berlin, Heidelberg, 66–104.
  2. Ole Lehrmann Madsen. Using Coroutines for Multi-core Preemptive Scheduling.  Proceedings of the 11th Workshop on Programming Languages and Operating Systems (PLOS ’21). New York: Association for Computing Machinery, 2021. p. 46-52. https://doi.org/10.1145/3477113.3487271
  3. Ole Lehrmann MadsenBirger Møller-PedersenUsing Supplementary Properties to Reduce the Need for DocumentationISoLA (2) 2022: 35-59

The qBeta SDE, qenv includes a debugger, which is described in:

  1. Ole Lehrmann Madsen. Using Object-Sequence Diagrams for DebuggingDEBT 2023: Proceedings of the 1st ACM International Workshop on Future Debugging Techniques, July 2023. Pages 11–22. https://doi.org/10.1145/3605155.3605864

Descriptions of BETA and The Mjølner BETA system are available from the following sources: 

  1. O.L. Madsen, B. Møller-Pedersen, K. Nygaard: Object-Oriented Programming in the BETA Programming Language, ACM Press, Addison-Wesley, 1993. A reprint is available from https://users-cs.au.dk/olmadsen/.
  2. B.B. Kristensen, O.L. Madsen, B. Møller-Pedersen: The When, Why and Why Not of the BETA Programming Language, ACM History of Programming Languages III, Conference, San Diego 2007.
    https://doi.org/10.1145/1238844.1238854
  3. A description of The Mjølner Beta System may be found here, but this page is no longer being updated.