BibTeX records: Ole-Johan Dahl

download as .bib file

@inproceedings{DBLP:conf/birthday/Dahl04,
  author       = {Ole{-}Johan Dahl},
  editor       = {Olaf Owe and
                  Stein Krogdahl and
                  Tom Lyche},
  title        = {The Birth of Object Orientation: the Simula Languages},
  booktitle    = {From Object-Orientation to Formal Methods, Essays in Memory of Ole-Johan
                  Dahl},
  series       = {Lecture Notes in Computer Science},
  volume       = {2635},
  pages        = {15--25},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-39993-3\_3},
  doi          = {10.1007/978-3-540-39993-3\_3},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Dahl04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/02/Dahl02,
  author       = {Ole{-}Johan Dahl},
  editor       = {Manfred Broy and
                  Ernst Denert},
  title        = {The Roots of Object Orientation: The Simula Language},
  booktitle    = {Software Pioneers},
  pages        = {78--90},
  publisher    = {Springer Berlin Heidelberg},
  year         = {2002},
  url          = {https://doi.org/10.1007/978-3-642-59412-0\_6},
  doi          = {10.1007/978-3-642-59412-0\_6},
  timestamp    = {Mon, 17 Jul 2017 13:35:05 +0200},
  biburl       = {https://dblp.org/rec/books/sp/02/Dahl02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/02/DahlN02,
  author       = {Ole{-}Johan Dahl and
                  Kristen Nygaard},
  editor       = {Manfred Broy and
                  Ernst Denert},
  title        = {Class and Subclass Declarations (Reprint)},
  booktitle    = {Software Pioneers},
  pages        = {91--107},
  publisher    = {Springer Berlin Heidelberg},
  year         = {2002},
  url          = {https://doi.org/10.1007/978-3-642-59412-0\_7},
  doi          = {10.1007/978-3-642-59412-0\_7},
  timestamp    = {Mon, 17 Jul 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/sp/02/DahlN02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/DahlOB98,
  author       = {Ole{-}Johan Dahl and
                  Olaf Owe and
                  Tore J. Bastiansen},
  title        = {Subtyping and Constructive Specification},
  journal      = {Nord. J. Comput.},
  volume       = {5},
  number       = {1},
  year         = {1998},
  timestamp    = {Wed, 14 Jan 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/njc/DahlOB98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/KristoffersenD98,
  author       = {Bj{\o}rn Kristoffersen and
                  Ole{-}Johan Dahl},
  title        = {On Introducing Higher Order Functions in {ABEL}},
  journal      = {Nord. J. Comput.},
  volume       = {5},
  number       = {1},
  year         = {1998},
  timestamp    = {Wed, 14 Jan 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/njc/KristoffersenD98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/compass/1995,
  editor       = {Magne Haveraaen and
                  Olaf Owe and
                  Ole{-}Johan Dahl},
  title        = {Recent Trends in Data Type Specification, 11th Workshop on Specification
                  of Abstract Data Types Joint with the 8th {COMPASS} Workshop, Oslo,
                  Norway, September 19-23, 1995, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1130},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61629-2},
  doi          = {10.1007/3-540-61629-2},
  isbn         = {3-540-61629-2},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/compass/1995.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0068779,
  author       = {Ole{-}Johan Dahl},
  title        = {Verifiable programming},
  series       = {Prentice Hall international series in computer science},
  publisher    = {Prentice Hall},
  year         = {1992},
  isbn         = {978-0-13-951062-5},
  timestamp    = {Fri, 08 Apr 2011 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/0068779.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/OweD91,
  author       = {Olaf Owe and
                  Ole{-}Johan Dahl},
  title        = {Generator Induction in Order Sorted Algebras},
  journal      = {Formal Aspects Comput.},
  volume       = {3},
  number       = {1},
  pages        = {2--20},
  year         = {1991},
  url          = {https://doi.org/10.1007/BF01211433},
  doi          = {10.1007/BF01211433},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/OweD91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/DahlO91,
  author       = {Ole{-}Johan Dahl and
                  Olaf Owe},
  editor       = {S{\o}ren Prehn and
                  W. J. Toetenel},
  title        = {Formal Development with {ABEL}},
  booktitle    = {{VDM} '91 - Formal Software Development, 4th International Symposium
                  of {VDM} Europe, Noordwijkerhout, The Netherlands, October 21-25,
                  1991, Proceedings, Volume 2: Tutorials},
  series       = {Lecture Notes in Computer Science},
  volume       = {552},
  pages        = {320--362},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/BFb0019999},
  doi          = {10.1007/BFB0019999},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/fm/DahlO91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Dahl90,
  author       = {Ole{-}Johan Dahl},
  editor       = {Dines Bj{\o}rner and
                  C. A. R. Hoare and
                  Hans Langmaack},
  title        = {Object Orientation and Formal Techniques},
  booktitle    = {{VDM} '90, {VDM} and {Z} - Formal Methods in Software Development,
                  Third International Symposium of {VDM} Europe, Kiel, FRG, April 17-21,
                  1990, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {428},
  pages        = {1--11},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/3-540-52513-0\_1},
  doi          = {10.1007/3-540-52513-0\_1},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/fm/Dahl90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mit/shriverW87/Dahl87,
  author       = {Ole{-}Johan Dahl},
  editor       = {Bruce D. Shriver and
                  Peter Wegner},
  title        = {Object-Oriented Specifications},
  booktitle    = {Research Directions in Object-Oriented Programming},
  pages        = {561--576},
  publisher    = {{MIT} Press},
  year         = {1987},
  timestamp    = {Tue, 06 Aug 2019 13:59:35 +0200},
  biburl       = {https://dblp.org/rec/books/mit/shriverW87/Dahl87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/sigplan/Dahl86,
  author       = {Ole{-}Johan Dahl},
  editor       = {Peter Wegner and
                  Bruce D. Shriver},
  title        = {Object-oriented specification (abstract only)},
  booktitle    = {Proceedings of the 1986 {SIGPLAN} Workshop on Object-Oriented Programming,
                  {OOPWORK} 1986, Yorktown Heights, New York, USA, June 9-13, 1986},
  pages        = {184},
  publisher    = {{ACM}},
  year         = {1986},
  url          = {https://doi.org/10.1145/323779.323761},
  doi          = {10.1145/323779.323761},
  timestamp    = {Wed, 30 Mar 2022 13:48:15 +0200},
  biburl       = {https://dblp.org/rec/journals/sigplan/Dahl86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/DahlO85,
  author       = {Ole{-}Johan Dahl and
                  Olaf Owe},
  title        = {A presentation of the specification and verification project "ABEL"},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {10},
  number       = {4},
  pages        = {28--32},
  year         = {1985},
  url          = {https://doi.org/10.1145/1012497.1012507},
  doi          = {10.1145/1012497.1012507},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/DahlO85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/Dahl79,
  author       = {Ole{-}Johan Dahl},
  editor       = {Dines Bj{\o}rner},
  title        = {Time Swquences as a Tool for Describing Program Behaviour},
  booktitle    = {Abstract Software Specifications, 1979 Copenhagen Winter School, January
                  22 - February 2, 1979, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {86},
  pages        = {273--290},
  publisher    = {Springer},
  year         = {1979},
  url          = {https://doi.org/10.1007/3-540-10007-5\_40},
  doi          = {10.1007/3-540-10007-5\_40},
  timestamp    = {Fri, 17 Jul 2020 16:12:46 +0200},
  biburl       = {https://dblp.org/rec/conf/ac/Dahl79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/NygaardD78,
  author       = {Kristen Nygaard and
                  Ole{-}Johan Dahl},
  title        = {The development of the {SIMULA} languages},
  journal      = {{ACM} {SIGPLAN} Notices},
  volume       = {13},
  number       = {8},
  pages        = {245--272},
  year         = {1978},
  url          = {https://doi.org/10.1145/960118.808391},
  doi          = {10.1145/960118.808391},
  timestamp    = {Tue, 10 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigplan/NygaardD78.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hopl/NygaardD78,
  author       = {Kristen Nygaard and
                  Ole{-}Johan Dahl},
  editor       = {Richard L. Wexelblat},
  title        = {The development of the {SIMULA} languages},
  booktitle    = {History of Programming Languages, from the {ACM} {SIGPLAN} History
                  of Programming Languages Conference, June 1-3, 1978, Los Angeles,
                  California, {USA}},
  pages        = {439--480},
  publisher    = {Academic Press / {ACM}},
  year         = {1978},
  url          = {https://doi.org/10.1145/800025.1198392},
  doi          = {10.1145/800025.1198392},
  timestamp    = {Thu, 01 Oct 2020 16:41:46 +0200},
  biburl       = {https://dblp.org/rec/conf/hopl/NygaardD78.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hopl/Dahl78,
  author       = {Ole{-}Johan Dahl},
  editor       = {Richard L. Wexelblat},
  title        = {Transcript of discussant's remarks},
  booktitle    = {History of Programming Languages, from the {ACM} {SIGPLAN} History
                  of Programming Languages Conference, June 1-3, 1978, Los Angeles,
                  California, {USA}},
  pages        = {488--490},
  publisher    = {Academic Press / {ACM}},
  year         = {1978},
  url          = {https://doi.org/10.1145/800025.1198394},
  doi          = {10.1145/800025.1198394},
  timestamp    = {Thu, 01 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hopl/Dahl78.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Dahl74,
  author       = {Ole{-}Johan Dahl},
  editor       = {Andrzej Blikle},
  title        = {An Approach to Correctness Proofs of Semicoroutines},
  booktitle    = {Mathematical Foundations of Computer Science, 3rd Symposium at Jadwisin
                  near Warsaw, Poland, June 17-22, 1974, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {28},
  pages        = {157--174},
  publisher    = {Springer},
  year         = {1974},
  url          = {https://doi.org/10.1007/3-540-07162-8\_678},
  doi          = {10.1007/3-540-07162-8\_678},
  timestamp    = {Tue, 14 May 2019 10:00:37 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/Dahl74.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0070495,
  author       = {Ole{-}Johan Dahl and
                  Edsger W. Dijkstra and
                  Charles Antony Richard Hoare},
  title        = {Structured programming},
  series       = {{A.P.I.C.} Studies in data processing},
  volume       = {8},
  publisher    = {Academic Press},
  year         = {1972},
  isbn         = {978-0-12-200550-3},
  timestamp    = {Wed, 17 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/0070495.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/DahlN66,
  author       = {Ole{-}Johan Dahl and
                  Kristen Nygaard},
  title        = {{SIMULA} - an ALGOL-based simulation language},
  journal      = {Commun. {ACM}},
  volume       = {9},
  number       = {9},
  pages        = {671--678},
  year         = {1966},
  url          = {https://doi.org/10.1145/365813.365819},
  doi          = {10.1145/365813.365819},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cacm/DahlN66.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics