Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
Springer Nature Link
Log in

A Bibliography of Ole-Johan Dahl

  • Chapter
From Object-Orientation to Formal Methods

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2635))

  • 385 Accesses

Abstract

This bibliography is based on information collected by Berit Strange, from the Library of the Department of Informatics, University of Oslo. Ole-Johan’s homepage www.ifi.uio.no/~olejohan/ contains links to some papers.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Dahl, O.-J., Dijkstra, E.W., Hoare, C.A.R.: Structured Programming, (220 pages). Academic Press, London (1972); Also as: A.P.I.C. Studies in Data Processing no. 8. ISBN 0-12-200550-3, 0-12-200556-2

    Google Scholar 

  2. Birtwistle, G.M., Dahl, O.-J., Myhrhaug, B., Nygaard, K.: SIMULA begin (391 pages). Auerbach Publishers Inc. (1973); ISBN 91-44-06211-7. 2nd edn. published by Studentlitteratur, Stockholm & Chartwell-Bratt Ltd, England (1973)

    Google Scholar 

  3. Dahl, O.-J.: Syntaks og semantikk i programmeringssprk (Syntax and Semantics in Programming Languages), Studentlitteratur, Lund, Sweden (103 pages) (1972) ISBN 91-44-07111-6 (in Norwegian)

    Google Scholar 

  4. Dahl, O.-J., Belsnes, D.: Algoritmer og datastrukturer (Algorithms and Data Structures), Studentlitteratur, Lund, Sweden (170 pages) (1973) ISBN 91-44-06991-x (in Norwegian)

    Google Scholar 

  5. Dahl, O.-J.: Verifiable Programming. International series in computer science, 269 pages. Prentice Hall, New York (1992); revised edition 1993 (269 pages) ISBN 0-13-951062-1

    Google Scholar 

  6. Dahl, O.-J.: Automatisk koding – et prosjekt ved forsvarets forskningsinstitutt [English: Automatic coding – a project at the Norwegian Research Defense Establishment]. In: Frberg, C.-E., Rollof, Y. (eds.) Proceedings of NordSAM (The Nordic Symposium on Application of Mathematical Machines), Karlskrona, May 1959, pp. 135–141 (1959)

    Google Scholar 

  7. Dahl, O.-J.: Litt om symbolbruken i Algol [English: A Note on the Use of Symbols in Algol]. BIT (Nordic Journal of Information Processing) 2(1), 7–8 (1962) (In Norwegian)

    MATH  Google Scholar 

  8. Nygaard, K., Dahl, O.-J.: SIMULA – a Language for Describing Discrete Event Systems. In: Proceedings of the IFIP Conference, vol. 2, pp. 554–555. Spartan Books, Macmillan, Washington, New York (1965)

    Google Scholar 

  9. Dahl, O.-J., Nygaard, K.: SIMULA – an ALGOL-Based Simulation Language. Communications of the ACM 9, 671–682 (1966)

    Article  MATH  Google Scholar 

  10. Dahl, O.-J.: Discrete Event Simulation Languages. In: Genuys, G. (ed.) Programming Languages. NATO Advanced Study Department, pp. 349–395. Academic Press, London (1968)

    Google Scholar 

  11. Dahl, O.-J., Nygaard, K.: Class and Subclass Declarations. In: Buxton, J.N. (ed.) Simulation Programming Languages, Proceedings of the IFIP working conference on simulation programming languages, Oslo, pp. 158–174. North-Holland, Amsterdam (1968)

    Google Scholar 

  12. Dahl, O.-J., Myhrhaug, B., Nygaard, K.: Some Features of the SIMULA 67 Language. In: Digest of the Second Conference on Application of Simulation, New York, pp. 29–32. IEEE, Los Alamitos (1968) (cat no. 68C60-SIM)

    Google Scholar 

  13. Dahl, O.-J.: Decomposition and Classification in Programming Languages. In: Linguaggi nella societ e nella tecnica, Convegno promosso dalla Ing. C. Olivetti & C., S. p. A. per il centenario della nascita di Camillo Olivetti, Milano, pp. 371–383 (1970) (Saggi di cultura contemporanea 87)

    Google Scholar 

  14. Dahl, O.-J.: Programming Languages as Tools for the Formulation of Concepts. In: Aubert, K.E., Ljunggren, W. (eds.) Proceedings of the 15th Scandinavian Congress, Oslo 1968, Lecture notes in Mathematics, vol. 118, pp. 18–29. Springer, Heidelberg (1970)

    Chapter  Google Scholar 

  15. Wang, A., Dahl, O.-J.: Coroutine Sequencing in a Block Structured Environment. BIT 11, 425–449 (1971)

    Article  MATH  Google Scholar 

  16. Dahl, O.-J., Hoare, C.A.R.: Hierarchical Program Structures. In: Structured Programming, pp. 175–220. Academic Press, London (1972) (see [1] above)

    Google Scholar 

  17. Dahl, O.-J.: Programming Discipline. In: Proceedings of the 1974 CERN School of Computing, Godysund, CERN Report 74-23, Geneva, pp. 426-435 (August 1974)

    Google Scholar 

  18. Dahl, O.-J.: An Approach to Correctness Proofs of Semicoroutines. In: Blikle, A. (ed.) MFCS 1974. LNCS, vol. 28, pp. 157–174. Springer, Heidelberg (1975)

    Google Scholar 

  19. Jonassen, A., Dahl, O.-J.: Analysis of an Algorithm for Priority Queue Administration. BIT 15(4), 409–422 (1975)

    Article  MATH  Google Scholar 

  20. Dahl, O.-J.: A Model for Controlling a Network of Processors and Storage Units. In: Nivat, M. (ed.) Thorie des algorithmes, des langages et de la programmation: Textes des exposs du sminaire organis par l’Institut du Recherche d’Informatique et d’Automatique (IRIA), Rocquencourt, IRIA, Rocquencour, Octobre 1974, pp. 83–94 (1975) ISBN 2-7261-0120-8

    Google Scholar 

  21. Dahl, O.-J.: Can program proving be made practical? In: Amirchahy, M., Nel, D. (eds.) Les fondements de la programmation, IRIA, Le Chesnay, France (Text in English.), pp. 57–114, ISBN 2726101844

    Google Scholar 

  22. Dahl, O.-J.: Time Sequences as a Tool for Describing Program Behaviour. In: Bjorner, D. (ed.) Abstract Software Specifications. LNCS, vol. 86, pp. 274–290. Springer, Heidelberg (1980)

    Google Scholar 

  23. Nygaard, K., Dahl, O.-J.: The Development of the Simula Languages (Chapter IX: SIMULA Session). In: Wexelblat, R.L. (ed.) History of Programming Languages, pp. 439–493. Academic Press, New York (1981); Also in: ACM Sigplan History of Programming Languages Conference (June 1978); ACM Sigplan Notices 13(8), 245–272 (1978)

    Google Scholar 

  24. Dahl, O.-J.: Object Oriented Specification. In: Shriver, B., Wegner, P. (eds.) Research Directions in Object-Oriented Programming, pp. 561–576. MIT Press, Cambridge (1987); Presented at the Object-Oriented Programming Workshop (June 1986)

    Google Scholar 

  25. Owe, O., Dahl, O.-J.: Generator induction in order sorted algebra. Formal Aspects of Computing 3, 2–20 (1991)

    Article  Google Scholar 

  26. Dahl, O.-J., Owe, O.: Formal Development with ABEL. In: Prehn, S., Toetenel, H. (eds.) VDM 1991. LNCS, vol. 552, pp. 320–362. Springer, Heidelberg (1991)

    Chapter  Google Scholar 

  27. Dahl, O.-J.: Object Orientation and Formal Techniques (extended abstract). In: Langmaack, H., Hoare, C.A.R., Bjorner, D. (eds.) VDM 1990. LNCS, vol. 428, pp. 1–11. Springer, Heidelberg (1992)

    Google Scholar 

  28. Dahl, O.-J.: Value Types and Object Classes. ASU Newsletter 20(1), 8–20 (1992)

    Google Scholar 

  29. Dahl, O.-J.: Monitors Revisited. In: Roscoe, A.W. (ed.) A classical Mind: Essays in Honour of C.A.R. Hoare, pp. 93–103. Prentice Hall, Englewood Cliffs (1994)

    Google Scholar 

  30. Dahl, O.-J.: Relating a Simulation Model to an Applicative Specification. In: Snorek, M., Sujansky, M., Verbraeck, A. (eds.) Modelling and Simulation: Proceedings ESM, Praha. Society for Computer Simulation International, pp. 633–638 (1995)

    Google Scholar 

  31. Haveraaen, M., Owe, O., Dahl, O.-J. (eds.): Abstract Data Types 1995 and COMPASS 1995. LNCS, vol. 1130, (550 pages). Springer, Heidelberg (1996) ISBN 3-540-61629-2

    Google Scholar 

  32. Dahl, O.-J.: Data Access Safety and Storage Economy in Programming Languages. In: 23rd ASU Conference, Stara Lesna, Slovakia, August 1997 (8 pages) (1997); ASU Newsletter 24(2) (1998)

    Google Scholar 

  33. Dahl, O.-J., Kristoffersen, B.: On Introducing Higher Order Functions in ABEL. Nordic Journal of Computing 5, 50–69 (1998)

    MATH  Google Scholar 

  34. Dahl, O.-J., Owe, O., Bastiansen, T.J.: Subtyping and Constructive Specification. Nordic Journal of Computing 5, 19–49 (1998)

    MATH  MathSciNet  Google Scholar 

  35. Dahl, O.-J.: A Note on Monitor Versions: an Essay in the Honour of C.A.R. Hoare. In: Davis, J., Roscoe, B., Woodcock, J. (eds.) Millennial Perspectives in Computer Science Proceeding of the 1999 Oxford-Microsoft Symposium in Honour of Sir Tony Hoare. PALGRAVE, in the series Cornerstones of Computing, pp. 91–98 (2000)

    Google Scholar 

  36. Dahl, O.-J.: The Roots of Object Orientation: the Simula Language. In: Broy, M., Denert, E. (eds.) Software Pioneers: Contribution to Software Engineering, pp. 78–90. Springer, Heidelberg (2002); Talk given at conference in Bonn (June 2001) ISBN 3-540-43081-4

    Google Scholar 

  37. Jonassen, A., Dahl, O.-J.: Analysis of an Algorithm for Priority Queue Administration. Research Report in Informatics no. 3 (68 pages) (1975) ISBN 82-553-0203-4 Department of Informatics (IFI), which was formed in 1978

    Google Scholar 

  38. Dahl, O.-J.: An Approach to Correctness Proofs of Semicoroutines. Research Report in Informatics no. 13, (20 pages) (1977) ISBN 82-90230-00-1 Department of Informatics (IFI), which was formed in 1978

    Google Scholar 

  39. Dahl, O.-J.: Can Program Proving be Made Practical? Research Report in Informatics no. 33, 1978 (57 pages) Lectures presented at the EEC-CREST course on Programming Foundations, Toulouse 1977 (revised May 1978) ISBN 82-90230-26-5 Department of Informatics (IFI), which was formed in 1978

    Google Scholar 

  40. Dahl, O.-J.: Time Sequences as a Tool for Describing Program Behaviour. Research Report no. 48 (17 pages) (1979) ISBN 82-90230-43-5 Department of Informatics (IFI), which was formed in 1978

    Google Scholar 

  41. Soundararajan, N., Dahl, O.-J.: Partial Correctness Semantics of Communicating Sequential Processes. Research Report no. 66 (29 pages) (1982) ISBN 82-90230-62-1

    Google Scholar 

  42. Dahl, O.-J.: Notes on a LIFO Disciplined Simplex Algorithm. Research Report no. 79 (7 pages) (1984) ISBN 82-90230-76-1

    Google Scholar 

  43. Dahl, O.-J.: Logic of Programming and Specification. Research Report no. 84 (48 pages) (1984) ISBN 82-90230-83-4

    Google Scholar 

  44. Dahl, O.-J., Owe, O.: A Presentation of the Specification and Verification Project ABEL. Research Report no. 90 (9 pages) (1984) ISBN 82-90230-89-3; Also in the proceedings of the 3. Verification Workshop, Watsonville, CA (February 1985)

    Google Scholar 

  45. Dahl, O.-J.: Specification and Reasoning about Discrete Simulation Models: A Case Study. Research Report no. 94, 1985 (10 pages). Lecure at the IMACSWorld Congress on System Simulation and Scientific Computation, Oslo (August 1985) ISBN 82-90230-93-1

    Google Scholar 

  46. Dahl, O.-J., Langmyhr, D.F., Owe, O.: Preliminary Report on the Specification and Programming Language ABEL. Research Report no. 106 (86 pages) (1986) ISBN 82-7368-006-1

    Google Scholar 

  47. Dahl, O.-J.: Object Oriented Specification. Research Report no. 108 (18 pages) (1987) ISBN 82-7368-009-6 Department of Informatics (IFI), which was formed in 1978

    Google Scholar 

  48. Dahl, O.-J., Owe, O.: Generator Induction in Order Sorted Algebras. Research Report no. 122 (17 pages) (1989) ISBN 82-7368-027-4 Department of Informatics (IFI), which was formed in 1978

    Google Scholar 

  49. Dahl, O.-J.: Object Orientation and Formal Techniques (extended abstracts). Research Report no. 138 (11 pages) (1990) ISBN 82-7368-044-4 Department of Informatics (IFI), which was formed in 1978

    Google Scholar 

  50. Dahl, O.-J., Owe, O.: Formal Development with ABEL. Research Report no. 159 (43 pages) (1991) ISBN 82-7368-066-5 Department of Informatics (IFI), which was formed in 1978

    Google Scholar 

  51. Dahl, O.-J.: Value Types and Object Classes. Talk presented at the 25 years SIMULA 67 Anniversary Conferences, Nordwijkerhout 11-12, and Oslo 22 June. Research Report no. 170 (13 pages) (June 1992) ISBN 82-7368-079-7 Department of Informatics (IFI), which was formed in 1978

    Google Scholar 

  52. Dahl, O.-J.: Monitors Revisited. Research Report no. 175 (12 pages) (1993) ISBN 82-7368-084-3 Department of Informatics (IFI), which was formed in 1978

    Google Scholar 

  53. Dahl, O.-J.: Co- and Contravariance in Functional Subtypes: Contribution to IFIP WG 2.3, Research Report no. 191 (7 pages) (June 1994) ISBN 82-7368-101-7

    Google Scholar 

  54. Dahl, O.-J.: Hoare-style Parallel Programming: Foils for a student course, IN305. Research Report no. 192 (1994) ISBN 82-7368-102-5

    Google Scholar 

  55. Dahl, O.-J., Owe, O.: On the Use of Subtypes in ABEL. Revised version. Research Report no. 206 (20 pages) (1995) ISBN 82-7368-117-3 Department of Informatics (IFI), which was formed in 1978

    Google Scholar 

  56. Dahl, O.-J., Kristoffersen, B.: On Introducing Higher Order Functions in ABEL. Research Report no. 210 (18 pages) (1995) ISBN 82-7368-123-8 Department of Informatics (IFI), which was formed in 1978

    Google Scholar 

  57. Dahl, O.-J., Owe, O., Bastiansen, T.J.: Subtyping and Constructive Specification. Research Report no. 228 (38 pages) (1996) ISBN 82-7368-142-4 Department of Informatics (IFI), which was formed in 1978

    Google Scholar 

  58. Dahl, O.-J., Owe, O.: Formal Methods and the RM-ODP. Research Report no. 261 (17 pages) (1998) ISBN 82-7368-192-0

    Google Scholar 

  59. Dahl, O.-J.: Kompendium til DB-2 (maskinsprk og operasjonssytem). Dept. of Mathematics (48 pages) (1969) (in Norwegian)

    Google Scholar 

  60. Dahl, O.-J.: Listestrukturer: Ch. 7 from Compendium Ikke-numeriske metoder. Dept. of Mathematics (46 pages) (1970) (in Norwegian)

    Google Scholar 

  61. Dahl, O.-J. and co.: Forelesninger i DB 2, 2nd edn. Dept. of Mathematics (171 pages) (1971) (in Norwegian)

    Google Scholar 

  62. Dahl, O.-J.: Top-Down Parsers Expressed in a High-Level Language. Dept. of Mathematics (12 pages) (1972)

    Google Scholar 

  63. Dahl, O.-J.: Hierarchical Program Structures. Lecture Note no. 6, Dept. of Mathematics (57 pages) (1973); The predecessor of [1]

    Google Scholar 

  64. Dahl, O.-J., Hoare, C.A.R.: Two Lectures for the Graduate Course: Parallel Programming and Operating Systems. Lecture Note no. 7, Dept. of Mathematics (15 pages) (1973)

    Google Scholar 

  65. Dahl, O.-J.: Runtime organisasjon for SIMULA/ALGOL. Compendium 11. Dept. of Informatics (36 pages) (1980) (in Norwegian)

    Google Scholar 

  66. Dahl, O.-J.: Stochastiske simuleringsmodeller. Compendium 13, Dept. of Informatics (36 pages) (in Norwegian)

    Google Scholar 

  67. Dahl, O.-J.: Program Specification and Verification Techniques. Part I, Part II and III, Compendium 42, Dept. of Informatics (153 pages) (1988) (1990)

    Google Scholar 

  68. Dahl, O.-J.: Substitusjonssystemer. Lecture notes (12 pages) (August 1989) (in Norwegian)

    Google Scholar 

  69. Dahl, O.-J.: Parallell programmering (Parallel Programming). Compendium 45, Dept. of Informatics (69 pages), Revised (In Norwegian). Kompendium 46 (August 1995) (in Norwegian)

    Google Scholar 

  70. Dahl, O.-J.: Stochastic Simulation Modelling. Compendium 69, Dept. of Informatics (36 pages) (April 1996)

    Google Scholar 

  71. Dahl, O.-J., Nygaard, K.: Preliminary Presentation of the Simula Language and some Examples of Network Descriptions. NCC Doc., May 18 (1963)

    Google Scholar 

  72. Bell, V., Dahl, O.-J.: SIMSCRIPT Implementation. NCC Doc., (31 pages) (November 1963)

    Google Scholar 

  73. Dahl, O.-J.: The SIMULA Storage Allocation Scheme. NCC Doc. 162 (9 pages) (November 1963)

    Google Scholar 

  74. Dahl, O.-J.: SIMULA Status Report. NCC Doc. 1.1 (10 pages) (1964)

    Google Scholar 

  75. Dahl, O.-J.: The SIMULA Data Structures. NCC Doc (23 pages) (March 1964)

    Google Scholar 

  76. Dahl, O.-J., Nygaard, K.: The SIMULA Language: Specifications 17 March 1964, NCC Doc (30 pages) (March 1964)

    Google Scholar 

  77. Dahl, O.-J., Nygaard, K.: The SIMULA Project: Technical Progress Report 1. NCC Doc. July 1 (7 pages) (1964)

    Google Scholar 

  78. Dahl, O.-J.: SIMULA status report. NCC Doc. 1.10 (24 pages) (1964)

    Google Scholar 

  79. Dahl, O.-J., Nygaard, K.: SIMULA – A Language for Programming and Description of Discrete Event Systems: Introduction and User’s Manual. NCC Publ. no. 11 (103 pages) (May 1965); Revised versions: 1966. III, 108 pages. 5th ed. NCC (124 pages) (1967)

    Google Scholar 

  80. Dahl, O.-J., Nygaard, K.: Basic Concepts of SIMULA – an ALGOL Based Simulation Language. NCC Doc. (17 pages) (1965)

    Google Scholar 

  81. Dahl, O.-J., Nygaard, K.: SIMULA, an ALGOL Based Simulation Language. NCC Doc (26 pages) Department of Informatics (IFI), which was formed in 1978 (April 1966)

    Google Scholar 

  82. Dahl, O.-J.: Discrete Event Simulation Languages: Lectures Delivered at the NATO Summer School, Villard-de-Lans, NCC Doc., (63 pages) Department of Informatics (IFI), which was formed in 1978 (September 1966)

    Google Scholar 

  83. Dahl, O.-J., Myhrhaug, B., Nygaard, K.: SIMULA: Simula Tracing System. NCC Doc. (1966)

    Google Scholar 

  84. Dahl, O.-J., Nygaard, K.: Class and Subclass Declarations. NCC Publ. no. 93 (Presented at IFIP Working Conference on Simulation Languages, Lysebu, Oslo, May 1967), (17 pages) Department of Informatics (IFI), which was formed in 1978 (March 1967)

    Google Scholar 

  85. Dahl, O.-J., Nygaard, K.: SIMULA 67 Common Base Proposal. NCC Doc (10 pages) (May 1967)

    Google Scholar 

  86. Dahl, O.-J., Nygaard, K.: Proposals for Consideration by the SIMULA 67 Common Base Conference. NCC Doc. (June 1967)

    Google Scholar 

  87. Dahl, O.-J., Nygaard, K.: SIMULA 67 Common Base Definition. NCC Doc. (31 pages) (June 1967)

    Google Scholar 

  88. Dahl, O.-J., Myhrhaug, B., Nygaard, K.: SIMULA 67 Common Base Language. NCC Publ. S-2 (1968) (141 pages). Revised editions: (1970, 145 pages, SIMULA information: NCC Publ. S- 22), (1982, 127 pages, NCC Publ. no. 725), (1984, 172 pages, NCC Publ. no. 743) (1968) ISBN 82-539-0225-5 (All versions of the common base language definition assume knowledge of Algol 60. A final and complete version of the SIMULA 67 language definition without this assumption is found in: Standard SIMULA, as approved by the SIMULA Standards Group August 26 (176 pages) (1986) ISBN 91-7162-234-9)

    Google Scholar 

  89. Dahl, O.-J., Myhrhaug, B., Nygaard, K.: Some Uses of the External Class Concept in SIMULA 67. NCC Doc. (1968) (Presented at the NATO sponsored conference on Software Engineering, Garmisch, Germany October 1968)

    Google Scholar 

  90. Dahl, O.-J., Nygaard, K.: SIMULA 67 – Basic Information. NCC Publ. no. S-3 (12 pages) (1968)

    Google Scholar 

  91. Dahl, O.-J., Myhrhaug, B.: SIMULA 67 – Implementation Guide. NCC Publ. no. S-9, 1969. Rev. March 1973, NCC Publ. no. S-47 (146 pages)

    Google Scholar 

  92. Nygaard, K., Dahl, O.-J.: The Development of the SIMULA Languages. NCC Doc. (Publication 603) (28 pages) (1978) ISBN 82-539-0072-4 (Note: includes a bibliography) Department of Informatics (IFI), which was formed in 1978

    Google Scholar 

  93. Dahl, O.-J.: An Automatic Coding Scheme for the Ferranti MERCURY Computer. NDRE Report IR-F-286 (1956)

    Google Scholar 

  94. Dahl, O.-J.: Multiple Index Countings on the Ferranti MERCURY Computer. Norwegian Defense Research Establishment, 1957 (NDRE Report 23) & Cand real thesis, University of Oslo, Dept. of Mathematics (1957)

    Google Scholar 

  95. Dahl, O.-J., Garwick, J.V.: Programmer’s Handbook for the Ferranti MERCURY Computer Frederic at the Norwegian Defense Research Establishment. NDRE. 2. edition published by Merkantile Trykkeri, Oslo (1958); 3rd edn. NDRE (117 pages) (1962)

    Google Scholar 

  96. Dahl, O.-J.: Mac Bulletin I. NDRE report (S-15) (10 pages) MAC was an acronym for MERCURY Automatic Coding, a high level programming language for the MERCURY computer, and a compiler (1960)

    Google Scholar 

  97. Dahl, O.-J.: Mac Bulletin II. NDRE report (S-17) (3 pages) (1960)

    Google Scholar 

  98. Dahl, O.-J.: Mac Bulletin V: Macros. NDRE report (S-57) (13 pages) (1963)

    Google Scholar 

  99. ACM SIGPLAN History of Programming Languages Conference, January 1978, Los Angeles. SIMULA Session. Speakers: Nygaard and Dahl. 1 videotape (VHS) (60 min), ACM (1980)

    Google Scholar 

  100. The talk given at Software Pioneers Conference, Bonn (June 2001) (supplied with the book [36] above)

    Google Scholar 

  101. Introduction to SIMULA (talk given in Norwegian), to be available through the department homepage: http://www.ifi.uio.no/

Download references

Author information

Authors and Affiliations

  1. Department of Informatics, University of Oslo,  

    Olaf Owe, Stein Krogdahl & Tom Lyche

Authors
  1. Olaf Owe
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Stein Krogdahl
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Tom Lyche
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Dept. of Informatics, University of Oslo, Norway

    Olaf Owe

  2. Dept. of Informatics, Univ. of Oslo, Norway

    Stein Krogdahl

  3. Department of Informatics, University of Oslo,  

    Tom Lyche

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Owe, O., Krogdahl, S., Lyche, T. (2004). A Bibliography of Ole-Johan Dahl. In: Owe, O., Krogdahl, S., Lyche, T. (eds) From Object-Orientation to Formal Methods. Lecture Notes in Computer Science, vol 2635. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-39993-3_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-39993-3_2

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-21366-6

  • Online ISBN: 978-3-540-39993-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation