Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Ole-Johan Dahl
@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} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.