DOCSLIB.ORG

On an Extension of Functional Languages for Use in Prototyping CIP-Gegevens Koninklijke Bibliotheek, Den Haag

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
On an Extension of Functional Languages for Use in Prototyping CIP-Gegevens Koninklijke Bibliotheek, Den Haag On an Extension of Functional Languages for Use in Prototyping CIP-Gegevens Koninklijke Bibliotheek, Den Haag Dorp, Hendrik Dick van On an extension of functional languages for use in prototyping / Hendrik Dick van Dorp. - [S.l. : s.n.]. - Ill. Proefschrift Enschede. - Met lit. opg. - Met samenvatting in het Nederlands. ISBN 90-9007594-1 Trefw.: programmeertalen. c Copyright 1994 by H.D. van Dorp, Leiden Het contact met Twente is deels mogelijk gemaakt door een regeling in het kader van de “Studie- faciliteitenregeling Rijkspersoneel” d.d. 26 maart 1984. Het drukken van dit proefschrift is finan- cieel mogelijk gemaakt door de Stichting BAZIS te Leiden. De ge¨entameerde vervolgonderzoeken zijn deels gefinancierd door de heer en mevrouw Van Dorp-Bos te Bussum. On an Extension of Functional Languages for Use in Prototyping PROEFSCHRIFT ter verkrijging van de graad van doctor aan de Universiteit Twente, op gezag van de Rector Magnificus, prof. dr. Th.J.A. Popma, volgens besluit van het College voor Promoties in het openbaar te verdedigen op donderdag 22 december 1994 te 16.45 uur. door Hendrik Dick van Dorp geboren op 8 september 1946 te Hilversum. Dit proefschrift is goedgekeurd door de promotoren: prof. dr. ir. A.J.W. Duijvestijn en prof. dr. A. Ollongren, en de assistent-promotor: dr. G.F. van der Hoeven. Preface The seeds of this dissertation originated in the Vertalergroep environment in the late sixties. There were long discussions on the rigour of Algol and the pleasures of Lisp, “the queen of programming languages” (Strachey), on the sturdiness of syntax and the charm of semantics,1 and on the Backus–Naur Form for fully describing a language’s outside, and five small functions for completely describing a language’s inner machinations. These discussions set me on a func- tional, declarative, course: the important thing being what has to be achieved, not how it has to be done, that is the other, orthogonal course, an imperative one. Other ideas that were set to ripe in those days are: ‘the general confusing of efficiency with efficacy’, or an effect does not have to be the desired effect, “... our unfortunate obsession with form over content, which Minsky deplored in his Turing Lecture ...”2 (and in this obsession forgetting to be really formal), and the ‘one-architect rule’ with its corollary, the ‘mythical man month’. These discussions might also have contributed3 to the character of the language used in these pages, as is so aptly described by Willard Orman Quine:4 “Good purposes are often served by not tampering with vagueness. Vagueness is not incompatible with precision. [...] Also, vagueness is an aid in coping with the linearity of discourse. An expositor finds that an understanding of some matter A is necessary preparation for an understanding of B, and yet that A cannot itself be expounded in correct detail without, conversely, noting certain exceptions and distinctions which require prior understanding of B. Vagueness, then, to the rescue. The expositor states A vaguely, proceeds to B, and afterwards touches up A, without ever having to call upon his reader to learn and unlearn any outright falsehood in the preliminary statement of A.” Heeding the wise advice of Professor Max Breedveld just before my graduation, “Being an engineer, you should first do some practical work before thinking of a dissertation”, it took quite some time before I started on it. However, as Lisp’s song ended in day to day business, its melody lingered on. So in the early eighties reading on functional languages and their practical use started, when I found in Professor Arie Duijvestijn a very interested, but busy, audience. The ensuing discussions in the mid-eighties with him and Gerrit van der Hoeven, Stef Joosten and Henk Kroeze, on linking Twentel with the outside world, in particular with a normal-sized 1 “ See the little phrases go, / Watch their funny antics, / The men that make them wriggle so, / Are teachers of semantics. ” Quoted from memory; source lost (Comm ACM , Tennent, ...). 2 R.W. Floyd, “The Paradigms of Programming”, Comm ACM 22(8) (Aug 1979): 455–460, (1978 ACM Turing Award Lecture, 4 Dec 1978), also on pp 131–142 of R.L. Ashenhurst and S. Graham (eds) ACM Turing Award Lectures — The First Twenty Years, 1966 – 1985. ACM Pr Anthology Ser, ACM Pr, New York / Addison– Wesley, Reading MA, 1987. In this book one can also find Marvin Minsky’s 1969 Turing Award Lecture, on pp 219–242, first published as “Form and Content in Computer Science”, JACM17(2) (Apr 1970): 197–215. 3 Another contribution might be a too early exposure to the Bommel saga, especially to the vocabulary of Terpen Tijn. 4 W.V.O. Quine, Word and Object. MIT Pr, Cambridge MA, 1960 (11th pr, Apr 1979), p 127. v relational database (“Backus meeting Codd”), set the course for the work to be done. I thank them for these stimulating discussions. For various reasons however, it was Lewis Carroll’s The Hunting of the Snark rather than his Alice, that lurked in the early footnotes: “Then you softly and suddenly vanish away, and never be met with again”. However, just before Professor Arie Duijvestijn’s Valedictory Lecture on 3 November 1989, it became clear that my Snark did not have to be a Boojum after all. So my debt to a great many people can finally be written. It is a paradoxical situation described by Duijvestijn in saying: “You have to do it all by yourself.” You do, but it can’t be done. My own set of helping bystanders (none of them owning a Cretan barbershop) runs as follows, to all of them I must express my gratitude for helping, encouraging, teaching and stimulating me in whatever way they did: Anticipating the first lines of Section 2.1, Margreet, Eveline and Henri¨ette, enduring my bodily presence when I was away on my quest for ‘referential transcendency’, supplied me with a warm, supporting environment, without that this would not have been possible. They urged me on when I needed so, and this in a very direct way, showing me the relativity of it all. Yet, how much they valued this work shows in the sacrifice of most of their 1994 summer holidays; As is clear from above Professor Arie Duijvestijn, my promotor, has been with this for well over a decennium. I owe him for this patience. He taught me the real meaning of ‘efficiency’, constraint, practicality and graphs, squares, &c, and once remarked on the work of the programmer: “An algorithm must not need oral explanation, it should speak for itself”; Though I appreciate and understand the ‘Leyden Prohibition’ regarding one’s promotor,Ido not choose to follow it: Professor Alexander Ollongren contributed many a incisive comment on structure, and clarified things by apparently simple questions, in short he added to the quality of my work. As a side effect of the process, he showed me the way to philosophy in informatica, marking the start of Chapter 1; Hans van Berne was in it longer than anyone else, because of his early influence on my education. Later he gave his precise comments on all my drafts, found a spurious bracket and kept the link to language and meaning in general by his witty marginal notes and by his laugh with a comment as follow up. Finally, he saved a large part of this work by proposing a shift in attention; Gerrit van der Hoeven, always showing the right amount of scientific doubt in a minimal number of words with a very good sense of humour, spotted immediately when ‘one doesn’t do it like that’ in a maze of words; Wim van Dam, (Slavonic) linguist, supervised my English and my comma’s and proved an enthusiastic reader — everything twice —; yet his influence stretched far beyond the English, though not as far as his celestial paraphysics; Gerard te Meerman asked the question, “Why?”, thus urging to take my position, and critically commented on large parts of this work; Henk Kroeze and Martin van Hintum supplied me with Twentel and were present when I needed advice and error corrections; vi Willy Schulte constructed some solutions that are mentioned in Chapter 5, also helped in other ways, besides, he was there to talk programming, birds and other matters; My parents, realising the importance of being functional, sponsored part of my further endeav- ours in this area; Paul Hendriks, though busy, could read early drafts and suggested many improvements; Vanja Rejger suggested a very good idea, its realisation definitely improved the form; Stef Joosten, Professors Gerrit Blaauw, Peter Naur and John Lansdown, Arthur Elias, Klaas van den Berg, Peter Asveld and Ahmed Patel provided me with literature, references, background material and supporting comments; And my colleagues within Spirit, especially Laurens Rijneveld who took over during all my holi-(writing)-days, and John Caubo and Arend Halfmouw who let me read their books; Finally, there are many people belonging to the class that Joost Engelfriet describes as “those whose ideas one uses unwittingly after many, many years”, I also acknowledge their contribution. This acknowledgment also holds for the class of people “whose contributions one uses and forgets to mention”. It is of course a gotspe to produce a dissertation on a subject related to functions and ‘referential transparency’ with TEX. For my gratitude to Jan Vanderschoot with respect to this language, I refer to the Colophon. Nevertheless, learning another exotic language — far from the mainstream — (like Lisp, Snobol, Trak and Prolog) with the full power of a Turing machine (as the common, business oriented languages cannot offer you, because they do not have recursion) turned out to be another good reason for procrastination.
Load more

Recommended publications
  • A Universal Modular ACTOR Formalism for Artificial
    Artificial Intelligence A Universal Modular ACTOR Formalism for Artificial Intelligence Carl Hewitt Peter Bishop Richard Steiger Abstract This paper proposes a modular ACTOR architecture and definitional method for artificial intelligence that is conceptually based on a single kind of object: actors [or, if you will, virtual processors, activation frames, or streams]. The formalism makes no presuppositions about the representation of primitive data structures and control structures. Such structures can be programmed, micro-coded, or hard wired 1n a uniform modular fashion. In fact it is impossible to determine whether a given object is "really" represented as a list, a vector, a hash table, a function, or a process. The architecture will efficiently run the coming generation of PLANNER-like artificial intelligence languages including those requiring a high degree of parallelism. The efficiency is gained without loss of programming generality because it only makes certain actors more efficient; it does not change their behavioral characteristics. The architecture is general with respect to control structure and does not have or need goto, interrupt, or semaphore primitives. The formalism achieves the goals that the disallowed constructs are intended to achieve by other more structured methods. PLANNER Progress "Programs should not only work, but they should appear to work as well." PDP-1X Dogma The PLANNER project is continuing research in natural and effective means for embedding knowledge in procedures. In the course of this work we have succeeded in unifying the formalism around one fundamental concept: the ACTOR. Intuitively, an ACTOR is an active agent which plays a role on cue according to a script" we" use the ACTOR metaphor to emphasize the inseparability of control and data flow in our model.
    [Show full text]
  • Qisar-Alexander-Ollongren-Astrolinguistics.Pdf
    Astrolinguistics Alexander Ollongren Astrolinguistics Design of a Linguistic System for Interstellar Communication Based on Logic Alexander Ollongren Advanced Computer Science Leiden University Leiden The Netherlands ISBN 978-1-4614-5467-0 ISBN 978-1-4614-5468-7 (eBook) DOI 10.1007/978-1-4614-5468-7 Springer New York Heidelberg Dordrecht London Library of Congress Control Number: 2012945935 © Springer Science+Business Media New York 2013 This work is subject to copyright. All rights are reserved by the Publisher, whether the whole or part of the material is concerned, speci fi cally the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on micro fi lms or in any other physical way, and transmission or information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now known or hereafter developed. Exempted from this legal reservation are brief excerpts in connection with reviews or scholarly analysis or material supplied speci fi cally for the purpose of being entered and executed on a computer system, for exclusive use by the purchaser of the work. Duplication of this publication or parts thereof is permitted only under the provisions of the Copyright Law of the Publisher’s location, in its current version, and permission for use must always be obtained from Springer. Permissions for use may be obtained through RightsLink at the Copyright Clearance Center. Violations are liable to prosecution under the respective Copyright Law. The use of general descriptive names, registered names, trademarks, service marks, etc. in this publication does not imply, even in the absence of a speci fi c statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use.
    [Show full text]
  • Enabling Sustainable Exploration Through the Commercial Development of Space
    54th International Astronautical Congress 2003 (IAC 2003) Bremen, Germany 29 September - 3 October 2003 Volume 1 of 8 ISBN: 978-1-61839-418-7 Printed from e-media with permission by: Curran Associates, Inc. 57 Morehouse Lane Red Hook, NY 12571 Some format issues inherent in the e-media version may also appear in this print version. Copyright© (2003) by the International Astronautical Federation All rights reserved. Printed by Curran Associates, Inc. (2012) For permission requests, please contact the International Astronautical Federation at the address below. International Astronautical Federation 94 bis, Avenue de Suffren 75015 PARIS - France Phone: +33 1 45 67 42 60 Fax: +33 1 42 73 21 20 [email protected] Additional copies of this publication are available from: Curran Associates, Inc. 57 Morehouse Lane Red Hook, NY 12571 USA Phone: 845-758-0400 Fax: 845-758-2634 Email: [email protected] Web: www.proceedings.com TABLE OF CONTENTS VOLUME 1 Enabling Sustainable Exploration through the Commercial Development of Space .................................................................................1 Mark Nall, Joseph Casas Space Telescope Mission Design For L2 Point Stationing .............................................................................................................................6 Jill M. Cattrysse Interplanetary Missions Utilising Capture and Escape Through Lagrange Points..................................................................................14 Stephen Kemble A Numerical Study of the Gravitational
    [Show full text]
  • 195907-08.Pdf
    IS LEMETER \GNETICS " IPPORTS IE WEIGHT ONE ~/ ./ )UNG .EPHANT s a jaster, more reliable memory, too! LLY TEST t we hope it attracts your ention to the thorough "ee-stage inspection and testing len every TELEMETER MAGNETICS ~mory product - from core to ray to buffers and memory systems. .C·l!r~.····~ ')1 r·,1 :!~:rIGS arufac'c;re: th" :-;)em;~r)' sy:;te;' complete from core pro- du~;t i::: irin.c: t ~is':,j ... and because TElEf~ETER MAGr'lETIGS tests FlU cal ;~e tnat milch :;ur~i when you specify memory ",'!;ar 'lJ':\::~~ mernar! "y~tems to satisfy practically any :;)t)figuf?t:on. linns :-;f :1:'''-' Hl to 1,~:;;O,OOU bits are COlllmon.,. memories can be iiiuil ~,il' :i, a:j:jitic;n, n.~! offers you :\ selection of memory up:t~, ":ili! r:vr.ie tirnl?s of ;,1 microsecond:;, 6 to 8 microseconds, ilnd 3 microseconds. i::', IIII'll/un s(uclt JUT [i.':cti or:ic circu in TEU:W::n:R f,li'IGNH!GS menlOl y systems employ solid state elements a '20-lIIir'f"()s(,(,()lId "ystem 20 Jf! UfJld., ui 2'2 liI',,\ I'll!'!! ilrc on n!il;,-in (>W;'j tor com~~3ctness anti mainten'lf]ce ease, I' .7 , / (':'! .' ,I .r ) / f '/ • ,'f ,. r' t ,.' f ( ,r .... I I j • ~ ~. / i "'(" ( ,: r I .~ • I i j' I ' { i I [ • / (~ '. \ ,\fulIu/ul'lur l '/'. ,,!, 1PORTAlH JOB OPPORTUNITIES liJ\11tW,ilffii j itJit:Il": l,~ill( ,1i(~i'tllijH !~'fu.;liT:USdjll\Ji~t !!lDH tfUfjjlF~l~ !!i~'(~:iij»; TELEMETER MAGNETICS Inc.
    [Show full text]
  • The International Astronautical Federation (IAF)
    www.iac2008.co.uk Call for papers & registration of Interest Contents Welcome by the President of the British Interplanetary Society .......................................... 02 Message from the President of the IAF .................................................................................. 03 Message from the Chairman of the Local Organising Committee ........................................ 03 Message from the IPC Co-Chairs ............................................................................................ 04 The International Astronautical Federation (IAF).................................................................... 05 IAF Member Organisations ...................................................................................................... 06 The International Academy of Astronautics (IAA).................................................................... 09 The International Institute of Space Law (IISL) ...................................................................... 09 The Technical Programme - Summary of IAC sessions ........................................................ 10 The Technical Programme - by Category................................................................................ 14 Instructions for submitting an abstract .................................................................................. 34 How to submit an abstract ...................................................................................................... 35 Welcome to the IAF web site user restricted area.................................................................
    [Show full text]
  • Fiendish Designs
    Fiendish Designs A Software Engineering Odyssey © Tim Denvir 2011 1 Preface These are notes, incomplete but extensive, for a book which I hope will give a personal view of the first forty years or so of Software Engineering. Whether the book will ever see the light of day, I am not sure. These notes have come, I realise, to be a memoir of my working life in SE. I want to capture not only the evolution of the technical discipline which is software engineering, but also the climate of social practice in the industry, which has changed hugely over time. To what extent, if at all, others will find this interesting, I have very little idea. I mention other, real people by name here and there. If anyone prefers me not to refer to them, or wishes to offer corrections on any item, they can email me (see Contact on Home Page). Introduction Everybody today encounters computers. There are computers inside petrol pumps, in cash tills, behind the dashboard instruments in modern cars, and in libraries, doctors’ surgeries and beside the dentist’s chair. A large proportion of people have personal computers in their homes and may use them at work, without having to be specialists in computing. Most people have at least some idea that computers contain software, lists of instructions which drive the computer and enable it to perform different tasks. The term “software engineering” wasn’t coined until 1968, at a NATO-funded conference, but the activity that it stands for had been carried out for at least ten years before that.
    [Show full text]
  • Saskia Lourens Writing His-1
    UvA-DARE (Digital Academic Repository) Writing history : national identity in André Brink's post-apartheid fiction Lourens, S.T. Publication date 2009 Document Version Final published version Link to publication Citation for published version (APA): Lourens, S. T. (2009). Writing history : national identity in André Brink's post-apartheid fiction. General rights It is not permitted to download or to forward/distribute the text or part of it without the consent of the author(s) and/or copyright holder(s), other than for strictly personal, individual use, unless the work is under an open content license (like Creative Commons). Disclaimer/Complaints regulations If you believe that digital publication of certain material infringes any of your rights or (privacy) interests, please let the Library know, stating your reasons. In case of a legitimate complaint, the Library will make the material inaccessible and/or remove it from the website. Please Ask the Library: https://uba.uva.nl/en/contact, or a letter to: Library of the University of Amsterdam, Secretariat, Singel 425, 1012 WP Amsterdam, The Netherlands. You will be contacted as soon as possible. UvA-DARE is a service provided by the library of the University of Amsterdam (https://dare.uva.nl) Download date:30 Sep 2021 WRITING HISTORY: NATIONAL IDENTITY IN ANDRÉ BRINK’S POST-APARTHEID FICTION ACADEMISCH PROEFSCHRIFT ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam op gezag van de Rector Magnificus prof. dr. D. C. van den Boom ten overstaan van een door het college voor promoties ingestelde commissie, in het openbaar te verdedigen in de Aula der Universiteit op woensdag 28 oktober 2009, te 10:00 uur door Saskia Theodora Lourens geboren te Port Elizabeth, Zuid Afrika 1 Promotiecommissie Promotor: prof.
    [Show full text]
  • Actor Model of Computation
    Published in ArXiv http://arxiv.org/abs/1008.1459 Actor Model of Computation Carl Hewitt http://carlhewitt.info This paper is dedicated to Alonzo Church and Dana Scott. The Actor model is a mathematical theory that treats “Actors” as the universal primitives of concurrent digital computation. The model has been used both as a framework for a theoretical understanding of concurrency, and as the theoretical basis for several practical implementations of concurrent systems. Unlike previous models of computation, the Actor model was inspired by physical laws. It was also influenced by the programming languages Lisp, Simula 67 and Smalltalk-72, as well as ideas for Petri Nets, capability-based systems and packet switching. The advent of massive concurrency through client- cloud computing and many-core computer architectures has galvanized interest in the Actor model. An Actor is a computational entity that, in response to a message it receives, can concurrently: send a finite number of messages to other Actors; create a finite number of new Actors; designate the behavior to be used for the next message it receives. There is no assumed order to the above actions and they could be carried out concurrently. In addition two messages sent concurrently can arrive in either order. Decoupling the sender from communications sent was a fundamental advance of the Actor model enabling asynchronous communication and control structures as patterns of passing messages. November 7, 2010 Page 1 of 25 Contents Introduction ............................................................ 3 Fundamental concepts ............................................ 3 Illustrations ............................................................ 3 Modularity thru Direct communication and asynchrony ............................................................. 3 Indeterminacy and Quasi-commutativity ............... 4 Locality and Security ............................................
    [Show full text]
  • The Discoveries of Continuations
    LISP AND SYMBOLIC COMPUTATION: An InternationM JournM, 6, 233-248, 1993 @ 1993 Kluwer Academic Publishers - Manufactured in The Nett~eriands The Discoveries of Continuations JOHN C. REYNOLDS ( [email protected] ) School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213-3890 Keywords: Semantics, Continuation, Continuation-Passing Style Abstract. We give a brief account of the discoveries of continuations and related con- cepts by A. van Vv'ijngaarden, A. W. Mazurkiewicz, F. L. Morris, C. P. Wadsworth. J. H. Morris, M. J. Fischer, and S. K. Abdali. In the early history of continuations, basic concepts were independently discovered an extraordinary number of times. This was due less to poor communication among computer scientists than to the rich variety of set- tings in which continuations were found useful: They underlie a method of program transformation (into continuation-passing style), a style of def- initionM interpreter (defining one language by an interpreter written in another language), and a style of denotational semantics (in the sense of Scott and Strachey). In each of these settings, by representing "the mean- ing of the rest of the program" as a function or procedure, continnations provide an elegant description of a variety of language constructs, including call by value and goto statements. 1. The Background In the early 1960%, the appearance of Algol 60 [32, 33] inspired a fi~rment of research on the implementation and formal definition of programming languages. Several aspects of this research were critical precursors of the discovery of continuations. The ability in Algol 60 to jump out of blocks, or even procedure bod- ies, forced implementors to realize that the representation of a label must include a reference to an environment.
    [Show full text]
  • PRME Conference Programme V1.Indd 1 21/06/2018 23:49 Contents
    The School of Business and Management, Queen Mary University of London is delighted to be hosting the 5th UN PRME UK and Ireland Conference 5th UK and Ireland PRME Conference Inclusive Responsible Management Education in an Era of Precarity 25-27 June 2018 PRME is working to help achieve UN sustainable development goals QM18-0002 - UN PRME Conference Programme v1.indd 1 21/06/2018 23:49 Contents Welcome to Queen Mary, University of London ...........................3 Conference Information .....................................................................4 Conference Dinners ...........................................................................4 Conference Theme .............................................................................6 Conference Schedule ........................................................................7 Speaker Biographies ....................................................................... 12 Paper Abstracts................................................................................ 16 2 www.busman.qmul.ac.uk QM18-0002 - UN PRME Conference Programme v1.indd 2 21/06/2018 23:49 Welcome to Queen Mary, University of London! Welcome to 5th UN PRME UK and Ireland Conference. Our Theme this year ‘Leaving no one behind’ - Inclusive Responsible Management Education in an Era of Precarity’ is resonant with the ethos and spirit of the School of Business and Management at Queen Mary. We are indeed honoured to be playing host to this prestigious event as the conference highlights our intrinsic commitment
    [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]
  • An Interview with Tony Hoare ACM 1980 A.M. Turing Award Recipient
    1 An Interview with 2 Tony Hoare 3 ACM 1980 A.M. Turing Award Recipient 4 (Interviewer: Cliff Jones, Newcastle University) 5 At Tony’s home in Cambridge 6 November 24, 2015 7 8 9 10 CJ = Cliff Jones (Interviewer) 11 12 TH = Tony Hoare, 1980 A.M. Turing Award Recipient 13 14 CJ: This is a video interview of Tony Hoare for the ACM Turing Award Winners project. 15 Tony received the award in 1980. My name is Cliff Jones and my aim is to suggest 16 an order that might help the audience understand Tony’s long, varied, and influential 17 career. The date today is November 24th, 2015, and we’re sitting in Tony and Jill’s 18 house in Cambridge, UK. 19 20 Tony, I wonder if we could just start by clarifying your name. Initials ‘C. A. R.’, but 21 always ‘Tony’. 22 23 TH: My original name with which I was baptised was Charles Antony Richard Hoare. 24 And originally my parents called me ‘Charles Antony’, but they abbreviated that 25 quite quickly to ‘Antony’. My family always called me ‘Antony’, but when I went to 26 school, I think I moved informally to ‘Tony’. And I didn’t move officially to ‘Tony’ 27 until I retired and I thought ‘Sir Tony’ would sound better than ‘Sir Antony’. 28 29 CJ: Right. If you agree, I’d like to structure the discussion around the year 1980 when 30 you got the Turing Award. I think it would be useful for the audience to understand 31 just how much you’ve done since that award.
    [Show full text]