Ole-Johan Dahls kontorarkiv Sortert: År, navn, tittel 1. februar 2017 Opplysningen til slutt i referansene angir fysisk plassering av dokumentet. Eksempel: B12-3 = Arkivboks 12, omslag 3. Det er flere dokumenter i hvert omslag. Sine nomine = uten navn. Sine anno = uten år. Referanser ProCos–ESPRIT project (1993-1996). Final and annual reports. Brev, rapporter, artikler, programmer for møter og arbeidsgrupper angående ProCos–ESPRIT prosjektet. B1- 2. CERN School of Computing – 1974 (1973–1974a). Lecture abstracts and reading lists. Böck: The Hydra system; Buxton: Software engineering; Dahl: Programming disci- pline; friedman: Data Presentation; Jank: ERASME – a bubble chamber film measu- ring system; Ribaud: Introduction to Computer Systems Architecture; Mazare: Multip- rocessor systems; Sumner: Introduction to Computer Systems Architecture Hardware; Verkerk; Special Purpose Processors. B1-8. — (1973–1974b). Lecturer correspondence. Nevnt: Nygaard, Monrad-Krohn, Friedman, Buxton, Perlis, Böck, Verkerk, Sumner, Dahl, Otrage, Bolliet, Jank, Brinch Hansen. B1-7. — (1973–1974c). Notes. Handwritten notes by Ole-Johan Dahl. 2 sider. B1-7. — (1973–1974d). Planning. Program drafts, minutes from meetings in the organizing committee. Several documents. B1-7. — (1973–1974e). Practical arrangements. Bergen Kongress Service. Accommodation, Travel Program, Technical equipment. Several documents. B1-8. Norges Almenvitenskapelige Forskningsråd og Norges forskningsråd (1971–1994). Søkna- der, søknadssvar, framdriftsrapporter for ulike prosjekter. Gjelder følgende prosjekter: • ESPRIT prosjekt nr 6112 - COMPASS • Programspesifikasjon og maskinstøttet resonnement • Semantiske aspekter ved modulsammensetning i ABEL 1 • Formell modellering, spesifikasjon og verifikasjon av sikkerhet i datasystem • ProCos – probably correct systems • Seminar om substitusjonssystemer • A comprehensive algebraic approach to system specification and development • MUSIKUS 2 – databaserte redskaper for musikkforskning • Laboratorium for logikk og programmering • Mekanisering av sekvent-kalkyle • Interaktiv og integrert verifikasjon • Programutvikling på matematisk arbeidsplassmaskin • Språkdefinisjon av ABEL-II • Programmeringsverktøy for multimikromaskin • Mikroprosessorstyrt orgel og plotter • Cellevekstsystemer studert ved hjelp av kybernetiske metoder • Lønn til Donald E. Knuths forskningsopphold (1972) Nevnt: Helena Caseiro, Dalip Dewan, Dag Diesen, Arne Kristian Groven, Bente Gus- tavsen, Jon Haugsand; Herman Ruge Jervell, Bjørn Kirkerud, Bjørn Kristoffersen, Tellef Kvifte, Tor Sverre Lande, Dag F. Langmyhr, Olav Lysne, Olav Mørland, Else Nordhagen, Kjell-Eigil Nordli, Knut Omang; Christian-Emil Ore, Olaf Owe, Anne Salvesen, Sverre Spurkland;Jens Thomassen, Arild Vollsnes, Arne Wang; Erik Aar- næs. B5-1/2. IFIP WG 2.3 (1980–1995). Minutes and letters concerning meetings. B4-1. International Federation for Information Processing (1990–1994). IFIP Newsletter. Is- sues: vol 1(2); 2(4); 7(2,3); 8(1–4); 9(2); 10(3); 11(1,3). B4-2. url: http : / / www . ifip.org/index.php?option=com_content&task=view&id=134&Itemid=450 (sjekket 20.09.2016). — (1981–1994). Information Bulletin. Issues: 15–20, 22–25. Includes programs for the 12th and 13th IFIP Congresses. B4-3. url: http://www.ifip.org/index.php?option= com_content&task=view&id=134&Itemid=450 (sjekket 20.09.2016). Arsac, Jacques (sine anno). Here is a draft report. Brev til: Ole-Johan Dahl. Christmas card. B9-2. Association of SIMULA Users (sine anno[a]). List of members. 11 sider. B6-4. — (sine anno[b]). SIMULA usage report. • No. 2 Nuclear Research Center – Karlsruhe (2 sider) • No. 3 SHAPE Technical Centre – The Hague (8 sider) • No. 4 Bureaux Services of UNIVAC Holland (2 sider) B6-4. Bährs, A. A. (sine anno). There is being elaborated in our Computing Center a multi- language universal compiler from ALGOL 68, PL/1 and SIMULA-67, which is called “project BETA”. Brev til: Ole-Johan Dahl. Håndskrevet: Graham will take care of this and send you a copy of his reply. Hilsen Eileen. B8-2. 2 Björk, Harry (sine anno). Kommentar til Common Base. Håndskrevet. Enligt min smak blir definitionen klarare om “lastitem := false” sätts på lämpligt ställe. B1-9. Bonyun, David A. (sine anno). We have a paper describing the mathematical basis of out new (intermediate) language, m-Verdi. Brev til: Ole-Johan Dahl. Spør om vurdering. B10-2. Clint, M. (sine anno). An approach to floating-point function theory. Stensil. 20 sider. B3-5. Dahl, Ole-Johan (sine anno[a]). “6112-COMPASS”. Håndskrevet utkast til søknad(?). B11-4. — (sine anno[b]). Anbefaling til NTNF. Utkast. Håndskrevet. Nevnt: Neelam Soundara- rajan. B10-1. — (sine anno[c]). Ark med tre adresser. Nevnt: Peter Wegner, Terry Winograd, Erik Sandwall. B11-1. — (sine anno[d]). Det er vanskelig generelt å implementere kritiske regioner ved hjelp av vanlige variable. Håndskrevet manuskript. 2 sider. B12-2. — (sine anno[e]). Olaf Owe. Utkast til attest. Nevnt: Olaf Owe. B9-3. — (sine anno[f]). Oppgaven er en del av ABEL-prosjektet, og er tenkt som en videreføring av Omangs hovedfagsoppgave. Nevnt: Knut Omang. B12-1. — (sine anno[g]). Please convey my best regards and thanks to professor van Wijngarden for his kind invitation. Brev til: J. C. van Vliet. B10-1. — (sine anno[h]). Recommendation. Nevnt: Tor Sverre Lande. B10-2. — (sine anno[i]). Recommendation. Håndskrevet manus. Nevnt: Frode Holm. B10-2. — (sine anno[j]). Referee report on B. Sanden: Restarting a Real-Time System. Correct- ness Analysis. 2 sider. B9-3. — (sine anno[k]). Referee Report on Cuong-Kien Duong, Devick Wood: Should Compilers Automatically Paragraph? B9-3. — (sine anno[l]). Referee Report on J. Geogres, F. Heymans: On Compund Statements in a Conversational Language. B9-3. — (sine anno[m]). Referee report on J. H. Kingston: The Amortized Complexity of Hen- riksen’s Algorithm. B10-3. — (sine anno[n]). Referee Report on J. W. Goodwin: Taxonomic Programming with Klo- ne. B9-4. — (sine anno[o]). Referee report on John I. Dalseng: A parallel Approach to Simulation. B13-1. — (sine anno[p]). Referee report on: K. C. Wang and P. C. Y. Chen “List: a New Data Type for Concurrent Programming”. 2 sider. B9-5. — (sine anno[q]). Referee report on P. W. Purdon: Program Indentation. B9-4. — (sine anno[r]). Referee Report on W. H. Kaubisch, C. A. R. Hoare: Discrete Eevent Simulation Based on Communicating Sequential Processes. 2 sider. B9-3. — (sine anno[s]). Referee report on Wise and Friedman: The One Bit Reference Count. B9-4. — (sine anno[t]). Thanks for inviting me to the June conference. Brev til: PW%BROWN.- CSNET. Håndskrevet. B10-3. 3 Dahl, Ole-Johan (sine anno[u]). The authors are making one good point: compiler inden- tation is useful. Referee report. Håndskrevet. Nevnt: Bruce Knobe, G. Yuval. B9-2. — (sine anno[v]). Vedlegger to referee rapporter, dessverre sterkt forsinkete. Brev til: Carl-Erik Fröberg. 1978-03-20 sider. B2-3. — (sine anno[w]). Verif. theory of prog. Håndskrevne notater. 3 sider. B11-2. — (sine anno[x]). Visit Asker. Wir haben zur Zeit keine andere feste Verabredungen als 26/7 (Violin-Talent den ganzen Tag, Streichquintett Abends). Brev til: Schuele. Kopi av epost. B11-3. Aarvik, Oddmund og Paul H. Randolph (sine anno). The application of linear program- ming to the determination of transmission fees in an electrical power network. B9-1. Garwick, Jan V. (sine anno). Problemet til høyre er det nydeligste jeg har sett, jeg løste det i 30 min uten endog regnestav. Brev til: Ole-Johan Dahl. Handwritten, with a copy of a numerical analysis problem from Stanford. B8-1. Halaas, Arne (sine anno). «Event-driven Control Statements : a Discussion». I: 17 sider. B9-3. Hoare, C. A. R. (sine anno[a]). A Calculus of Total Correctness for Communicating Processes. Særtrykk. B3-2. — (sine anno[b]). An Axiomatic Basis for Computer Programming. B3-2. — (sine anno[c]). Initialisation of variables. Kopi av håndskrevet manus. 7 sider. B3-3. — (sine anno[d]). Notes on the theory and practice of data structuring. Stensil. 22 sider. B3-3. — (sine anno[e]). Procedures and parameters: an axiomatic approach. Stensil. 15 sider. 3 eksemplarer. B3-3. — (sine anno[f]). Proof of a program : FIND. Stensil. 17 sider. B3-3. — (sine anno[g]). Representation of Matrices. Kopi av håndskrevet utkast. 23 sider. B3-3. — (sine anno[h]). Set manipulation. Stensil. 9 sider. B3-3. — (sine anno[i]). Subscript Optimisation and Subscript Checking. Kopi av håndskrevet utkast. 25 sider. B3-4. — (sine anno[j]). Text processing. Stensil. 23 sider. B3-3. — (sine anno[k]). The Structure of an Operating System. Stensilrapport. 24 sider. B3-3. Hoare, C. A. R., Zhou Chao Chen og Anders P. Ravn (sine anno). The enclosed brief article is being sent to a few scientists. Brev til: Ole-Johan Dahl. Med håndskrevet bemerkning fra Ravn. B12-3. Hoare, C. A. R., W. H. Kaubisch og Ron H. Perrott (sine anno). Quasiparallel program- ming. Stensil. 22 sider. B3-3. Iversen, Anne (sine anno). Referring to our letter of 09.08.1988 concerning referees. Brev til: G. Metakides. Nevnt: Jens Erik Fenstad. B13-1. Jones, Cliff B. (sine anno). Re: “LIST: A New Data Type for Concurrent Programming”. Brev til: K. C. Wang, P. C. Y. Chen. Håndskrevet beskjed til Ole-Johan Dahl. B11-1. Klemmetsen, H.-P. (sine anno). Samarbeide med de akademiske databehandlingsmiljøer. Brev til: Svein Nordbotten, Arne Sølvberg, Ole-Johan Dahl, Knut Skog. B9-3. Krogdahl, Stein (sine anno). I have some comments on your axiomatic definition of PASCAL. Handwritten draft of a letter to Wirth and Hoare. 6 sider. B7-6. 4 Marinov, Vesko (sine anno). Look what the “Lisp crowd” claims! Brev til: Ole-Johan Dahl. Håndskrevet bemerkning på et notat der det er understreket: “LISP’s notion of “object” has been incorporated into many subsequent languages (e.g. SIMULA 67)”. B9-5. Matematisk institutt (sine anno). Karakterskalaen ved eksamener ved Det matematisk- naturvitenskapelige fakultet. Suggestions to the grading system. B7-3. Molnar, George (sine anno). SEL – a Self Extensible programming Language. 13 sider. B6-3. Nakajima, Reiji (sine anno). CV. 2 sider. B9-3. Neel, Danièle (sine anno). This is a gentle reminder to send us, as previously agreed, the final version of the Lecture Notes of the CREST.