Ole-Johan Dahls kontorarkiv Donald E. Knuth Sortering: navn, år, tittel

Transkript

1 Ole-Johan Dahls kontorarkiv Donald E. Knuth Sortering: navn, år, 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 [1] Dag Belsnes. Nå lakker det mot slutten av mitt opphold ved Stanford. Brev til: Ole-Johan Dahl. Om utvikling av kommunikasjonsprotokoller og om Concurrent Pascal. Nevnt: Donald E. Knuth, Stein Krogdahl, Per Brinch Hansen. 4 sider. B okt [2] Graham Birtwistle. Thanks for your reply of March 10th. Copy of letter to Donald E. Knuth, replying to earlier discussion. 5 sider. Nevnt: Bjørn Myhrhaug. Themes: SIMULA 67. B mar [3] Graham Birtwistle. Your perspicacious letter of 27th January 1970 to Professor Ole-Johan Dahl has been sent here (in copy). Brev til: Donald E. Knuth, regarding Knuth s comments to the SIMULA 67 documentation, and inquiring on openings at Stanford for the student Bjørn Myhrhaug. Answers to Knuth s comments, 6 sider. Nevnt: Bjørn Myhrhaug. Themes: SIMULA 67 B mar [4] Ole-Johan Dahl. I was delighted by your last letter, and wish you welcome to stay in Oslo as long as you wish. Brev til: Donald E. Knuth. On practicalities concerning Knuth s planned stay at the University of Oslo. 2 sider. Nevnt: Dag Belsnes. B aug [5] Ole-Johan Dahl. I was delighted by your last letter, and wish you welcome to stay in Oslo as long as you wish. It will be great fun to have you here, piano duets and all. Brev til: Donald E. Knuth. Nevnt: Dag Belsnes. 2 sider. B aug [6] Ole-Johan Dahl. Møte om vedlagte brev fra D. E. Knuth er foreslått til mandag 9/2 kl 09,30 på Norsk Regnesentral. Brev til: Bjørn Myhrhaug, P.M. Kjedaas og Dag Belsnes. B feb

2 [7] Ole-Johan Dahl. I have the pleasure to invite you to come to Oslo and stay at the University of Oslo from the summer of 1972 until the summer of Brev til: Donald E. Knuth. B jan [8] Ole-Johan Dahl. It is too bad that I shall a turnaround time of half a year, especially since I m otherwise functioning as multi-access. Brev til: Donald E. Knuth. About practical and economic arrangements for the visit. Nevnt: Tony Hoare. 2 sider. B nov [9] Ole-Johan Dahl. Thanks for letters. The address of the apartment is indeed: Ovenbakken 8, Østerås. Brev til: Donald E. Knuth. On practicalitites concerning Knuth s coming stay at the University of Oslo. 2 sider. Nevnt: Wyman, C. A. R. Hoare. B des [10] Ole-Johan Dahl. Thanks for your letter of March 16. It is I who should apologise for not writing letters, not you. Brev til: Donald E. Knuth. 3 sider. Nevnt: Bjørn Myhrhaug, Arne Wang, Brun, Ore, Skolem, Mittag Leffler, Thue, Lie, Sandewall. B [11] Ole-Johan Dahl. Thanks for your letter, which came at an opportune moment. Brev til: Donald E. Knuth. On practicalities concerning Knuth s coming stay at the University of Oslo. 2 sider. B nov [12] Ole-Johan Dahl. We have uncovered the apartment specifications (enclosed), but there is nothing about the size. Brev til: Donald E. Knuth. Practical and economic arrangements concerning visit. Nevnt: Wyman, Tony Hoare. 2 sider. B des [13] Ole-Johan Dahl. Arbeidstillatelse for gjesteprofessor. Brev til: Statens utlendingskontor. Nevnt: Donald E. Knuth. B mai [14] Ole-Johan Dahl. Det bekreftes at Jennifer Knuth vil benytte den innvilgede plass som elev ved Førskolen året Brev til: Førskolen Østerås. Nevnt: Donald Knuth. B jun [15] Ole-Johan Dahl. I understand your position and sympathise very much with you. Brev til: Paul H. Randolph. About a position as førsteamanuensis in Oslo. Nevnt: Donald E. Knuth. 2 sider. B jun [16] Ole-Johan Dahl. Since there were some awkward misprints in my letter, I thought I should identity them, that is the ones I have seen. Brev til: Donald Knuth. B jan [17] Ole-Johan Dahl. There seems to be no end to the troubles arising from your stay in Oslo. Brev til: Donald E. Knuth. Om svensk skattekrav: Quicksort. Nevnt: Amble, Arne Jonassen, Hans Langmaack, Paul Randolph, Dags Belsnes, Stein Krogdahl. 2 sider. B sep [18] Ole-Johan Dahl. Vedrørende skattekrav på Donald E. Knuth. Brev til: Lokala Skattemyndigheten. Vedlegg: Kopi av svensk skattekrav. B sep

3 [19] Ole-Johan Dahl. Many thanks for accepting Jonassen as guest at Stanford. Brev til: Donald E. Knuth. Om deltakelse i 17. mai-komité. Nevnt: Arne Jonassen. B mai [20] Ole-Johan Dahl. Since it will take some time until the Jonassen paper is through the printing mill, I send you a preliminary copy. Brev til: Donald E. Knuth. Nevnt: Arne Jonassen. B feb [21] Ole-Johan Dahl. Thank you very much for your interesting comments to our p- tree paper, and for pointing out a number of flaws. Brev til: Donald E. Knuth. Kommentar til ordet informatikk. Nevnt: Arne Jonassen. 3 sider. B apr [22] Ole-Johan Dahl. Thanks for your letter, which I would have answeered sooner if I hadn t been engaged in all these interminable and urgent meetings to on our next local computer. Brev til: Donald E. Knuth. Om kjøp av flygel; oversettelse av bok. Nevnt: Arne Jonassen, Dag Belsnes. 2 sider. B okt [23] Ole-Johan Dahl. Hurra, vi gleder oss til du kommer, og ikke først og fremst p.g.a. administrasjonen, som har gått rimelig greit. Brev til: Arne Jonasen. Nevnt: Oddvar Hesjedal, Stein Gjessing, Per Ofstad, Olav Dahl, Amble, Paul H. Randolph, Gerhard Skagestein, Olaf Owe, Lars Walløe, Donald E. Knuth. B jun [24] Ole-Johan Dahl. I wish to thank you for your interest in Jonassen. Brev til: Donald E. Knuth. Om doktorarbeidet til Jonassen. Nevnt: Arne Jonassen. B sep [25] Ole-Johan Dahl. Takk for gode nyheter. Don har også skrevet og sagt han mener du bør kunne gå for norsk doktorgrad. Brev til: Arne Jonassen. Kommentarer til avhandlingsmanus. Nevnt: Donald E. Knuth. 2 sider. B sep [26] Ole-Johan Dahl. At last I have something to tell you about the Jonassen committee. Brev til: Donald E. Knuth. Nevnt: Arne Jonassen,Carl-Erik Fröberg. 2 sider. B jun [27] Ole-Johan Dahl. I am now back from vacation at the south coast, fishing, hunting crabs at night and getting some sun on the body. Brev til: Donald E. Knuth. About Jonassen s dissertation. Nevnt: Carl-Erik Fröberg, Torleiv Kløve, Arne Jonassen. 2 sider. B aug [28] Ole-Johan Dahl. I have forgotten the obvious: to invite you to give lectures in Oslo. Brev til: Donald E. Knuth. Om Jonassens doktoravhandling. Nevnt: Arne Jonassen. B sep [29] Ole-Johan Dahl. Many thanks for your letter of September 27, which contained exactly the comments needed to fill the gaps. Brev til: Donald E. Knuth. Om Jonassens doktoravhandling. Nevnt: Torleiv Kløve, Arne Jonassen. B okt

4 [30] Ole-Johan Dahl. Oversender et eksemplar av Jonassens avhandling til gjennomsyn. Brev til: Ernst S. Selmer. Nevnt: Arne Jonassen, Donald E. Knuth. B mar [31] Ole-Johan Dahl. This letter came so late that the best I could do was to return it to Stanford. Brev til: Donald E. Knuth. About sabbatical at Stanford. B nov [32] Ole-Johan Dahl. This letter is two weeks later than I had planned. Brev til: Donald E. Knuth. Nevnt: Torleiv Kløve, Arne Jonassen. B sep [33] Ole-Johan Dahl. Vedlegger som informasjon til deg et brev til prof. Knuth om Jonassen-saken. Brev til: Torleiv Kløve. About Jonassen s dissertation. Nevnt: Arne Jonassen, Donald E, Knuth. B aug [34] Ole-Johan Dahl. I really look forward to the fall term at Stanford. Brev til: Donald E. Knuth. Nevnt: Vesko Marinov, Bob McKeeman, Per Brinch Hansen, Jan V. Garwick, Jim J. Horning. B apr [35] Ole-Johan Dahl. It has recently become clear that I shall spend the summer and autumn in the US, visiting Don Knuth and others. Brev til: Brian Randel. B apr [36] Ole-Johan Dahl. Now, at last the university has decided to let me have the fall semester off. Brev til: Donald E. Knuth. Nevnt: Per Brinch Hansen. 2 copies. B mar [37] Ole-Johan Dahl. I m writing to you according to a suggestion by Carl-Erik Fröberg. Brev til: Donald E. Knuth. Nevnt: Germund Dahlquist, Carl-Erik Fröberg, Olaf Owe, Per Bothner. B mar [38] Ole-Johan Dahl. You seem to need a good sized vacation. Brev til: Donald E. Knuth. B apr [39] Ole-Johan Dahl. Please forgive the stupid letter we sent yesterday. Brev til: Donald E. Knuth. Nevnt: Jens Thomassen. B mai [40] Ole-Johan Dahl. Thanks very much for your note, and especially for taking the time to make the whole thing possible. Brev til: Donald E. Knuth. B mar [41] Ole-Johan Dahl. Here is a copy of the current printing of my book, with a few more corrections added by hand. Brev til: Donald E. Knuth. Inneholder Dahls liste over et utvalg av hans publikasjoner. 2 eksemplarer. 2 sider. B jun [42] Ole-Johan Dahl. I sincerely hope both of you got through your visit to St.Petersburg without difficulties of any kind. Brev til: Donald E. Knuth. Inneholder liste over musikkstykker som ble spilt under opphold i Norge. 2 sider. B mai [43] Ole-Johan Dahl. There is no sign of any Dag Mellgrin here. Brev til: Donald E. Knuth. B aug

5 [44] Ole-Johan Dahl, Jens Erik Fenstad og Lars Walløe. Forslag om innvalg av utenlandsk medlem til Det Norske Videnskaps-Akademi, Den matematisk-naturvitenskapelige klasse, gruppe 1. Nevnt: Donald E. Knuth. B jan [45] Edsger W. Dijkstra. I m awfully grateful for your kind and encouraging letter of December 7, 1972, the more grateful because my mailbox is also used for throwing dirt at me. Copy of letter to Donald E. Knuth, discussing the goto statement. 4 sider. B jan [46] Henry Eidås. Betr. debetsedel på preliminär skatt år 1973 nr avseende Donald E. Knuth. Brev til: Ole-Johan Dahl. Om betaling av skatt til Sverige. B okt [47] C. A. R. Hoare. Many, many thanks for inviting me to Oslo, and for making my stay so pleasant and fruitful. Brev til: Ole-Johan Dahl. Nevnt: Donald Knuth. B nov [48] C. A. R. Hoare. Thank you very much for sending me a copy of your letter to Dijkstra, and forwarding his reply. Copy of letter to Donald E. Knuth, replying to Knuth s comments on Structured Programming. 2 sider. B jan [49] Arne Jonassen. Jeg takker for brev med kommentarer. Brev til: Ole-Johan Dahl. Håndskrevet. Nevnt: Donald E. Knuth, Oddvar Hesjedal. 2 sider. B apr [50] Arne Jonassen. Tida flyr som en jo-jo, nå er det snart slutt på april også. Brev til: Ole-Johan Dahl. Nevnt: Donald E. Knuth. 2 sider. B apr [51] Arne Jonassen. Tida flyr som en oj-oj og vi har alt vært her mer enn halve tida. Brev til: Ole-Johan Dahl. Om avhandlingsarbeidet ved Stanford. Nevnt: Donald E. Knuth. 2 sider. B jul [52] Donald E. Knuth. «Semantics of context-free languages». I: Mathematical systems theory 2.2 (1968). Photocopy of article. B2-5, s [53] Donald E. Knuth. I am contemplating spending a year or maybe 15 months in Norway, beginning in the summer of Brev til: Ole-Johan Dahl. You and I can play piano duets. B jun [54] Donald E. Knuth. I have a frivolous request to make of you, which I don t believe will take much of your time. Brev til: Ole-Johan Dahl. Concerning Knuth s academic ancestry. Nevnt: Hall, Ore, Mittag-Leffler, HOYAR(?). Attached: Handwritten note (by OJD?) on Knuth s academic ancestry, 3 sider. Nevnt: Ore, Skolem, Thue, Lie. B nov [55] Donald E. Knuth. It was good to see you at the Newcastle conference. Brev til: Ole- Johan Dahl. On practicalities concerning Knuth s coming stay at the University of Oslo. 2 sider. Themes: The Art of Computer Programming vol. 5. CV with publications list attached (5 pages). B okt

6 [56] Donald E. Knuth. One of my students, Mr. Wayne Wilner, is preparing a formal definition of the SIMULA 67 Common Base Language as a basis for his Ph.D. dissertation. Brev til: Ole-Johan Dahl, commenting on the SIMULA 67 documentation. 5 sider. B jan [57] Donald E. Knuth. Thanks for your letter. Barring unforeseen calamities, I will begin making tentative plans to live in Oslo from the beginning of summer 1972 to the end of summer Brev til: Ole-Johan Dahl. Nevnt: Mittag-Leffler, Dag Belsnes, Niklas Wirth, Stein Krogdahl. B aug [58] Donald E. Knuth. Thanks for your letter of March 4. I have a few quick comments on your comments on my comments. Brev til: Graham Birtwistle, discussing the SIMULA 67 documentation. 2 sider. Enclosed copy of Birtwistle s comments, with Knuth s notes (6 pages). Nevnt: Bjørn Myhrhaug. Themes: SIMULA 67. B mar [59] Donald E. Knuth. I thank you very much for your letter of January 6; please excuse me for not replying sooner. Brev til: Ole-Johan Dahl. Nevnt: Bjørn Myhrhaug. B mar [60] Donald E. Knuth. Prof. Bostwick Wyman of our math department spent last year at U. of Oslo and so he can help Jill and me prepare for our trip. Brev til: Ole- Johan Dahl, on practicalitites concerning Knuth s coming stay at the University of Oslo. Nevnt: Wyman. B des [61] Donald E. Knuth. Thanks for your letter of April 2. Knut Skog suggested that I ask you to enroll my children in (Norwegian) school. Brev til: Ole-Johan Dahl. On practicalities concerning Knuth s coming stay at the University of Oslo, commenting on academic ancestry, and on a paper written by OJD on Hiearchical program structures. Nevnt: Thue, Skolem, Mittag-Leffler. B apr [62] Donald E. Knuth. Thanks very much for your letter and enclosures. Please state again the precise size of the flat. Brev til: Ole-Johan Dahl, on practicalities concerning Knuth s coming stay at the University of Oslo. B nov [63] Donald E. Knuth. You must be busier than I am! Brev til: Ole-Johan Dahl. On practicalitites concerning Knuth s coming stay at the University of Oslo, and requesting information on research reports from the University of Oslo. B okt [64] Donald E. Knuth. I was glad to have the chance to see you on your trip through here. Brev til: Ole-Johan Dahl, on practicalitites concerning Knuth s coming stay at the University of Oslo. B mai [65] Donald E. Knuth. Ole-Johan Dahl has just given me a copy of the new book Structured Programming, and I want to congratulate you on an especially fine job. Brev til: Dijkstra, commenting the book Structured Programming. CC: to O.-J. Dahl, R. Floyd,T. Hoare, P. Naur, R. Sites, K. Wirth. 9 sider. B des

7 [66] Donald E. Knuth. A terminological proposal. Note on the process of deciding on a new technical term, ending up with NP-hard and NP-complete. Themes: NP. 7 sider. B [67] Donald E. Knuth. I want to thank all of you for your help in choosing a name for those NP-hard problemes, especially since I know that many of you gave the matter lots of serious thought and took the time to write me a long letter. Letter adressed to Combinatorial Algorithmicists (everyone who voted), thanking for contributing to deciding on a name for NP-hard problems. Themes: NP. B des [68] Donald E. Knuth. In 1971 a new international journal dedicated to rapid communication in the field of information processing was started by North-Holland Publishing Co., under the title Information processing letters. Brev til: Ole-Johan Dahl asking for contributions. B mai [69] Donald E. Knuth. Since I know the mail is untrustworthy, I hope you received the letter I sent in September. Brev til: Ole-Johan Dahl. Nevnt: Stein Krogdahl, C. A. R. Hoare, Enflo. Planlegger pianoduetter med sistnevnte. Vedlegg: kopi av brev datert September 19, 1973 (2 sider). B des [70] Donald E. Knuth. This is the third and last in the series of letters to myself based on the book Structured Programming. Copy of letter to Ole-Johan Dahl (cc: Dijkstra, Floyd, Hoare, Naur, Wirth), commenting on Dahl s contribution to Structured Programming. Om Mozart, travel expences. 8 sider. B apr [71] Donald E. Knuth. Well, we all made it safely through the complicated 6-week return itinerary. Brev til: Ole-Johan Dahl. Mangler en side. B sep [72] Donald E. Knuth. Well, we all made it safely throuh the complicated 6-week return itinerary! Copy of letter to Ole-Johan Dahl. Themes: Mozart, travel expences. Nevnt: Overholt. Vedlegg: Copy of travel expenses (5 pages). 2 sider. B sep [73] Donald E. Knuth. You should have recently received a copy of a longish letter I wrote to Dijkstra, about Structured Programming. Brev til: C. A. R. Hoare. CC: to O.-J. Dahl, E. W. Dijkstra, R. W. Floyd, P. Naur, R. L. Sites, N. Wirth. Comments on the Hoare chapter in Structured programming. 7 sider. B jan [74] Donald E. Knuth. Brev til: Ole-Johan Dahl. Commenting on the second draft of the article Structured programming with go to statements. Nevnt: Tarjan. 2 sider. B apr [75] Donald E. Knuth. As I wrote to Amble, there was a mysterious silence on the one tape that supposedly contained computer-mozart music. Brev til: Ole-Johan Dahl. Om sorteringsalgoritme og oversettelse av Algoritmer og datastrukturer. Nevnt: Reino Kurki-Suonio, Per Enflo, Dag Belsnes. B sep

8 [76] Donald E. Knuth. I can t thank you enough for the time you spent reading and writing comments on the first draft of my paper about Structured Programming. Brev til: Ole-Johan Dahl, concerning Knuth s draft Structured Programming with go to statements. Nevnt: Tarjan. Vedlegg: mangler. 2 sider. B apr [77] Donald E. Knuth. Thanks for your penetrating comments on my draft paper. Brev til: Ole-Johan Dahl. Nevnt: Dag Belsnes, Stein Krogdahl. B apr [78] Donald E. Knuth. The occasion for this letter is the enclosed note from Sweden: somehow they want me to pay Swedish income tax for Brev til: Ole-Johan Dahl. Nevnt: Stein Krogdahl, Amble, Tarjan. Themes: Swedish tax claim, quicksort. B aug [79] Donald E. Knuth. I hope this letter reaches you in time. Brev til: Ole-Johan Dahl. Ønsker Jonassen velkommen til Stanford. Nevnt: Arne Jonassen, Stein Krogdahl. 2 sider. B mai [80] Donald E. Knuth. I think I have fallen in love with a piano, but since it may be the only on made by Grotrian-Steinweg which is for sale on the West Coast of America. Brev til: Ole-Johan Dahl. Om flygelkjøp. B sep [81] Donald E. Knuth. What wonderful news about your upcoming sabbatical year. Brev til: Ole-Johan Dahl. Nevnt: Arne Jonassen. B okt [82] Donald E. Knuth. Your paper with Jonassen on p-trees was extremely interesting, as expected. Brev til: Ole-Johan Dahl. Kommentar til bruken av ordet informatics. 4 sider. B mar [83] Donald E. Knuth. Goodness, I just saw for the first time a reference to an early work of yours that I never knew about. Can you please send me a copy of Autocoding for the Ferranti Mercury Computer. Brev til: Ole-Johan Dahl. B jun [84] Donald E. Knuth. I ve spent the last weekend looking at the things Arne Jonassen has been doing here. Brev til: Ole-Johan Dahl. Etterspør FFI-rapport. Nevnt: Arne Jonassen, Arnold Schönhage. B jul [85] Donald E. Knuth. Jonassen continues to do impressive things here and it will be our loss when he leaves. Brev til: Ole-Johan Dahl. Om mulig Norges-besøk. Nevnt: Arne Jonassen. B okt [86] Donald E. Knuth. I am glad to know that I will be able to come to Norway to be the prime opponent at Jonassen s dissertation. Brev til: Ole-Johan Dahl. Also discussing a possible stay for Dahl at Stanford. B jun [87] Donald E. Knuth. I was of course very sorry to hear of Fröberg s illness. Brev til: Ole-Johan Dahl. Om Jonassens doktoravhandling. Nevnt: Arne Jonassen. 2 sider. B sep

9 [88] Donald E. Knuth. I will be lecturing in Oberwolfach about some work I did with Schoenhage on the analysis of equivalence algorithms. Brev til: Ole-Johan Dahl. About Jonassen s dissertation and Knuth s guest lecture in Oslo. Nevnt: Arne Jonassen. B okt [89] Donald E. Knuth. Jill and I have decided to stay home during my sabbatical year; this means in particular that it will be much easier for us to come to Norway. Brev til: Ole-Johan Dahl. Nevnt: Arne Jonassen. B mar [90] Donald E. Knuth. Thanks for your letter of September. Brev til: Ole-Johan Dahl. Om Jonassens doktoravhandling. Nevnt: Arne Jonassen. 2 sider. B sep [91] Donald E. Knuth. Thanks for your letter of September 19. Brev til: Ole-Johan Dahl. The letter includes some travel plans and comments to an evaluation report on the thesis of cand.real. Arne Jonassen entitled Theoretical studies on data table processes and the Evaluation report itself (4 pages). 2 sider. B sep [92] Donald E. Knuth. Yes, definitely! Fall quarter ends in mid-december. Brev til: Ole-Johan Dahl. On sabbatical at Stanford. Handwritten comment on original letter from Dahl. B nov [93] Donald E. Knuth. Thank you for the invitation, but last year I decided to resign from 13 editorial boards. Brev til: Ole-Johan Dahl. Håndskrevet bemerkning på kopi av brev fra Dahl. B mar [94] Donald E. Knuth. Do you remember the book about California earthquakes that you gave me a few years ago. Brev til: Ole-Johan Dahl. Mangler utklipp fra International Herald Tribune 10/ B mar [95] Donald E. Knuth. I recently received a compact disc player, and a certain set of CDs has turned out to be my all-time favorite so far. Brev til: Ole-Johan Dahl. B sep [96] Donald E. Knuth. It is a great honor for me to have been elected an utenlandsk medlem of the Norwegian Academy, and I accept with pleasure. Brev til: Det Norske Videnskaps-Akademi. B mai [97] Donald E. Knuth. Enclosed is Jill s journal of our trip this spring. Brev til: Ole- Johan Dahl. B okt [98] Donald E. Knuth. Please send me an up-to-date list of all your publications, if possible. Brev til: Ole-Johan Dahl. Håndskrevet bemerkning om tidligere samspill. B jun [99] Donald E. Knuth. Do you know a person named Dag Mellgrin. Brev til: Ole-Johan Dahl. Mellgrin fant feil i volum 1. Nevnt: Dag Mellgrin. B jul [100] Donald E. Knuth, Torleiv Kløve og Ole-Johan Dahl. Evaluation Report. Cand. real. Arne T. Jonassen har submitted his thesis Theoretical Studies on Data Table Processes. Nevnt: Arne Jonassen. Two drafts (4 sider). 4 sider. B

10 [101] Svein Nordbotten. [M]inne deg på om muligheten for at jeg kunne få noe av det undervisningsmateriell dere har utarbeidet i tilknytning til de mange kurser i databehandling dere tilbyr. Brev til: Ole-Johan Dahl. Nevnt: Donal E. Knuth, Overholt. B nov [102] Mats Nordström. Jag håller på med et arbete som syftar till at använda LISP som redskap för att a) ge en semantisk beskrivning av SIMULA-67, b) interpretera SIMULA-67. Brev til Ole-Johan Dahl, med ønske om å få en kopi av et brev Donald Knuth har skrevet, og en referanseliste over publikasjoner som behandler SIMULA-67. Nevnt: Donald E. Knuth, Stefan Arnborg. 1 side. B mai [103] Norges Almenvitenskapelige Forskningsråd. Bevilgning for 1973: Visiting professor. Brev til: Ole-Johan Dahl. Nevnt: Donald E. Knuth. B des [104] Norges Almenvitenskapelige Forskningsråd. Bevilgning for 1974: Tilbakereise for Dr. Knuth m/familie, august Brev til: Ole-Johan Dahl. Nevnt: Donald E. Knuth. B feb [105] Norges Almenvitenskapelige Forskningsråd og Norges forskningsråd. Søknader, søknadssvar, framdriftsrapporter for ulike prosjekter. Gjelder følgende prosjekter: ESPRIT prosjekt nr COMPASS Programspesifikasjon og maskinstøttet resonnement Semantiske aspekter ved modulsammensetning i ABEL 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 Gustavsen, 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 Aarnæs. B5-1/

11 [106] Norsk Selskap for Elektronisk Informasjonsbehandling. NSEI s møteprogram for våren Nevnt: Hjelseth, Knuth, Skou, Dahl, Annersted, Bergo, Nygaard. B jan [107] E. S. Page og Brian Randell. We are writing to extend to you an invitation on behalf of IBM (United Kingdom) Limited and the University of Newcastle upon Tyne to the International Seminar in Computing Science which is to be held in Newcastle upon Tyne from the 8th to the 11th September, Brev til: Ole-Johan Dahl. 2 sider. B apr