Et utvalg skrifter av Ole-Johan Dahl.
(Kronologisk ordnet. Skriftene er utstilt i Informatikkbiblioteket)
[Bildene er ved Øystein Christiansen, IFI/drift]
Tittel : Multiple index countings on the Ferranti Mercury computer / by
O.-J. Dahl.
Trykt : Oslo : Norwegian Defence Research Establishment, 1957.
Sidetall : 43 bl., [10] fold. pl. : ill.
I serie : (NDRE Report ; 23)
[bilde]
Tittel : Programmer's handbook for the Ferranti Mercury Computer
Frederic at the Norwegian Defense Research Establishment / By
O.-J. Dahl, and Jan V. Garwick. - 2nd ed.
Trykt : Kjeller : Norwegian Defence Research Establishment, 1958.
Sidetall : 96 s.
Tittel : Automatisk kodning : et prosjekt ved Forsvarets
forskningsinstitutt.
Trykt : [196?].
Sidetall : S. 135-141.
Forfatter : Bell, Vic
Tittel : Simscript implementation / by Vic Bell and Ole-Johan Dahl.
Trykt : Oslo : Norwegian Computing Center, 1963.
Sidetall : 31 s.
Tittel : Basic concepts of SIMULA : an ALGOL based simulation language /
by Ole-Johan Dahl and Kristen Nygaard.
Trykt : Oslo : Norsk regnesentral, [1965?].
Sidetall : 17 s.
Tittel : SIMULA : a language for programming and description of discrete
event systems : introduction and user's manual.
Trykt : Oslo : Norsk regnesentral, 1965.
Sidetall : 103 s.
Tittel : Discrete event simulation languages : lectures delivered at the
NATO summer school, Villard-de-Lans, September 1966 / by
Ole-Johan Dahl.
Trykt : Oslo : Norsk regnesentral/Norwegian Computing Center, 1966.
Sidetall : 63 pag. bl., 2 bl. : ill.
Tittel : SIMULA : an ALGOL based simulation language / by Ole-Johan Dahl
and Kristen Nygaard.
Trykt : Oslo : Norsk regnesentral, 1966.
Sidetall : 26 s.
Tittel : Simula : an ALGOL-based simulation language / Ole-Johan Dahl and
Kristen Nygaard.
Trykt : New York : Association for Computing Machinery, 1966.
Sidetall : S. 671-682.
I: Communications of the ACM ; 9(1966).
Tittel : Class and subclass declarations / Ole-Johan Dahl and
Kristen Nygaard
Trykt : Amsterdam : North-Holland, c1968.
Sidetall : 158-174
I:Simulation programming languages : proceedings of the IFIP
working conference on simulation programming languages, Oslo,
May 1967 / O.-J. Dahl, conference chairman; organized by IFIP
Technical Committee 2, programming languages ; edited by J.N.
Buxton.
Tittel : Discrete event simulation languages / Ole-Johan Dahl.
Trykt : London : Academic Press, 1968.
Sidetall : S. 349-395.
I: Programming languages : NATO Advanced Study Institute /
edited by G. Genuys.
Tittel : SIMULA 67 : common base language / by Ole-Johan Dahl, Bjørn
Myhrhaug and Kristen Nygaard.
Trykt : Oslo : Norsk regnesentral, 1968.
Sidetall : 141 s., 4 bl.
I serie : (Publication S / Norwegian Computing Center ; 2)
Rev.utg. 1970 med tit.: Common base language (Publ. ; 22).
Tittel : Kompendium til DB-2 (maskinspråk og operasjonssytem) / av
Ole-Johan Dahl.
Trykt : Universitetet i Oslo : Matematisk institutt, 1969.
Sidetall : 48 s.
Tittel : Common base language / by Ole-Johan Dahl, Bjørn Myrhaug and
Kristen Nygaard. - Rev. ed. of publication S-2.
Trykt : Oslo : Norsk regnesentral, 1970.
Sidetall : 145 s.
I serie : (SIMULA information) (Publication / Norwegian Computing Center ;
S-22)
[bilde]
Tittel : Decomposition and classification in programming languages /
Ole-Johan Dahl.
Trykt : Milano : Edizioni di Comunità, c1970.
Sidetall : S. 371-383.
I: 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, 1970. - XX, 608 s. : fig.
(Saggi di cultura contemporanea ; 87).
Tittel : Litt om symbolbruken i Algol / Ole-Johan Dahl.
Trykt : København : Regnecentralen, 1971.
Sidetall : S. 7-8.
I: Nordisk tidsskrift for informasjonsbehandling ; 2(1962).
Forfatter : Wang, Arne
Tittel : Coroutine sequencing in a block structured environment / Arne
Wang and Ole-Johan Dahl.
Trykt : København : BIT, 1971.
Sidetall : s. 425-449.
I: BIT ; 11(1971).
Tittel : Structured programming / O.-J. Dahl, E.W. Dijkstra, C.A.R. Hoare.
Trykt : London : Academic Press, 1972.
Sidetall : VIII, 220 s. : fig.
I serie : (A.P.I.C. studies in data processing ; no. 8)
ISBN : 0-12-200550-3, 0-12-200556-2 (h.)
[bilde]
Tittel : Syntaks og semantikk i programmeringsspråk / Ole-Johan Dahl.
Trykt : Lund : Studentlitteratur, 1972.
Sidetall : 103 s. : ill.
ISBN : 91-44-07111-6 (h.)
[bilde]
Tittel : Algoritmer og datastrukturer / Ole-Johan Dahl, Dag Belsnes.
Trykt : Lund : Studentlitteratur, c1973.
Sidetall : 170 s.
ISBN : 91-44-06991-x
[bilde]
Tittel : Programming discipline / Ole-Johan Dahl
Trykt : Geneva, 1974
Side : 426 - 435
I: Proceedings of the 1974 CERN school of computing
Forfatter : Jonassen, Arne
Tittel : Analysis of an algorithm for priority queue administration / by
Arne Jonassen and Ole-Johan Dahl.
Trykt : [Oslo], 1975.
Sidetall : 68 bl. : fig.
I serie : (Research report in informatics ; 3)
ISBN : 82-553-0203-4
Tittel : A model for controlling a network of processors and storage
units / Ole-Johan Dahl.
Trykt : Paris : IRIA, 1975
Side : 83 - 94
I: Theorie des algorithmes, des langages et de
la programmation
Tittel : Strukturnoe programmirovanie / U. Dal, E. Dejkstra, K. Choor ;
perevod s anglijskogo S.D. Zeleneckogo, V.V. Martynjuka i L.V.
Uchova ; pod redakciej E.Z. Ljubimskogo i V.V. Martynjuka.
Trykt : Moskva : Izdatel'stvo mir, 1975.
Sidetall : 247 s. : fig.
I serie : (Matematiceskoe obespecenie EVM)
Originaltittel: Structured programming.
[bilde]
Tittel : An approach to correctness proofs of semicoroutines / by
Ole-Johan Dahl.
Trykt : [Oslo], 1977.
Sidetall : 20 bl.
I serie : (Research report in informatics ; 13)
ISBN : 82-90230-00-1
Tittel : Can program proving be made practical? / by Ole-Johan Dahl.
Trykt : Oslo, 1978.
Sidetall : 57 bl. : ill.
I serie : (Research report in informatics ; 33)
"Lectures presented at the EEC-CREST course on programming
foundations, Toulouse 1977 (revised May 1978).".
ISBN : 82-90230-26-5
Tittel : Strukturált programozás / O.-J. Dahl, E.W. Dijkstra, C.A.R.
Hoare.
Trykt : Budapest : Muszaki Könyvkiadó, 1978.
Sidetall : 203 s.
Originaltittel: Structured programming.
ISBN : 963-10-2265-x
[bilde]
Forfatter : ACM SIGPLAN History of Programming Languages Conference (1 :
1978 : Los Angeles)
Tittel : History of Programming Languages : program: Simula : conference,
Los Angeles, June 1978 [videogram] / speakers: Nygaard and Dahl.
Trykt : New York : Association for Computing Machinery, 1980.
Sidetall : 1 kassett (VHS) (60 min).
Tittel : Can programs be made practical? / Ole-Johan Dahl.
Trykt : Le Chesnay : Institut de recherche d'informatique et
d'automatique, [1979].
Sidetall : S. 57-114.
I: Les fondements de la programmation : cours de la Commission
des communautés européennes, Toulouse, du 9 au 16 décembre 1977
. - Le Chesnay : Institut de recherche d'informatique et
d'automatique, [1979.
Tittel : Time sequences as a tool for describing program behaviour / by
Ole-Johan Dahl.
Trykt : Oslo, 1979.
Sidetall : 17 bl.
I serie : (Research report in informatics ; 48)
Forfatter : Nygaard, Kristen
Tittel : The development of the Simula languages / Kristen Nygaard,
Ole-Johan Dahl.
Trykt : New York : Academic Press, 1981.
Sidetall : S. 439-493.
I: History of programming languages / edited by Richard
L.Wexelblat. - New York : Academic Press, 1981.
Tittel : Common base language / by Ole-Johan Dahl, Bjørn Myhrhaug and
Kristen Nygaard. - Rev. ed. of publication S-22.
Trykt : Oslo, 1982.
Sidetall : 127 s.
I serie : (Report / Norwegian Computing Center ; 725)
Har bibliografi.
På omslaget: SIMULA information.
ISBN : 82-539-0206-9
Forfatter : Soundararajan, Neelam
Tittel : Partial correctness semantics of communicating sequential
processes / by Neelam Soundararajan and Ole-Johan Dahl.
Trykt : Oslo, 1982.
Sidetall : 29 bl.
I serie : (Research report / Institute of Informatics, University of
Oslo ; 66)
Har bibliografi.
ISBN : 82-90230-62-1
Tittel : Logic of programming and specification / by Ole-Johan Dahl.
Trykt : Oslo, 1984.
Sidetall : 48 bl.
I serie : (Research report / Institute of Informatics, University of
Oslo ; 84)
ISBN : 82-90230-83-4
[bilde]
Tittel : Notes on a LIFO disciplined simplex algorithm / av Ole-Johan
Dahl.
Trykt : [Oslo], 1984.
Sidetall : 7 bl.
I serie : (Research report / Institute of Informatics, University of
Oslo ; 79)
Katalogisert etter omslag.
ISBN : 82-90230-76-1
Tittel : A presentation of the specification and verification project
"ABEL" / by Ole-Johan Dahl and Olaf Owe.
Trykt : Oslo, 1984.
Sidetall : 9 bl.
I serie : (Research report / Institute of Informatics, University of
Oslo ; 90)
ISBN : 82-90230-89-3
Tittel : Specification and reasoning about discrete simulation models :
a case study / by Ole-Johan Dahl.
Trykt : [Oslo], 1985.
Sidetall : 10 bl.
I serie : (Research report / Institute of Informatics, University of
Oslo ; 94)
Foredrag ved IMACS World Congress on System Simulation and
Scientific Computation, Oslo, aug. 1985.
ISBN : 82-90230-93-1
Tittel : Preliminary report on the specification and programming
language ABEL / Ole-Johan Dahl, Dag F. Langmyhr, Olaf Owe.
Trykt : [Oslo : Institutt for informatikk, Universitetet i Oslo], 1986.
Sidetall : 86 s.
I serie : (Research report / Institute of Informatics, University of
Oslo ; 106)
ISBN : 82-7368-006-1
Tittel : Object oriented specification / Ole-Johan Dahl.
Trykt : [Oslo], 1987.
Sidetall : 18 bl.
I serie : (Research report / Institute of Informatics, University of
Oslo ; 108)
Katalogisert etter omslag.
ISBN : 82-7368-009-6
Tittel : Object-oriented specification / Ole-Johan Dahl.
Trykt : Cambridge, Mass. : MIT Press, c1987.
Sidetall : S. 561-576.
I: Research directions in object-oriented programming / edited
by Bruce Shriver and Peter Wegner. - Cambridge, Mass. : MIT
Press, c1987.
(for tiden utlånt)
Tittel : Program specification and verification techniques / Ole-Johan
Dahl.
Trykt : Oslo : Institutt for informatikk, Universitetet i Oslo, 1988-90.
Sidetall : 3 b.
I serie : (Kompendium / Universitetet i Oslo. Institutt for informatikk ;
42)
Tittel : Generator induction in order sorted algebras / Ole-Johan Dahl
and Olaf Owe.
Trykt : [Oslo], 1989.
Sidetall : 17 bl.
I serie : (Research report / Department of Informatics, University of
Oslo ; 122)
ISBN : 82-7368-027-4
Tittel : Object orientation and formal techniques : (extended abstracts) /
Ole-Johan Dahl.
Trykt : [Oslo], 1990.
Sidetall : 11 bl.
I serie : (Research report / Department of Informatics, University of
Oslo ; 138)
I serie : Lecture notes in computer science; 428, s.1-11
ISBN : 82-7368-044-4
Tittel : Formal development with ABEL / Ole-Johan Dahl and Olaf Owe,
Department of Informatics, University of Oslo.
Trykt : Berlin : Springer, c1991.
Sidetall : S. 320-362.
I: VDM '91 : formal software development methods : 4th
International Symposium of VDM Europe, Noordwijkerhout, the
Netherlands, October 21-25, 1991 : proceedings / S. Prehn, W.
J. Toetenel (eds.). - Berlin : Springer, c1991. - Bind 2,
Tutorials (Lecture notes in computer science ; 552).
Tittel : Formal development with ABEL / Ole-Johan Dahl and Olaf Owe.
Trykt : [Oslo] : Department of Informatics, University of Oslo, 1991.
Sidetall : 43 bl.
I serie : (Research report / Department of Informatics, University of
Oslo ; 159)
Katalogisert etter omslag.
ISBN : 82-7368-066-5
Tittel : Value types and object classes : talk presented at the 25 years
Simula 67 Anniversary Conferences, Nordwijkerhout 11-12 June,
1992 and Oslo 22 June / Ole-Johan Dahl.
Trykt : [Oslo] : Institute of Informatics, University of Oslo, 1992.
Sidetall : 13 bl. : fig.
I serie : (Research report / Institute of Informatics, University of
Oslo ; 170)
Spisstittel.
ISBN : 82-7368-079-7
Tittel : Object orientation and formal techniques : (extended abstracts) /
Ole-Johan Dahl.
Trykt : Berlin : Springer, 1992.
Sidetall : s. 1-11.
I: Lecture notes in computer science ; 428.
Tittel : Strictness control in term rewriting / Ole-Johan Dahl.
Trykt : 1992.
Sidetall : s. 14 (abstract)
I serie : Dagstuhl-seminar-report;29
ISSN : 0940-1121
Tittel : Verifiable programming / Ole-Johan Dahl.
Trykt : New York : Prentice Hall, 1992.
Sidetall : ix, 269 s.
I serie : (Prentice Hall international series in computer science)
ISBN : 0-13-951062-1
[bilde]
Tittel : Monitors revisited / Ole-Johan Dahl.
Trykt : Oslo : Universitetet i Oslo, Institutt for informatikk, [1993?].
Sidetall : 12 s.
I serie : (Research report / Universitetet i Oslo, Institutt for
informatikk ; 175)
Katalogisert etter omslag.
ISBN : 82-7368-084-3
Tittel : Co- and contravariance in functional subtypes : contribution to
IFIP WG2.3, June 1994 / Ole-Johan Dahl.
Trykt : [Oslo] : University of Oslo, Department of Informatics, [1994].
Sidetall : 7 s.
I serie : (Research report / University of Oslo, Department of
Informatics ; 191)
Katalogisert etter omslag.
ISBN : 82-7368-101-7
Tittel : Hoare-style parallel programming : foils for a student course,
IN305 / Ole-Johan Dahl.
Trykt : [Oslo] : University of Oslo, Department of Informatics, 1994.
Sidetall : 1 b. (flere pag.).
I serie : (Research report / University of Oslo, Department of
Informatics ; 192)
Katalogisert etter omslag.
ISBN : 82-7368-102-5
Tittel : Monitors revisited / Ole-Johan Dahl.
Trykt : New York : Prentice Hall, c1994.
Sidetall : S. 93-103.
I: A classical mind : essays in honour of C.A.R. Hoare / edited
by A.W. Roscoe.
(for tiden utlånt)
Tittel : On the use of subtypes in ABEL / Ole-Johan Dahl and Olaf Owe. -
Rev. version.
Trykt : Oslo : University of Oslo, Department of Informatics, 1995.
Sidetall : 20 s.
I serie : (Research report / University of Oslo, Department of
Informatics ; 206)
Katalogisert etter omslag.
ISBN : 82-7368-117-3
Tittel : On introducing higher order functions in ABEL [maskinlesbar fil] /
Ole-Johan Dahl and Bjørn Kristoffersen. - PostScript utg.
Trykt : Oslo : Department of Informatics, University of Oslo, c1995.
Sidetall : 18 s.
Også publisert som: Research report / Department of
Informatics, University of Oslo ; no. 210.
URL : http://www.ifi.uio.no/~ftp/publications/research-reports/Dahl-1.ps
Tittel : Subtyping and constructive specification / Ole-Johan Dahl, Olaf
Owe and Tore J. Bastiansen.
Trykt : [Oslo] : University of Oslo, Department of Informatics, 1996.
Sidetall : 38 s.
I serie : (Research report / University of Oslo, Department of
Informatics ; 228)
Katalogisert etter omslag.
ISBN : 82-7368-142-4 (h.)
Tittel : On the use of subtypes in ABEL : (revised version)
[maskinlesbar fil] / Ole-Johan Dahl and Olaf Owe. - PostScript
utg.
Trykt : Oslo : Institutt for informatikk, Universitetet i Oslo, 1996.
Sidetall : 20 s.
Artikkel også publisert som: Research report / University of
Oslo, Department of Informatics ; 206.
URL : http://www.ifi.uio.no/~ftp/publications/research-reports/Owe-1.ps
Tittel : Formal methods and the RM-ODP / Ole-Johan Dahl and Olaf Owe.
Trykt : Oslo : University of Oslo, Department of Informatics, 1998.
Sidetall : 17 s. : ill.
I serie : (Research report / University of Oslo, Department of
Informatics ; 261)
ISBN : 82-7368-192-0 (h.)
Tittel : Subtyping and constructive specification / Ole-Johan Dahl, Olaf
Owe and Tore J. Bastiansen.
Trykt : Helsinki : Helsinki University, 1998.
Sidetall : S. 19-49.
I: Nordic journal of computing ; 5(1998)no. 1.
Tittel : A note on monitor versions / Ole-Johan Dahl.
Trykt : New York : Palgrave, c2000.
Sidetall : S. 91-97.
I: Millennial perspectives in computer science. -
Tittel : The Birth of Object Orientation: The Simula
languages / Ole-Johan Dahl
Trykt : Berlin : Springer, 2002.
Utkommer i: Software pioneers: contribution to software
engineering / M. Broy, E. Denert (eds.). - Springer, 2002.
[Alle Research reports av Ole-Johan Dahl (og medforfattere)]