Institut for Datalogi

Aarhus Universitets segl
Du er her: Institut for Datalogi » Kontakt » Ole Lehrmann Madsen » Publikationer

Kontakt

Ole Lehrmann Madsen

1 - 58 ud af 58Pr. side: 100
RSS feed af denne liste
Sortering: Udgivelsesdato
  1. 2022
  2. Udgivet

    What Object-Oriented Programming Was Supposed to Be : Two Grumpy Old Guys’ Take on Object-Oriented Programming . / Madsen, Ole Lehrmann; Møller-Pedersen, Birger.

    Onward! 2022: Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software. Association for Computing Machinery, 2022. s. 220–239.

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  3. Udgivet

    Using supplementary properties to reduce the need for documentation. / Madsen, Ole Lehrmann; Møller-Pedersen, Birger.

    Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: Software Engineering. red. / Tiziana Margaria; Bernhard Steffen. Springer, 2022. s. 35-59 (Lecture Notes in Computer Science; Nr. 13702, Bind LNCS).

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  4. 2021
  5. Udgivet

    Using Coroutines for Multi-core Preemptive Scheduling. / Madsen, Ole Lehrmann.

    Proceedings of the 11th Workshop on Programming Languages and Operating Systems (PLOS '21). New York : Association for Computing Machinery, 2021. s. 46-52.

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  6. 2018
  7. Udgivet

    The future market for cybersecurity in Denmark. / Jensen, Carina (Redaktør); Lind Olsen, Erik (Redaktør); Mikkelsen, Gert Læssøe et al.

    2018. 44 s.

    Publikation: Bog/antologi/afhandling/rapport › Rapport › Rådgivning › peer review

  8. Udgivet

    This is not a Model : On development of a common terminology for modeling and programming. / Madsen, Ole Lehrmann; Møller-Pedersen, Birger.

    Leveraging applications of formal methods, verification and validation. red. / Tiziana Margaria; Bernhard Steffen. Bind I Cham : Springer, 2018. s. 206-224 (Lecture Notes in Computer Science, Bind 11244).

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  9. 2016
  10. Udgivet

    The Essence of Subclassing. / Madsen, Ole Lehrmann; Møller-Pedersen, Birger.

    2016. Paper præsenteret ved NOOL 2016, Amsterdam, Holland.

    Publikation: Konferencebidrag › Paper › Forskning › peer review

  11. 2014
  12. Udgivet

    Building Safe Concurrency Abstractions. / Madsen, Ole Lehrmann.

    Concurrent Objects and Beyond: Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday. red. / Gul Agha; Atsushi Igarashi; Naoki Kobayashi ; Hidehiko Masuhara; Satoshi Matsuoka ; Etsuya Shibayama ; Kenjiro Taura. Springer VS, 2014. s. 66-104 (Lecture Notes in Computer Science, Bind 8665).

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Bidrag til bog/antologi › Forskning › peer review

  13. 2010
  14. Udgivet

    A Unified Approach to Modeling and Programming. / Madsen, Ole Lehrmann; Møller-Pedersen, Birger.

    I: Lecture Notes in Computer Science, Bind 6394, 2010, s. 1-15.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Konferenceartikel › Forskning › peer review

  15. 2007
  16. Udgivet

    The When, Why and Why not of the BETA Programming Language. / Kristensen, Bent Bruun; Madsen, Ole Lehrmann; Møller-Pedersen, Birger.

    Proceedings of the Third ACM Conference on History of Programming Languages. Association for Computing Machinery, 2007. s. 1-57.

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  17. 2004
  18. Udgivet

    Integration of BETA with Eclipse : an Exercise in Language Interoperability. / Andersen, Peter; Madsen, Ole Lehrmann; Enevoldsen, Mads Brøgger.

    I: Electronic Notes in Theoretical Computer Science, Bind 107, 2004, s. 7-25.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Konferenceartikel › Forskning

  19. 2001
  20. Udgivet

    Testing Object-Oriented Software. / Caspersen, Michael Edelgaard; Madsen, Ole Lehrmann; Skov, Stefan H.

    Department of Computer Science, Aarhus University, 2001. 26 s. (Centre for Object Technology Technical Report; Nr. COT/2-43-V1.0).

    Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning

  21. 2000
  22. Udgivet

    Abstraction and Modularization in the BETA Programming Language. / Madsen, Ole Lehrmann.

    Modular Programming Languages: Joint Modular Languages Conference, JMLC 2000, Zurich, Switzerland, September 6-8, 2000. Proceedings. red. / Jürg Gutknecht; Wolfgang Weck. Springer, 2000. s. 211-237 (Lecture Notes in Computer Science, Bind 1897).

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning

  23. Udgivet

    Towards a Unified Programming Language. / Madsen, Ole Lehrmann.

    ECOOP 2000 - Object-Oriented Programming: 14th European Conference Sophia Antipolis and Cannes, France, June 12–16, 2000 Proceedings. red. / Elisa Bertino. Springer, 2000. s. 1-26 (Lecture Notes in Computer Science, Bind 1850).

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  24. 1999
  25. Udgivet

    COM Support in BETA. / Madsen, Ole Lehrmann.

    Proceedings of the Workshop on Object-Oriented Technology. Springer, 1999. s. 187 (Lecture Notes in Computer Science, Bind 1743).

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning

  26. Udgivet

    Semantic Analysis of Virtual Classes and Nested Classes. / Madsen, Ole Lehrmann.

    Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications: , systems, languages, and applications. red. / A. Michael Berman. Association for Computing Machinery, 1999. s. 114 - 131.

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  27. Udgivet

    Towards Integration of Object-Oriented Languages and State Machines. / Madsen, Ole Lehrmann.

    Proceedings of the Technology of Object-Oriented Languages and Systems: Proceedings of the Technology of Object-Oriented Languages and Systems. Bind 1 IEEE Computer Society Press, 1999. s. 261-274.

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  28. 1998
  29. Udgivet

    A Block-Structure Concurrent Object-Oriented Language. / Madsen, Ole Lehrmann.

    Handbook of Object-Technology. red. / Zaba Zamir. Florida, USA : CRC Press, 1998.

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Bidrag til bog/antologi › Forskning

  30. Udgivet

    A Conceptual Approach to Teaching Object-Orientation to C Programmers. / Madsen, Ole Lehrmann; Torgersen, Mads; Røn, Henrik et al.

    Proceedings Educators' Symposium: Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA'98). Session: Mastering OO Modeling: Experiences in OO Education.. red. / Mary Lynn Manns. Association for Computing Machinery, 1998. s. 3-10.

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning

  31. Udgivet

    The M.A.D Experience: Multiperspective Application Development in Evolutionary Prototyping. / Christensen, Michael; Crabtree, Andy; Damm, Christian Heide et al.

    ECOOP'98 - Object-Oriented Programming: 12th European Conference Brussels, Belgium, July 20-24, 1998 Proceedings. red. / Eric Jul. Springer, 1998. s. 13-40 (Lecture Notes in Computer Science, Bind 1445).

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  32. 1996
  33. Udgivet

    Using Object-Orientation as a Common Basis for System Development Education. / Madsen, Ole Lehrmann; Knudsen, Jørgen Lindskov.

    I: SIGPLAN Notices, Bind 31, Nr. 12, 1996, s. 52-62.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Konferenceartikel › Forskning

  34. 1995
  35. Udgivet

    Open Issues in Object-Oriented Programming. / Madsen, Ole Lehrmann.

    I: Software: Practice & Experience, Bind 25, Nr. S4, 1995, s. 3-43.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review

  36. 1994
  37. Udgivet

    Cooperative Hypermedia Systems: A Dexter-based architecture. / Grønbæk, Kaj; Madsen, Ole Lehrmann; Sloth, Lennard et al.

    I: Association for Computing Machinery. Communications, Bind 37, Nr. 2, 1994, s. 64 - 74.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review

  38. Udgivet

    Object-Oriented Software Development Environments : The Mjølner Approach. / Lindeskov Knudsen, Jørgen (Redaktør); Løfgren, Mads (Redaktør); Magnussen, Boris (Redaktør) et al.

    Upper Saddle River, NJ, USA : Prentice-Hall, 1994. 627 s.

    Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning

  39. 1993
  40. Udgivet

    Designing Dexter-based Cooperative Hypermedia Systems. / Grønbæk, Kaj; Madsen, Ole Lehrmann; Sloth, Lennard et al.

    Department of Computer Science, Aarhus University, 1993.

    Publikation: Working paper/Preprint › Working paper › Forskning

  41. Udgivet

    Designing Dexter-based cooperative hypermedia systems. / Grønbæk, Kaj; Madsen, Ole Lehrmann; Sloth, Lennard et al.

    Conference on Hypertext and Hypermedia: Proceedings on the fifth ACM conference. red. / Steven E. Poltrock. Association for Computing Machinery, 1993. s. 25-38.

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  42. Udgivet

    Object-Oriented Programming in the Beta Programming Language. / Madsen, Ole Lehrmann; Møller-Pedersen, Birger; Nygaard, Kristen.

    2. udg. Indianapolis, Indiana, USA : Addison-Wesley, 1993. 400 s.

    Publikation: Bog/antologi/afhandling/rapport › Bog › Forskning

  43. 1992
  44. Udgivet

    ECOOP ’92 European Conference on Object-Oriented Programming : Utrecht, The Netherlands, June 29–July 3, 1992 Proceedings. / Madsen, Ole Lehrmann.

    Springer, 1992. 426 s. (Lecture Notes in Computer Science, Bind 615).

    Publikation: Bog/antologi/afhandling/rapport › Bog › Forskning › peer review

  45. Udgivet

    EuroCoOp Workpackage WP5 Task T5.1 Deliverable D5.1 : Hypermedia Design Tool. / Grønbæk, Kaj; Madsen, Ole Lehrmann; Møller, K.J. et al.

    1992. (ECO-AU; Nr. 92-7).

    Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning

  46. Udgivet

    EuroCoOp Workpackage WP5 Task T5.3 Distributed Hypermedia Design Tool. / Grønbæk, Kaj; Madsen, Ole Lehrmann; Møller, K.J. et al.

    1992. (ECO-AU; Nr. 92-14).

    Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning

  47. Udgivet

    Part Objects and Their Location. / Madsen, Ole Lehrmann; Møller-Pedersen, Birger.

    TOOLS 1992: Dortmund, Germany. red. / Georg Heeg; Boris Magnusson; Bertrand Meyer. Prentice-Hall, 1992. s. 83-97.

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning

  48. 1991
  49. Udgivet

    Basic principles of the BETA programming language. / Madsen, Ole Lehrmann; Møller-Pedersen, Birger.

    Object-oriented languages, systems and applications . red. / Gordon Blair; John Gallagher; David Hutchison; Doug Shepherd. Halsted Press, 1991. s. 299-327.

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Bidrag til bog/antologi › Forskning

  50. 1990
  51. Udgivet

    Strong typing of object-oriented languages revisited. / Madsen, Ole Lehrmann; Magnusson, Boris; Møller-Pedersen, Birger.

    OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications . Association for Computing Machinery, 1990. s. 140-150.

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  52. Udgivet

    Teaching Object-Oriented Programming Using Beta. / Knudsen, Jørgen Lindskov; Madsen, Ole Lehrmann; Nørgaard, Claus et al.

    Proceedings of the Apple European University Consortium Annual Conference. Apple European University Consortium Annual Conference, 1990.

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning

  53. 1989
  54. Udgivet

    Virtual classes: a powerful mechanism in object-oriented programming. / Madsen, Ole Lehrmann; Møller-Pedersen, Birger.

    OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications . Association for Computing Machinery, 1989. s. 397-406.

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  55. 1988
  56. Udgivet

    An Object-Oriented Metaprogramming System. / Madsen, Ole Lehrmann; Nørgård, Claus.

    1988. Paper præsenteret ved Hawaii International Conference on System Sciences , USA.

    Publikation: Konferencebidrag › Paper › Forskning › peer review

  57. Udgivet

    Coroutine Sequencing in BETA. / Kristensen, Bent Bruun; Madsen, Ole Lehrmann; Møller-Pedersen, Birger et al.

    1988. Paper præsenteret ved Hawaii International Conference on System Sciences , USA.

    Publikation: Konferencebidrag › Paper › Forskning › peer review

  58. Udgivet

    Teaching Object-Oriented Programming is more than teaching Object-Oriented Programming Languages. / Knudsen, Jørgen Lindskov; Madsen, Ole Lehrmann.

    ECOOP ’88 European Conference on Object-Oriented Programming: Oslo, Norway, August 15–17, 1988 Proceedings. red. / Stein Gjessing; Kristen Nygaard. Springer, 1988. s. 21-40 (Lecture Notes in Computer Science, Bind 322).

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  59. Udgivet

    What object-oriented programming may be - and what it does not have to be. / Madsen, Ole Lehrmann; Møller-Pedersen, Birger.

    ECOOP ’88 European Conference on Object-Oriented Programming : Oslo, Norway, August 15–17, 1988 Proceedings. red. / Stein Gjessing; Kristen Nygaard. Springer, 1988. s. 1-20 (Lecture Notes in Computer Science, Bind 322).

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  60. 1987
  61. Udgivet

    Block Structure and Object-Oriented Languages. / Madsen, Ole Lehrmann.

    Research Directions in Object Oriented Programming. red. / Bruce D. Shriver; Peter Wegner. MIT Press, 1987. s. 113-128.

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Bidrag til bog/antologi › Forskning

  62. Udgivet

    Classification of Actions or Inheritance also for Methods. / Kristensen, Bent Bruun; Madsen, Ole Lehrmann; Møller-Pedersen, Birger et al.

    ECOOP'87, European Conference on Object-Oriented Programming. Springer, 1987. s. 98-107 (Lecture Notes in Computer Science, Bind 276).

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  63. Udgivet

    The BETA Programming Language. / Kristensen, Bent Bruun; Madsen, Ole Lehrmann; Møller-Pedersen, Birger et al.

    Research Directions in Object Oriented Programming. red. / Bruce D. Shriver; Peter Wegner. MIT Press, 1987. s. 7-48.

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Bidrag til bog/antologi › Forskning

  64. 1985
  65. Udgivet

    An Algebra for Program Fragments. / Kristensen, Bent Bruun; Madsen, Ole Lehrmann; Møller-Pedersen, Birger et al.

    SLIPE '85 Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments. Association for Computing Machinery, 1985. s. 161-170.

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  66. Udgivet

    Multi-sequential execution in the BETA programming language. / Madsen, Ole Lehrmann; Møller-Pedersen, Birger; Nygaard, Kristen.

    I: SIGPLAN Notices, Bind 20, Nr. 4, 1985, s. 57-69.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review

  67. 1983
  68. Udgivet

    Abstraction Mechanisms in the BETA Programming Language. / Kristensen, Bent Bruun; Madsen, Ole Lehrmann; Møller-Pedersen, Birger et al.

    Tenth ACM Symposium on Principles of Programming Languages. Association for Computing Machinery, 1983. s. 285-298.

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  69. Udgivet

    Extended Attribute Grammars. / Watt, David A.; Madsen, Ole Lehrmann.

    I: Computer Journal, 1983.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review

  70. Udgivet

    From SIMULA 67 to BETA. / Madsen, Ole Lehrmann; Kristensen, Bent Bruun; Nygaard, Kristen.

    1983. Paper præsenteret ved SIMULA 67 User's Conference, Paris, Frankrig.

    Publikation: Konferencebidrag › Paper › Forskning

  71. Udgivet

    Programmeringssprog - Syntaks, Semantik og Implementation. / Madsen, Ole Lehrmann.

    1983, Forlæsningsnoter til Datalogi 2.

    Publikation: Andet › Andet bidrag › Formidling

  72. 1982
  73. Udgivet

    Syntax Directed Program Modularization. / Kristensen, Bent Bruun; Madsen, Ole Lehrmann; Møller-Pedersen, Birger et al.

    Integrated interactive computing systems: European Conference on Integrated Computing Systems, ECICS 82, Stresa, Italy, 1-3 September, 1982. red. / Pierpaolo Degano; Erik Sandewall. North-Holland, 1982.

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  74. 1981
  75. Udgivet

    Diagnostics on LALR(k) conflicts based on a method for LR(k) testing. / Kristensen, Bent Bruun; Madsen, Ole Lehrmann.

    I: BIT Numerical Mathematics, Bind 21, Nr. 3, 1981, s. 270-293.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review

  76. Udgivet

    Methods for computing LALR(k) lookahead. / Madsen, Ole Lehrmann; Kristensen, Bent Bruun.

    ACM Transaction on Programming Languages. Bind 3 1. udg. New York, USA : Association for Computing Machinery, 1981. s. 60-82.

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Bidrag til bog/antologi › Forskning

  77. 1980
  78. Udgivet

    A practical state splitting algorithm for constructing LR-parsers. / Kristensen, Bent Bruun; Madsen, Ole Lehrmann.

    Department of Computer Science, University of Aarhus, Denmark, 1980.

    Publikation: Working paper/Preprint › Working paper › Forskning

  79. Udgivet

    Interpretation and code generation based on intermediate languages. / Kornerup, Peter; Kristensen, Bent Bruun; Madsen, Ole Lehrmann.

    I: Software: Practice & Experience, Bind 10, Nr. 8, 1980, s. 635-658.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review

  80. Udgivet

    On defining semantics of extended attribute grammars. / Madsen, Ole Lehrmann.

    Semantics directed compiler generation:  Proceedings of a Workshop, Aarhus, Denmark, January 14-18. red. / Neil Jones. Springer, 1980. s. 259-299 (Lecture Notes in Computer Science; Nr. 94).

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Bidrag til bog/antologi › Forskning

  81. 1979
  82. Udgivet

    A Petri Net Definition of a System Description Language. / Jensen, Kurt; Kyng, Morten; Madsen, Ole Lehrmann.

    Semantics of Concurrent Computation. red. / Gilles Kahn. Springer, 1979. s. 348 - 368 (Lecture Notes in Computer Science, Bind 70).

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  83. Udgivet

    Delta Semantics Defined By Petri Nets. / Jensen, Kurt; Kyng, Morten; Madsen, Ole Lehrmann.

    Aarhus Universitetsforlag, 1979.

    Publikation: Working paper/Preprint › Working paper › Forskning

  84. 1977
  85. Udgivet

    BETA Language Development. / Madsen, Ole Lehrmann; Kristensen, Bent Bruun; Nygaard, Kristen.

    Norwegian Computing Center : Norsk Regnesentral, 1977.

    Publikation: Working paper/Preprint › Working paper › Forskning

  86. Udgivet

    The BOBS-system. / Eriksen, Søren Henrik; Jensen, Bent Bæk; Kristensen, Bent Bruun et al.

    Department of Computer Science, University of Aarhus, Denmark, 1977. 79 s. (DAIMI PB; Nr. 71).

    Publikation: Bog/antologi/afhandling/rapport › Bog › Forskning › peer review

  87. 1976
  88. Udgivet

    LR-parsing of Extended Context-free Grammars. / Madsen, Ole Lehrmann; Kristensen, Bent Bruun.

    I: Acta Informatica, Bind 7, 1976, s. 61-73.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review