DOCSLIB.ORG

Ole-Johan Dahls Kontorarkiv Sortert: År, Navn, Tittel

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Ole-Johan Dahls Kontorarkiv Sortert: År, Navn, Tittel 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.
Load more

Recommended publications
  • Thomas Ströhlein's Endgame Tables: a 50Th Anniversary
    Thomas Ströhlein's Endgame Tables: a 50th Anniversary Article Supplemental Material The Festschrift on the 40th Anniversary of the Munich Faculty of Informatics Haworth, G. (2020) Thomas Ströhlein's Endgame Tables: a 50th Anniversary. ICGA Journal, 42 (2-3). pp. 165-170. ISSN 1389-6911 doi: https://doi.org/10.3233/ICG-200151 Available at http://centaur.reading.ac.uk/90000/ It is advisable to refer to the publisher’s version if you intend to cite from the work. See Guidance on citing . Published version at: https://content.iospress.com/articles/icga-journal/icg200151 To link to this article DOI: http://dx.doi.org/10.3233/ICG-200151 Publisher: The International Computer Games Association All outputs in CentAUR are protected by Intellectual Property Rights law, including copyright law. Copyright and IPR is retained by the creators or other copyright holders. Terms and conditions for use of this material are defined in the End User Agreement . www.reading.ac.uk/centaur CentAUR Central Archive at the University of Reading Reading’s research outputs online 40 Jahre Informatik in Munchen:¨ 1967 – 2007 Festschrift Herausgegeben von Friedrich L. Bauer unter Mitwirkung von Helmut Angstl, Uwe Baumgarten, Rudolf Bayer, Hedwig Berghofer, Arndt Bode, Wilfried Brauer, Stephan Braun, Manfred Broy, Roland Bulirsch, Hans-Joachim Bungartz, Herbert Ehler, Jurgen¨ Eickel, Ursula Eschbach, Anton Gerold, Rupert Gnatz, Ulrich Guntzer,¨ Hellmuth Haag, Winfried Hahn (†), Heinz-Gerd Hegering, Ursula Hill-Samelson, Peter Hubwieser, Eike Jessen, Fred Kroger,¨ Hans Kuß, Klaus Lagally, Hans Langmaack, Heinrich Mayer, Ernst Mayr, Gerhard Muller,¨ Heinrich Noth,¨ Manfred Paul, Ulrich Peters, Hartmut Petzold, Walter Proebster, Bernd Radig, Angelika Reiser, Werner Rub,¨ Gerd Sapper, Gunther Schmidt, Fred B.
    [Show full text]
  • Available in PDF Format
    Defining Business Rules ~ What Are They Really? the Business Rules Group formerly, known as the GUIDE Business Rules Project Final Report revision 1.3 July, 2000 Prepared by: Project Manager: David Hay Allan Kolber Group R, Inc. Butler Technology Solutions, Inc. Keri Anderson Healy Model Systems Consultants, Inc. Example by: John Hall Model Systems, Ltd. Project team: Charles Bachman David McBride Bachman Information Systems, Inc. Viasoft Joseph Breal Richard McKee IBM The Travelers Brian Carroll Terry Moriarty Intersolv Spectrum Technologies Group, Inc. E.F. Codd Linda Nadeau E.F. Codd & Associates A.D. Experts Michael Eulenberg Bonnie O’Neil Owl Mountain MIACO Corporation James Funk Stephanie Quarles S.C. Johnson & Son, Inc. Galaxy Technology Corporation J. Carlos Goti Jerry Rosenbaum IBM USF&G Gavin Gray Stuart Rosenthal Coldwell Banker Dyna Systems John Hall Ronald Ross Model Systems, Ltd. Ronald G. Ross Associates Terry Halpin Warren Selkow Asymetrix Corporation CGI/IBM David Hay Dan Tasker Group R, Inc. Dan Tasker John Healy Barbara von Halle The Automated Reasoning Corporation Spectrum Technologies Group, Inc. Keri Anderson Healy John Zachman Model Systems Consultants, Inc. Zachman International, Inc. Allan Kolber Dick Zakrzewski Butler Technology Solutions, Inc. Northwestern Mutual Life - ii - GUIDE Business Rules Project Final Report Table of Contents 1. Introduction 1 Project Scope And Objectives 1 Overview Of The Paper 2 The Rationale 2 A Context for Business Rules 4 Definition Of A Business Rule 4 Categories of Business Rule 6 2. Formalizing Business Rules 7 The Business Rules Conceptual Model 8 3. Formulating Business Rules 9 The Origins Of Business Rules — The Model 10 Types of Business Rule 13 Definitions 14 4.
    [Show full text]
  • Charles Bachman
    Charles Bachman Born December 11, 1924, Manhattan, Kan.; Proposer of a network approach to storing data as in the Integrated Data Store (IDS) and developer of the OSI Reference Model. Education: BS, mechanical engineering, Michigan State University, 1948; MS, mechanical engineering, University of Pennsylvania, 1950. Professional Experience: Dow Chemical Corporation, 1950-1960; General Electric Company, 1960-1970; Honeywell Information Systems, 1970-1981; Cullinet, 1981- 1983; founder and chairman, BACHMAN Information Systems, 1983-present. Honors and Awards: ACM Turing Award, 1973; distinguished fellow, British Computer Society, 1978. Bachman began his service to the computer industry in 1958 by chairing the SHARE Data processing Committee that developed the IBM 709 Data Processing Package (9PAC), and which preceded the development of the programming language Cobol. He continued this development work through the American National Standards Institute SPARC Study Group on Data Base Management Systems (ANSI/ SPARC/DBMS) that created the layer architecture and conceptual schema for database systems. This work led to the development of the international “Reference Model for Open Systems Integration,” which included the basic idea of a seven- layer architecture, the basis of the OSI networking standard. Bachman received the 1973 ACM Turing Award for his development of the Integrated Data Store, which lifted database work from the status of a specialty to first-class citizenship in computing. IDS provided an elegant logical framework for organizing large on-line collections of variously interrelated data. The system had pragmatic significance also in taking into account advice on expected usage patterns, to improve physical data layouts. The facilities of IDS were fully integrated into the Cobol language and so became available for full-scale practical use.
    [Show full text]
  • Oslo 2004: the Abel Prize Celebrations
    NEWS OsloOslo 2004:2004: TheThe AbelAbel PrizePrize celebrationscelebrations Nils Voje Johansen and Yngvar Reichelt (Oslo, Norway) On 25 March, the Norwegian Academy of Science and Letters announced that the Abel Prize for 2004 was to be awarded to Sir Michael F. Atiyah of the University of Edinburgh and Isadore M. Singer of MIT. This is the second Abel Prize awarded following the Norwegian Government’s decision in 2001 to allocate NOK 200 million to the creation of the Abel Foundation, with the intention of award- ing an international prize for outstanding research in mathematics. The prize, amounting to NOK 6 million, was insti- tuted to make up for the fact that there is no Nobel Prize for mathematics. In addi- tion to awarding the international prize, the Foundation shall contribute part of its earnings to measures for increasing inter- est in, and stimulating recruitment to, Nils Voje Johansen Yngvar Reichelt mathematical and scientific fields. The first Abel Prize was awarded in machine – the brain and the computer, break those rules creatively, just like an 2003 to the French mathematician Jean- with the subtitle “Will a computer ever be artist or a musical composer. Pierre Serre for playing a key role in shap- awarded the Abel Prize?” Quentin After a brief interval, Quentin Cooper ing the modern form of many parts of Cooper, one of the BBC’s most popular invited questions from the audience and a mathematics. In 2004, the Abel radio presenters, chaired the meeting, in number of points were brought up that Committee decided that Michael F. which Sir Michael spoke for an hour to an Atiyah addressed thoroughly and profes- Atiyah and Isadore M.
    [Show full text]
  • R ˘Azvan Diaconescu
    RA˘ ZVAN DIACONESCU list of publications MONOGRAPHS AND TEXTBOOKS [1-B] Institution-independent Model Theory. volume of Studies in Universal Logic series. Birkhauser¨ Basel, 2008. (386 pages). [2-B] (with K. Futatsugi) CafeOBJ Report: the language, proof techniques, and methodologies for object-oriented algebraic specification, volume 6 of AMAST Series in Computing. World Scientific Singapore, 1998. (174 pages) [3-B] Category-based Semantics for Equational and Constraint Logic Programming. D.Phil thesis, University of Oxford, 1994. (published as OUCL Monograph PRG-116, 120 pages) JOURNAL ARTICLES [4-J] Borrowing interpolation. Journal of Logic and Computation, Oxford Univ. Press. DOI:10.1093/logcom/exr007 [5-J] An axiomatic approach to structuring specifications. Theoretical Computer Science, 433:20–42, Elsevier, 2012. [6-J] Interpolation for predefined types. Mathematical Structures in Computer Science, 22(1):1–24, Cambridge Univ. Press, 2012. [7-J] Grothendieck inclusion systems. Applied Categorical Structures, 19(5):783–802, Springer, 2011. [8-J] Structural Induction in Institutions. Information and Computation, 209(9):1197–1222, Elsevier, 2011. [9-J] (with I. T¸ut¸u) On the Algebra of Structured Specifications. Theoretical Computer Science, 412(28):3145–3174, Elsevier, 2011. [10-J] On quasi-varieties of multiple valued logic models. Mathematical Logic Quarterly, 57(2):194–203, Wiley, 2011. [11-J] Coinduction for preordered algebras. Information and Computation, 209(2):108–117, Elsevier, 2011. [12-J] (with M. Petria) Saturated models in institutions. Archive for Mathematical Logic, 49(6):693–723, Springer, 2010. [13-J] Quasi-Boolean encodings and conditionals in algebraic specification. Journal of Logic and Algebraic Programming, 79(2):174–188, Elsevier, 2010.
    [Show full text]
  • The History of the Abel Prize and the Honorary Abel Prize the History of the Abel Prize
    The History of the Abel Prize and the Honorary Abel Prize The History of the Abel Prize Arild Stubhaug On the bicentennial of Niels Henrik Abel’s birth in 2002, the Norwegian Govern- ment decided to establish a memorial fund of NOK 200 million. The chief purpose of the fund was to lay the financial groundwork for an annual international prize of NOK 6 million to one or more mathematicians for outstanding scientific work. The prize was awarded for the first time in 2003. That is the history in brief of the Abel Prize as we know it today. Behind this government decision to commemorate and honor the country’s great mathematician, however, lies a more than hundred year old wish and a short and intense period of activity. Volumes of Abel’s collected works were published in 1839 and 1881. The first was edited by Bernt Michael Holmboe (Abel’s teacher), the second by Sophus Lie and Ludvig Sylow. Both editions were paid for with public funds and published to honor the famous scientist. The first time that there was a discussion in a broader context about honoring Niels Henrik Abel’s memory, was at the meeting of Scan- dinavian natural scientists in Norway’s capital in 1886. These meetings of natural scientists, which were held alternately in each of the Scandinavian capitals (with the exception of the very first meeting in 1839, which took place in Gothenburg, Swe- den), were the most important fora for Scandinavian natural scientists. The meeting in 1886 in Oslo (called Christiania at the time) was the 13th in the series.
    [Show full text]
  • Lecture Notes in Computer Science 1378 Edited by G
    Lecture Notes in Computer Science 1378 Edited by G. Goos, J. Hartmanis and J. van Leeuwen Maurice Nivat (Ed.) Foundations of Software Science and Computation Structures First International Conference, FoSSaCS'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS' 98 Lisbon, Portugal, March 28 - April 4, 1998 Proceedings ~ Springer Series Editors Gerhard Goos, Karlsruhe University, Germany Juris Hartmanis, Cornell University, NY, USA Jan van Leeuwen, Utrecht University, The Netherlands Volume Editor Maurice Nivat LITP, Universit6 Paris 7 2, Place Jussieu, F-75251 Paris Cedex 05, France E-mail: Maurice.Nivat @litp.liafa.jussieu.fr Cataloging-in-Publication data applied for Die Deutsche Bibliothek - CIP-Einheitsaufnahme Foundations of software science and computation structures : first international conference ; proceedings / FoSSaCS '98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998. Maurice Nivat (ed.). - Berlin ; Heidelberg ; New York ; Barcelona ; Budapest ; Hong Kong ; London Milan ; Paris ; Santa Clara ; Singapore ; Tokyo : Springer, 1998 (Lecture notes in computer science ; Vol. 1378) ISBN 3-540-64300-1 CR Subject Classification (1991):F.3. F.4.2, El.I, D.3.3-4, D.2.1 ISSN 0302-9743 ISBN 3-540-64300-1 Springer-Verlag Berlin Heidelberg New York This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broadcasting, reproduction on microfilms or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer -Verlag.
    [Show full text]
  • Kolmogorov Complexity in Perspective. Part II: Classification, Information Processing and Duality Marie Ferbus-Zanda
    Kolmogorov Complexity in perspective. Part II: Classification, Information Processing and Duality Marie Ferbus-Zanda To cite this version: Marie Ferbus-Zanda. Kolmogorov Complexity in perspective. Part II: Classification, Information Processing and Duality. Synthese, Springer Verlag (Germany), 2010, pp.00. hal-00525505 HAL Id: hal-00525505 https://hal.archives-ouvertes.fr/hal-00525505 Submitted on 13 Oct 2010 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Kolmogorov Complexity in perspective Part II: Classification, Information Processing and Duality∗ Marie Ferbus-Zanda LIAFA, CNRS & Universit´eParis Diderot - Paris 7 Case 7014 75205 Paris Cedex 13 France [email protected] Abstract We survey diverse approaches to the notion of information: from Shan- non entropy to Kolmogorov complexity. Two of the main applications of Kolmogorov complexity are presented: randomness and classification. The survey is divided in two parts published in a same volume. Part II is dedicated to the relation between logic and information sys- tem, within the scope of Kolmogorov algorithmic information theory. We present a recent application of Kolmogorov complexity: classification us- ing compression, an idea with provocative implementation by authors such as Bennett, Vit´anyi and Cilibrasi.
    [Show full text]
  • A Rational Deconstruction of Landin's J Operator
    BRICS RS-06-4 Danvy & Millikin: A Rational Deconstruction of Landin’s J Operator BRICS Basic Research in Computer Science A Rational Deconstruction of Landin’s J Operator Olivier Danvy Kevin Millikin BRICS Report Series RS-06-4 ISSN 0909-0878 February 2006 Copyright c 2006, Olivier Danvy & Kevin Millikin. BRICS, Department of Computer Science University of Aarhus. All rights reserved. Reproduction of all or part of this work is permitted for educational or research use on condition that this copyright notice is included in any copy. See back inner page for a list of recent BRICS Report Series publications. Copies may be obtained by contacting: BRICS Department of Computer Science University of Aarhus IT-parken, Aabogade 34 DK–8200 Aarhus N Denmark Telephone: +45 8942 9300 Telefax: +45 8942 5601 Internet: [email protected] BRICS publications are in general accessible through the World Wide Web and anonymous FTP through these URLs: http://www.brics.dk ftp://ftp.brics.dk This document in subdirectory RS/06/4/ A Rational Deconstruction of Landin’s J Operator∗ Olivier Danvy and Kevin Millikin BRICS† Department of Computer Science University of Aarhus‡ February 28, 2006 Abstract Landin’s J operator was the first control operator for functional languages, and was specified with an extension of the SECD machine. Through a se- ries of meaning-preserving transformations (transformation into continu- ation-passing style (CPS) and defunctionalization) and their left inverses (transformation into direct style and refunctionalization), we present a compositional evaluation function corresponding to this extension of the SECD machine. We then characterize the J operator in terms of CPS and in terms of delimited-control operators in the CPS hierarchy.
    [Show full text]
  • Introduction to the Literature on Programming Language Design Gary T
    Computer Science Technical Reports Computer Science 7-1999 Introduction to the Literature On Programming Language Design Gary T. Leavens Iowa State University Follow this and additional works at: http://lib.dr.iastate.edu/cs_techreports Part of the Programming Languages and Compilers Commons Recommended Citation Leavens, Gary T., "Introduction to the Literature On Programming Language Design" (1999). Computer Science Technical Reports. 59. http://lib.dr.iastate.edu/cs_techreports/59 This Article is brought to you for free and open access by the Computer Science at Iowa State University Digital Repository. It has been accepted for inclusion in Computer Science Technical Reports by an authorized administrator of Iowa State University Digital Repository. For more information, please contact [email protected]. Introduction to the Literature On Programming Language Design Abstract This is an introduction to the literature on programming language design and related topics. It is intended to cite the most important work, and to provide a place for students to start a literature search. Keywords programming languages, semantics, type systems, polymorphism, type theory, data abstraction, functional programming, object-oriented programming, logic programming, declarative programming, parallel and distributed programming languages Disciplines Programming Languages and Compilers This article is available at Iowa State University Digital Repository: http://lib.dr.iastate.edu/cs_techreports/59 Intro duction to the Literature On Programming Language Design Gary T. Leavens TR 93-01c Jan. 1993, revised Jan. 1994, Feb. 1996, and July 1999 Keywords: programming languages, semantics, typ e systems, p olymorphism, typ e theory, data abstrac- tion, functional programming, ob ject-oriented programming, logic programming, declarative programming, parallel and distributed programming languages.
    [Show full text]
  • Mcgraw-Hill/Osborne New York Chicago San Francisco Lisbon London Madrid Mexico City Milan New Delhi San Juan Seoul Singapore Sydney Toronto
    http://videogames.gigcities.com Color profile: Generic CMYK printer profile Composite Default screen DATABASES DEMYSTIFIED P:\010Comp\DeMYST\364-9\fm.vp Tuesday, February 10, 2004 9:57:24 AM Color profile: Generic CMYK printer profile Composite Default screen This page intentionally left blank. P:\010Comp\DeMYST\364-9\fm.vp Tuesday, February 10, 2004 9:57:24 AM Color profile: Generic CMYK printer profile Composite Default screen DATABASES DEMYSTIFIED ANDREW J. OPPEL McGraw-Hill/Osborne New York Chicago San Francisco Lisbon London Madrid Mexico City Milan New Delhi San Juan Seoul Singapore Sydney Toronto P:\010Comp\DeMYST\364-9\fm.vp Tuesday, February 10, 2004 9:57:24 AM Color profile: Generic CMYK printer profile Composite Default screen Copyright © 2004 by The McGraw-Hill Companies. All rights reserved. Manufactured in the United States of America. Except as permitted under the United States Copyright Act of 1976, no part of this publication may be reproduced or distributed in any form or by any means, or stored in a database or retrieval system, without the prior written permission of the publisher. 0-07-146960-5 The material in this eBook also appears in the print version of this title: 0-07-225364-9. All trademarks are trademarks of their respective owners. Rather than put a trademark symbol after every occurrence of a trademarked name, we use names in an editorial fashion only, and to the benefit of the trademark owner, with no intention of infringement of the trademark. Where such designations appear in this book, they have been printed with initial caps.
    [Show full text]
  • The Growth of Structure
    Chapter 7 The Growth of Structure Evolution is an ascent towards consciousness. Therefore it must culminate ahead in some kind of supreme consciousness. Pierre Teilhard de Chardin he main purpose of this chapter is to illustrate the exponential chararacteristics of the growth curve, which occurs throughout Nature, with the growth of structure in the T computer industry in particular. We can thereby see how evolution could overcome the limits of technology, outlined in Chapter 8, ‘Limits of Technology’ on page 619, taking humanity out of the evolutionary cul-de-sac we find ourselves in today, outlined in Chapter 9, ‘An Evolutionary Cul-de-Sac’ on page 643. Chapter 6, ‘A Holistic Theory of Evolution’ on page 521 showed how the accelerating pace of evolutionary change can be modelled by an exponential series of diminishing terms, which has a finite limit at the present time, the most momentous turning point in some fourteen billion years of evolutionary history. But because of science’s ignorance of the Principle of Unity—the fundamental design principle of the Universe—science has no satisfactory explanation for this exponential rate of evolutionary change. As a consequence, we are managing our business affairs with little un- derstanding of the evolutionary energies that cause us to behave as we do. Even when the Principle of Unity is presented to scientists, they tend to deny that it is a universal truth, be- cause it threatens their deeply held scientific convictions, the implications of which we shall look at in the Epilogue. In the meantime, we can use the Principle of Unity to examine this critical situation.
    [Show full text]