@Preamble{
"\ifx \undefined \booktitle \def \booktitle #1{{{\em #1}}} \fi" #
"\ifx \undefined \kwd \def \kwd #1{{{\bf #1}}} \fi"
}
@String{ack-nhfb = "Nelson H. F. Beebe,
University of Utah,
Department of Mathematics, 110 LCB,
155 S 1400 E RM 233,
Salt Lake City, UT 84112-0090, USA,
Tel: +1 801 581 5254,
e-mail: \path|beebe@math.utah.edu|,
\path|beebe@acm.org|,
\path|beebe@computer.org| (Internet),
URL: \path|https://www.math.utah.edu/~beebe/|"}
@String{ack-pm = "Paul McJones, Computer History Museum, Palo Alto, CA, USA"}
@String{j-ACTA-INFO = "Acta Informatica"}
@String{j-ALGOL-BULLETIN = "ALGOL Bulletin (Amsterdam: Mathematisch
Centrum)"}
@String{j-AM-J-MATH = "American Journal of Mathematics"}
@String{j-AMER-MATH-MONTHLY = "American Mathematical Monthly"}
@String{j-ANN-HIST-COMPUT = "Annals of the History of Computing"}
@String{j-ANNU-REV-AUTOM-PROGRAM = "Annual Review in Automatic Programming"}
@String{j-ASTROPHYSICAL-J = "The Astrophysical Journal"}
@String{j-BIOMETRISCHE-Z = "Biometrische Zeitschrift"}
@String{j-BIT = "BIT (Nordisk tidskrift for
informationsbehandling)"}
@String{j-BULL-MATH-SOC-SCI-MATH-ROUMANIE = "Bulletin math{\'e}matique de la
Soci{\'e}t{\'e} des sciences
math{\'e}matiques de la R{\'e}publique
socialiste de Roumanie"}
@String{j-CACM = "Communications of the ACM"}
@String{j-COMP-ARCH-NEWS = "ACM SIGARCH Computer Architecture News"}
@String{j-COMP-J = "The Computer Journal"}
@String{j-COMP-LANGS = "Computer Languages"}
@String{j-ELEKTRON-DATENVERARB = "{Elektronische Datenverarbeitung}"}
@String{j-IEEE-ANN-HIST-COMPUT = "IEEE Annals of the History of Computing"}
@String{j-IEEE-SOFTWARE = "IEEE Software"}
@String{j-IEEE-TRANS-ELEC-COMPUT = "IEEE Transactions on Electronic Computers"}
@String{j-INFO-PROC-LETT = "Information Processing Letters"}
@String{j-J-ACM = "Journal of the ACM"}
@String{j-J-AM-SOC-INF-SCI = "Journal of the American Society for
Information Science"}
@String{j-J-MACH-LEARN-RES = "Journal of Machine Learning Research (JMLR)"}
@String{j-J-SYMBOLIC-LOGIC = "Journal of Symbolic Logic"}
@String{j-J-SYST-SOFTW = "The Journal of Systems and Software"}
@String{j-LECT-NOTES-COMP-SCI = "Lecture Notes in Computer Science"}
@String{j-LOGIN = ";login: the USENIX Association newsletter"}
@String{j-MATH-INTEL = "The Mathematical Intelligencer"}
@String{j-MICROPROC-MICROPROG = "Microprocessing and Microprogramming"}
@String{j-MONTHLY-NOT-ROY-ASTRON-SOC = "Monthly Notices of the Royal
Astronomical Society"}
@String{j-NAMS = "Notices of the American Mathematical Society"}
@String{j-NORDISK-MATH-TIDSKR = "Nordisk Matematisk Tidskrift"}
@String{j-NORDISK-TIDSKR-INFORM-BEHAND = "Nordisk tidskrift for
informationsbehandling"}
@String{j-NUM-MATH = "{Numerische Mathematik}"}
@String{j-OPER-SYS-REV = "Operating Systems Review"}
@String{j-PHYS-ESSAYS = "Physics Essays"}
@String{j-SIAM-REVIEW = "SIAM Review"}
@String{j-SIGADA-LETTERS = "ACM SIGADA Ada Letters"}
@String{j-SIGCSE = "SIGCSE Bulletin (ACM Special Interest Group
on Computer Science Education)"}
@String{j-SIGPLAN = "ACM SIG{\-}PLAN Notices"}
@String{j-SIGSOFT = "ACM SIGSOFT Software Engineering Notes"}
@String{j-TOCS = "ACM Transactions on Computer Systems"}
@String{j-TOPC = "ACM Transactions on Parallel Computing"}
@String{j-TOPLAS = "ACM Transactions on Programming
Languages and Systems"}
@String{inst-CWI = "Centrum voor Wiskunde en Informatica"}
@String{inst-CWI:adr = "Amsterdam, The Netherlands"}
@String{pub-ACADEMIC = "Academic Press"}
@String{pub-ACADEMIC:adr = "New York, USA"}
@String{pub-ACM = "ACM Press"}
@String{pub-ACM:adr = "New York, NY 10036, USA"}
@String{pub-AKADEMIE-VERLAG = "Akademie-Verlag"}
@String{pub-AKADEMIE-VERLAG:adr = "Berlin, Germany"}
@String{pub-AW = "Ad{\-d}i{\-s}on-Wes{\-l}ey"}
@String{pub-AW:adr = "Reading, MA, USA"}
@String{pub-BIRKHAUSER-BOSTON = "Birkh{\"a}user Boston Inc."}
@String{pub-BIRKHAUSER-BOSTON:adr = "Cambridge, MA, USA"}
@String{pub-CSLI = "CSLI Publications"}
@String{pub-CSLI:adr = "Stanford, CA, USA"}
@String{pub-ELSEVIER = "Elsevier"}
@String{pub-ELSEVIER:adr = "Amsterdam, The Netherlands"}
@String{pub-GREENWOOD = "Greenwood Press"}
@String{pub-GREENWOOD:adr = "88 Post Road West, Westport, CT 06881, USA"}
@String{pub-HARPER-ROW = "Harper \& Row"}
@String{pub-HARPER-ROW:adr = "New York, NY, USA"}
@String{pub-IEEE = "IEEE Computer Society Press"}
@String{pub-IEEE:adr = "1109 Spring Street, Suite 300,
Silver Spring, MD 20910, USA"}
@String{pub-IFIP = "[to do]"}
@String{pub-IFIP:adr = "[to do]"}
@String{pub-IOP = "IOP Publishing"}
@String{pub-IOP:adr = "Bristol, UK"}
@String{pub-KLUWER = "Kluwer Academic Publishers Group"}
@String{pub-KLUWER:adr = "Norwell, MA, USA, and Dordrecht,
The Netherlands"}
@String{pub-MCGRAW-HILL = "Mc{\-}Graw-Hill"}
@String{pub-MCGRAW-HILL:adr = "New York, NY, USA"}
@String{pub-MIT = "MIT Press"}
@String{pub-MIT:adr = "Cambridge, MA, USA"}
@String{pub-NORTH-HOLLAND = "North-Hol{\-}land"}
@String{pub-NORTH-HOLLAND:adr = "Amsterdam, The Netherlands"}
@String{pub-SV = "Springer-Verlag"}
@String{pub-SV:adr = "Berlin, Germany~/ Heidelberg, Germany~/
London, UK~/ etc."}
@String{pub-WILEY = "John Wiley"}
@String{pub-WILEY:adr = "New York, NY, USA"}
@String{prep-tex = "Prepared with {\TeX}."}
@String{ser-LNCS = "Lecture Notes in Computer Science"}
@PhdThesis{Perlis:1950:IE,
author = "Alan Jay Perlis",
title = "On Integral Equations",
type = "{Ph.D.} thesis",
school = "Massachusetts Institute of Technology",
address = "Cambridge, MA, USA",
pages = "????",
year = "1950",
ISBN = "1-0846-9514-6",
ISBN-13 = "978-1-0846-9514-6",
MRclass = "99-05",
MRnumber = "2938095",
bibdate = "Thu Jun 11 11:07:32 2026",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib",
URL = "https://www.proquest.com/pqdtglobal/docview/301808749",
acknowledgement = ack-nhfb,
advisor = "Philip Franklin",
author-dates = "Alan Jay Perlis (1 April 1922--7 February 1990)",
}
@InProceedings{Perlis:1954:CCA,
author = "A. J. Perlis",
booktitle = "Proceedings of the December 8-10, 1954, Eastern Joint
Computer Conference: Design and Application of Small
Digital Computers",
title = "Characteristics of currently available small digital
computers",
publisher = pub-ACM,
address = pub-ACM:adr,
pages = "11--15",
year = "1954",
DOI = "https://doi.org/10.1145/1455270.1455273",
ISBN = "1-4503-7855-2",
ISBN-13 = "978-1-4503-7855-0",
bibdate = "Thu Jun 11 18:24:19 2026",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib",
series = "AIEE-IRE '54 (Eastern)",
abstract = "The purpose of this paper is to survey a rather
well-defined group of computing machines. No attempt
will be made to place these machines in order with
respect to certain applications. However, a listing of
their pertinent characteristics will be given.",
acknowledgement = ack-nhfb,
author-dates = "Alan Jay Perlis (1 April 1922--7 February 1990)",
location = "Philadelphia, Pennsylvania",
numpages = "5",
}
@InProceedings{Chipps:1956:MLC,
author = "J. Chipps and M. Koschmann and S. Orgel and A. Perlis
and J. Smith",
booktitle = "Proceedings of the 1956 11th {ACM} National Meeting",
title = "A mathematical language compiler",
publisher = pub-ACM,
address = pub-ACM:adr,
pages = "114--117",
year = "1956",
DOI = "https://doi.org/10.1145/800258.808963",
ISBN = "1-4503-7922-2",
ISBN-13 = "978-1-4503-7922-9",
bibdate = "Thu Jun 11 18:24:19 2026",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib",
series = "ACM '56",
acknowledgement = ack-nhfb,
author-dates = "Alan Jay Perlis (1 April 1922--7 February 1990)",
numpages = "4",
}
@Misc{Backus:1958:PPL,
author = "J. W. Backus and P. H. Diselets and D. C. Evans and R.
Goodman and H. Huskey and C. Katz and J. McCarthy and
A. Orden and A. J. Perlis and R. Rich and S. Rosen and
W. Turanski and J. Wegstein",
title = "Proposal for A Programming Language",
howpublished = "ACM Ad Hoc Committee on Languages report",
year = "1958",
bibdate = "Wed Jun 10 15:51:02 2026",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/b/backus-john-w.bib;
https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib;
https://www.math.utah.edu/pub/tex/bib/algol68.bib",
URL = "https://datamuseum.dk/bits/30009315;
https://datamuseum.dk/wiki/Bits:30009315;
https://softwarepreservation.computerhistory.org/ALGOL/report/ACM_ALGOL_Proposal_1958.pdf",
acknowledgement = ack-nhfb # " and " # ack-pm,
author-dates = "Alan Jay Perlis (1 April 1922--7 February 1990)",
}
@Article{Perlis:1958:A,
author = "Alan J. Perlis",
title = "Announcement",
journal = j-CACM,
volume = "1",
number = "1",
pages = "1--1",
month = jan,
year = "1958",
CODEN = "CACMA2",
ISSN = "0001-0782 (print), 1557-7317 (electronic)",
ISSN-L = "0001-0782",
bibdate = "Wed Jul 14 15:48:20 MDT 2004",
bibsource = "http://portal.acm.org/;
https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib;
https://www.math.utah.edu/pub/tex/bib/cacm1950.bib",
acknowledgement = ack-nhfb,
author-dates = "Alan Jay Perlis (1 April 1922--7 February 1990)",
journal-URL = "https://dl.acm.org/loi/cacm",
}
@InProceedings{Perlis:1958:CLH,
author = "A. J. Perlis and J. W. Smith",
booktitle = "Preprints of Papers Presented at the 13th National
Meeting of the Association for Computing Machinery",
title = "A command language for handling strings of symbols",
publisher = pub-ACM,
address = pub-ACM:adr,
pages = "1--3",
year = "1958",
DOI = "https://doi.org/10.1145/610937.610965",
ISBN = "1-4503-7363-1",
ISBN-13 = "978-1-4503-7363-0",
bibdate = "Thu Jun 11 18:24:19 2026",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib",
series = "ACM '58",
acknowledgement = ack-nhfb,
author-dates = "Alan Jay Perlis (1 April 1922--7 February 1990)",
location = "Urbana, Illinois",
numpages = "3",
}
@Article{Perlis:1958:PRI,
author = "Alan J. Perlis and K. Samelson",
title = "Preliminary Report --- {International Algebraic
Language}",
journal = j-CACM,
volume = "1",
number = "12",
pages = "8--22",
month = dec,
year = "1958",
CODEN = "CACMA2",
DOI = "https://doi.org/10.1145/377924.594925",
ISSN = "0001-0782 (print), 1557-7317 (electronic)",
ISSN-L = "0001-0782",
bibdate = "Thu Jun 11 18:24:19 2026",
bibsource = "http://dblp.uni-trier.de/db/journals/cacm/cacm1.html#PerlisS58;
http://portal.acm.org/;
https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib;
https://www.math.utah.edu/pub/tex/bib/algol68.bib;
https://www.math.utah.edu/pub/tex/bib/cacm1950.bib",
ZMnumber = "0084.12401",
acknowledgement = ack-nhfb,
author-dates = "Alan Jay Perlis (1 April 1922--7 February 1990)",
fjournal = "Communications of the ACM",
journal-URL = "https://dl.acm.org/loi/cacm",
numpages = "15",
oldlabel = "PerlisS58",
XMLdata = "ftp://ftp.informatik.uni-trier.de/pub/users/Ley/bib/records.tar.gz#journals/cacm/PerlisS58",
ZBmath = "3137737",
}
@Article{Perlis:1958:RPD,
author = "A. J. Perlis",
title = "Recent Publications: {{\em Digital Computer
Programming}}, by {D. D. McCracken}",
journal = j-AMER-MATH-MONTHLY,
volume = "65",
number = "2",
pages = "132--133",
month = feb,
year = "1958",
CODEN = "AMMYAE",
ISSN = "0002-9890 (print), 1930-0972 (electronic)",
ISSN-L = "0002-9890",
bibdate = "Mon Jun 28 12:38:53 MDT 1999",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib;
https://www.math.utah.edu/pub/tex/bib/amermathmonthly1955.bib",
acknowledgement = ack-nhfb,
author-dates = "Alan Jay Perlis (1 April 1922--7 February 1990)",
fjournal = "American Mathematical Monthly",
journal-URL = "https://www.jstor.org/journals/00029890.htm",
}
@Article{Perlis:1958:TD,
author = "Alan J. Perlis",
title = "Techniques department",
journal = j-CACM,
volume = "1",
number = "9",
pages = "3--6",
month = sep,
year = "1958",
CODEN = "CACMA2",
DOI = "https://doi.org/10.1145/368919.3165710",
ISSN = "0001-0782 (print), 1557-7317 (electronic)",
ISSN-L = "0001-0782",
bibdate = "Thu Jun 11 18:24:19 2026",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib",
acknowledgement = ack-nhfb,
author-dates = "Alan Jay Perlis (1 April 1922--7 February 1990)",
fjournal = "Communications of the ACM",
journal-URL = "https://dl.acm.org/loi/cacm",
numpages = "4",
}
@Article{Bauer:1959:APP,
author = "Walter F. Bauer and Mario L. Juncosa and Alan J.
Perlis",
title = "{ACM} Publication Policies and Plans",
journal = j-J-ACM,
volume = "6",
number = "2",
pages = "121--122",
month = apr,
year = "1959",
CODEN = "JACOAH",
DOI = "https://doi.org/10.1145/320964.320965",
ISSN = "0004-5411 (print), 1557-735X (electronic)",
ISSN-L = "0004-5411",
bibdate = "Thu Jun 11 18:24:19 2026",
bibsource = "http://portal.acm.org/;
https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib;
https://www.math.utah.edu/pub/tex/bib/jacm.bib",
acknowledgement = ack-nhfb,
ajournal = "J. Assoc. Comput. Mach.",
author-dates = "Alan Jay Perlis (1 April 1922--7 February 1990)",
fjournal = "Journal of the ACM",
journal-URL = "https://dl.acm.org/loi/jacm",
numpages = "2",
}
@Article{Carr:1959:VCC,
author = "John W. {Carr III} and Alan J. Perlis and James E.
Robertson and Norman R. Scott",
title = "A Visit to {Computation Centers} in the {Soviet
Union}",
journal = j-CACM,
volume = "2",
number = "6",
pages = "8--20",
month = jun,
year = "1959",
CODEN = "CACMA2",
DOI = "https://doi.org/10.1145/368336.368342",
ISSN = "0001-0782 (print), 1557-7317 (electronic)",
ISSN-L = "0001-0782",
bibdate = "Thu Jun 11 18:24:19 2026",
bibsource = "http://dblp.uni-trier.de/db/journals/cacm/cacm2.html#CarrPRS59;
https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib;
https://www.math.utah.edu/pub/tex/bib/cacm1950.bib",
acknowledgement = ack-nhfb,
author-dates = "Alan Jay Perlis (1 April 1922--7 February 1990)",
fjournal = "Communications of the ACM",
journal-URL = "https://dl.acm.org/loi/cacm",
numpages = "13",
oldlabel = "CarrPRS59",
XMLdata = "ftp://ftp.informatik.uni-trier.de/pub/users/Ley/bib/records.tar.gz#journals/cacm/CarrPRS59",
}
@Article{Dijkstra:1959:ASC,
author = "Edsger W. Dijkstra and W. Heise and Alan J. Perlis and
K. Samelson",
title = "{ALGOL} Sub-Committee Report --- Extensions",
journal = j-CACM,
volume = "2",
number = "9",
pages = "24--??",
month = "????",
year = "1959",
CODEN = "CACMA2",
ISSN = "0001-0782 (print), 1557-7317 (electronic)",
ISSN-L = "0001-0782",
bibdate = "Mon Jan 22 06:36:12 MST 2001",
bibsource = "http://dblp.uni-trier.de/db/journals/cacm/cacm2.html#DijkstraHPS59;
https://www.math.utah.edu/pub/bibnet/authors/d/dijkstra-edsger-w.bib;
https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib;
https://www.math.utah.edu/pub/tex/bib/algol68.bib;
https://www.math.utah.edu/pub/tex/bib/cacm1950.bib",
acknowledgement = ack-nhfb,
author-dates = "Alan Jay Perlis (1 April 1922--7 February 1990);
Edsger Wybe Dijkstra (11 May 1930--6 August 2002)",
fjournal = "Communications of the ACM",
journal-URL = "https://dl.acm.org/loi/cacm",
oldlabel = "DijkstraHPS59",
remark = "Check: not in CACM archives in v2n9.",
XMLdata = "ftp://ftp.informatik.uni-trier.de/pub/users/Ley/bib/records.tar.gz#journals/cacm/DijkstraHPS59",
}
@InProceedings{Evans:1959:MLC,
author = "A. Evans and Alan J. Perlis",
booktitle = "Preprints of Papers Presented at the 14th National
Meeting of the Association for Computing Machinery",
title = "A multi-level code processor",
publisher = pub-ACM,
address = pub-ACM:adr,
pages = "1--4",
year = "1959",
DOI = "https://doi.org/10.1145/612201.612231",
ISBN = "1-4503-7364-X",
ISBN-13 = "978-1-4503-7364-7",
bibdate = "Thu Jun 11 18:24:19 2026",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib",
series = "ACM '59",
acknowledgement = ack-nhfb,
author-dates = "Alan Jay Perlis (1 April 1922--7 February 1990)",
location = "Cambridge, Massachusetts",
numpages = "4",
}
@Article{Perlis:1959:LEa,
author = "Alan J. Perlis",
title = "Letters to the editor",
journal = j-CACM,
volume = "2",
number = "5",
pages = "3--9",
month = may,
year = "1959",
CODEN = "CACMA2",
DOI = "https://doi.org/10.1145/368325.1064211",
ISSN = "0001-0782 (print), 1557-7317 (electronic)",
ISSN-L = "0001-0782",
bibdate = "Sat Mar 17 12:24:37 2012",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib;
https://www.math.utah.edu/pub/tex/bib/cacm1950.bib",
acknowledgement = ack-nhfb,
author-dates = "Alan Jay Perlis (1 April 1922--7 February 1990)",
fjournal = "Communications of the ACM",
journal-URL = "https://dl.acm.org/loi/cacm",
numpages = "7",
}
@Article{Perlis:1959:LEb,
author = "Alan J. Perlis",
title = "Letters to the editor",
journal = j-CACM,
volume = "2",
number = "8",
pages = "2--5",
month = aug,
year = "1959",
CODEN = "CACMA2",
DOI = "https://doi.org/10.1145/368405.1773349",
ISSN = "0001-0782 (print), 1557-7317 (electronic)",
ISSN-L = "0001-0782",
bibdate = "Sat Mar 17 12:25:10 2012",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib;
https://www.math.utah.edu/pub/tex/bib/cacm1950.bib",
acknowledgement = ack-nhfb,
author-dates = "Alan Jay Perlis (1 April 1922--7 February 1990)",
fjournal = "Communications of the ACM",
journal-URL = "https://dl.acm.org/loi/cacm",
}
@Article{Perlis:1959:RAL,
author = "A. J. Perlis and K. Samelson",
title = "Report on the algorithmic language {ALGOL} by the
{ACM} committee on programming languages and the {GAMM}
committee on programming",
journal = j-NUM-MATH,
volume = "1",
pages = "41--60",
month = dec,
year = "1959",
CODEN = "NUMMA7",
DOI = "https://doi.org/10.1007/BF01386372",
ISSN = "0029-599X (print), 0945-3245 (electronic)",
ISSN-L = "0029-599X",
MRclass = "68.00",
MRnumber = "105835",
MRreviewer = "S. Gorn",
bibdate = "Sun Oct 17 19:01:15 MDT 1999",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib;
https://www.math.utah.edu/pub/tex/bib/algol68.bib;
https://www.math.utah.edu/pub/tex/bib/nummath.bib",
URL = "https://eudml.org/doc/131418",
ZMnumber = "0084.12302",
acknowledgement = ack-nhfb,
author-dates = "Alan Jay Perlis (1 April 1922--7 February 1990)",
author-dates = "Adriaan ``Aad'' van Wijngaarden (2 November 1916--7
February 1987); Alan Jay Perlis (1 April 1922--7
February 1990); Bernard Vauquois (14 June 1929--30
September 1985); Charles Abraham Katz (7 July 1927--9
May 1974); Friedrich (``Fritz'') Ludwig Bauer (10 June
1924--26 March 2015); Heinz Rutishauser (30 January
1918--10 November 1970); John McCarthy (4 September
1927--24 October 2011); John Warner Backus (3 December
1924--17 March 2007); Joseph Henry Wegstein (7 April
1922--16 August 1985); Julien Green (????--????); Klaus
Samelson (21 December 1918--25 May-1980); Michael
Woodger (28 March 1923--14 July 2025); Peter Naur (25
October 1928--3 January 2016)",
fjournal = "Numerische Mathematik",
journal-URL = "http://link.springer.com/journal/211",
ZBmath = "3137736",
}
@Article{Backus:1960:RALa,
author = "J. W. Backus and F. L. Bauer and J. Green and C. Katz
and J. McCarthy and P. {Naur, Editor} and A. J. Perlis
and H. Rutishauser and K. Samelson and B. Vauquois and
J. H. Wegstein and A. van Wijngaarden and M. Woodger",
title = "Report on the algorithmic language {Algol 60}",
journal = j-NUM-MATH,
volume = "2",
number = "1",
pages = "106--136",
month = dec,
year = "1960",
CODEN = "NUMMA7",
DOI = "https://doi.org/10.1007/BF01386216",
ISSN = "0029-599X (print), 0945-3245 (electronic)",
ISSN-L = "0029-599X",
bibdate = "Mon Oct 18 10:06:00 MDT 1999",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/b/backus-john-w.bib;
https://www.math.utah.edu/pub/bibnet/authors/b/bauer-friedrich-ludwig.bib;
https://www.math.utah.edu/pub/bibnet/authors/n/naur-peter.bib;
https://www.math.utah.edu/pub/bibnet/authors/r/rutishauser-heinz.bib;
https://www.math.utah.edu/pub/tex/bib/algol68.bib;
https://www.math.utah.edu/pub/tex/bib/nummath.bib",
URL = "https://link.springer.com/article/10.1007/BF01386216",
acknowledgement = ack-nhfb,
author-dates = "Adriaan ``Aad'' van Wijngaarden (2 November 1916--7
February 1987); Alan Jay Perlis (1 April 1922--7
February 1990); Bernard Vauquois (14 June 1929--30
September 1985); Charles Abraham Katz (7 July 1927--9
May 1974); Friedrich (``Fritz'') Ludwig Bauer (10 June
1924--26 March 2015); Heinz Rutishauser (30 January
1918--10 November 1970); John McCarthy (4 September
1927--24 October 2011); John Warner Backus (3 December
1924--17 March 2007); Joseph Henry Wegstein (7 April
1922--16 August 1985); Julien Green (????--????); Klaus
Samelson (21 December 1918--25 May-1980); Michael
Woodger (28 March 1923--14 July 2025); Peter Naur (25
October 1928--3 January 2016)",
fjournal = "Numerische Mathematik",
journal-URL = "http://link.springer.com/journal/211",
language = "German",
remark = "Also translated in Russian in 1960 by the
Computational Centre of the Academy of Sciences of the
USSR.",
}
@Article{Backus:1960:RALb,
author = "J. W. Backus and F. L. Bauer and J. Green and C. Katz
and J. McCarthy and P. {Naur, Editor} and A. J. Perlis
and H. Rutishauser and K. Samelson and B. Vauquois and
J. H. Wegstein and A. van Wijngaarden and M. Woodger",
title = "Report on the algorithmic language {Algol 60}",
journal = "Acta Polytechnica Scandinavica: Mathematics and
Computing Machinery Series",
number = "5",
pages = "1--39",
month = "????",
year = "1960",
CODEN = "APSMAT",
ISSN = "0355-2713",
bibdate = "Tue May 14 17:29:22 2024",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/b/backus-john-w.bib;
https://www.math.utah.edu/pub/bibnet/authors/b/bauer-friedrich-ludwig.bib;
https://www.math.utah.edu/pub/bibnet/authors/n/naur-peter.bib;
https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib;
https://www.math.utah.edu/pub/bibnet/authors/r/rutishauser-heinz.bib;
https://www.math.utah.edu/pub/tex/bib/algol68.bib",
URL = "https://web.archive.org/web/20191029151524id_/http://web.eah-jena.de/%7Ekleine/history/languages/Algol60-Naur.pdf",
abstract = "The report gives a complete defining description of
the international algorithmic language ALGOL 60. This
1s a language suitable for expressing a large class of
numerical processes 1n a form sufficiently concise for
direct automatic translation into the language of
programmed automatic computers.\par
The introduction contains an account of the preparatory
work leading up to the final conference, where the
language was defined. In addition the notions reference
language, publication language, and hardware
representations, are explained.\par
In the first chapter a survey of the basic constituents
and features of the language is given, and the formal
notation, by which the syntactic structure is defined,
is explained.\par
The second chapter lists all the basic symbols, and the
syntactic units known as identifiers, numbers, and
strings, are defined. Further some important notions
such as quantity and value are defined,\par
The third chapter explains the rules for forming
expressions and the meaning of these expressions. Three
different types of expressions exist: arithmetic,
Boolean (logical), and designational,\par
The fourth chapter describes the operational units of
the language, known as statements. The basic statements
are: assignment statements (evaluation of a formula),
go to statements (explicit break of the sequence of
execution of statements), dummy statements, and
procedure statements (call for execution of a closed
process, defined by a procedure declaration). The
formation of more complex structures, having statement
character, 1s explained. These include: conditional
statements, for statements compound statements, and
blocks.\par
In the fifth chapter the units known as declarations,
serving for defining permanent properties of the units
entering into a process described in the language are
defined.\par
The report ends with two detailed examples of the use
of the language and an alphabetic index of
definitions,",
acknowledgement = ack-nhfb,
ajournal = "Acta Polytech. Scand., Math. Comput. Mach. Ser.",
author-dates = "Adriaan ``Aad'' van Wijngaarden (2 November 1916--7
February 1987); Alan Jay Perlis (1 April 1922--7
February 1990); Bernard Vauquois (14 June 1929--30
September 1985); Charles Abraham Katz (7 July 1927--9
May 1974); Friedrich (``Fritz'') Ludwig Bauer (10 June
1924--26 March 2015); Heinz Rutishauser (30 January
1918--10 November 1970); John McCarthy (4 September
1927--24 October 2011); John Warner Backus (3 December
1924--17 March 2007); Joseph Henry Wegstein (7 April
1922--16 August 1985); Julien Green (????--????); Klaus
Samelson (21 December 1918--25 May-1980); Michael
Woodger (28 March 1923--14 July 2025); Peter Naur (25
October 1928--3 January 2016)",
journal-URL = "????",
pdfpages = "39",
}
@Article{Naur:1960:RALa,
author = "Peter Naur and J. W. Backus and F. L. Bauer and J.
Green and C. Katz and J. McCarthy and A. J. Perlis and
H. Rutishauser and K. Samelson and B. Vauquois and J.
H. Wegstein and A. van Wijngaarden and M. Woodger",
title = "Report on the Algorithmic Language {ALGOL 60}",
journal = j-CACM,
volume = "3",
number = "5",
pages = "299--314",
month = may,
year = "1960",
CODEN = "CACMA2",
DOI = "https://doi.org/10.1145/367236.367262",
ISSN = "0001-0782 (print), 1557-7317 (electronic)",
ISSN-L = "0001-0782",
MRclass = "68.00",
MRnumber = "24\#B485",
bibdate = "Fri Nov 25 18:19:26 MST 2005",
bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Compiler/reynolds.bib;
http://www.acm.org/pubs/contents/journals/cacm/;
https://www.math.utah.edu/pub/bibnet/authors/b/backus-john-w.bib;
https://www.math.utah.edu/pub/bibnet/authors/b/bauer-friedrich-ludwig.bib;
https://www.math.utah.edu/pub/bibnet/authors/d/dijkstra-edsger-w.bib;
https://www.math.utah.edu/pub/bibnet/authors/n/naur-peter.bib;
https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib;
https://www.math.utah.edu/pub/bibnet/authors/r/rutishauser-heinz.bib;
https://www.math.utah.edu/pub/tex/bib/algol68.bib;
https://www.math.utah.edu/pub/tex/bib/cacm1960.bib",
note = "See letter \cite{Arden:1960:LPR}. Dedicated to the
Memory of William Turanski [American group member who
was killed by an automobile just prior to the January
1960 Conference].",
URL = "https://web.archive.org/web/20171002221007id_/http://www.eah-jena.de/~kleine/history/languages/Algol60-ACM.pdf",
ZMID = "03145581",
ZMnumber = "0089.12510",
acknowledgement = ack-nhfb,
author-dates = "Adriaan ``Aad'' van Wijngaarden (2 November 1916--7
February 1987); Alan Jay Perlis (1 April 1922--7
February 1990); Bernard Vauquois (14 June 1929--30
September 1985); Charles Abraham Katz (7 July 1927--9
May 1974); Friedrich (``Fritz'') Ludwig Bauer (10 June
1924--26 March 2015); Heinz Rutishauser (30 January
1918--10 November 1970); John McCarthy (4 September
1927--24 October 2011); John Warner Backus (3 December
1924--17 March 2007); Joseph Henry Wegstein (7 April
1922--16 August 1985); Julien Green (????--????); Klaus
Samelson (21 December 1918--25 May-1980); Michael
Woodger (28 March 1923--14 July 2025); Peter Naur (25
October 1928--3 January 2016)",
checked = "15 July 1993",
fjournal = "Communications of the ACM",
journal-URL = "https://dl.acm.org/loi/cacm",
keywords = "numerical analysis",
remark = "Edsger Dijkstra's name does not appear in this
document, but he was a committee member, and
subsequently co-wrote the first working ALGOL 60
compiler
\cite{Dijkstra:1961:AUX,Dijkstra:1962:OEA,KrusemanAretz:2003:DZA}.",
ZMreviewer = "S. Gorn",
}
@Article{Perlis:1960:SMT,
author = "Alan J. Perlis and Charles Thornton",
title = "Symbol Manipulation by Threaded Lists",
journal = j-CACM,
volume = "3",
number = "4",
pages = "195--204",
month = apr,
year = "1960",
CODEN = "CACMA2",
DOI = "https://doi.org/10.1145/367177.367202",
ISSN = "0001-0782 (print), 1557-7317 (electronic)",
ISSN-L = "0001-0782",
bibdate = "Thu Jun 11 18:24:19 2026",
bibsource = "http://dblp.uni-trier.de/db/journals/cacm/cacm3.html#PerlisT60;
http://www.acm.org/pubs/contents/journals/cacm/;
https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib;
https://www.math.utah.edu/pub/tex/bib/cacm1960.bib;
https://www.math.utah.edu/pub/tex/bib/macsyma.bib",
ZMnumber = "0101.10414",
acknowledgement = ack-nhfb,
author-dates = "Alan Jay Perlis (1 April 1922--7 February 1990)",
fjournal = "Communications of the ACM",
journal-URL = "https://dl.acm.org/loi/cacm",
numpages = "10",
oldlabel = "PerlisT60",
XMLdata = "ftp://ftp.informatik.uni-trier.de/pub/users/Ley/bib/records.tar.gz#journals/cacm/PerlisT60",
}
@Article{Backus:1961:ARA,
author = "J. W. Backus and F. L. Bauer and J. Green and C. Katz
and J. McCarthy and P. Naur and A. J. Perlis and H.
Rutishauser and J. H. Wegstein and A. van Wijngaarden
and M. Woodger",
title = "Appendix: Report on the algorithmic language {ALGOL
60}",
journal = j-ANNU-REV-AUTOM-PROGRAM,
volume = "2",
pages = "351--390",
month = jan,
year = "1961",
CODEN = "ARVAAM",
DOI = "https://doi.org/10.1016/s0066-4138(61)80016-5",
ISSN = "0066-4138 (print), 1878-545x (electronic)",
ISSN-L = "0066-4138",
bibdate = "Fri Jun 5 07:43:15 2026",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/b/backus-john-w.bib;
https://www.math.utah.edu/pub/bibnet/authors/b/bauer-friedrich-ludwig.bib;
https://www.math.utah.edu/pub/bibnet/authors/n/naur-peter.bib;
https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib;
https://www.math.utah.edu/pub/bibnet/authors/r/rutishauser-heinz.bib;
https://www.math.utah.edu/pub/tex/bib/algol68.bib;
https://www.math.utah.edu/pub/tex/bib/annu-rev-autom-program.bib",
URL = "https://www.sciencedirect.com/science/article/pii/S0066413861800165",
acknowledgement = ack-nhfb,
author-dates = "Alan Jay Perlis (1 April 1922--7 February 1990);
Friedrich (``Fritz'') Ludwig Bauer (10 June 1924--26
March 2015); John Warner Backus (3 December 1924--17
March 2007); Peter Naur (25 October 1928--3 January
2016)",
fjournal = "Annual Review in Automatic Programming",
journal-URL = "https://www.sciencedirect.com/science/journal/00664138",
}
@Article{Backus:1961:RAL,
author = "J. W. Backus and F. L. Bauer and J. Green and C. Katz
and J. McCarthy and P. Naur and A. J. Perlis and H.
Rutishauser and J. H. Wegstein and A. van Wijngaarden
and M. Woodger",
title = "Report on the algorithmic language {ALGOL 60}",
journal = "Acta Polytechnica Scandinavica. Mathematics and
Computing Series",
volume = "5",
pages = "1--39",
year = "1961 (??)",
ISSN = "1456-9418",
ISSN-L = "1456-9418",
bibdate = "Fri Jun 05 07:47:32 2026",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/b/backus-john-w.bib;
https://www.math.utah.edu/pub/bibnet/authors/b/bauer-friedrich-ludwig.bib;
https://www.math.utah.edu/pub/bibnet/authors/n/naur-peter.bib;
https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib;
https://www.math.utah.edu/pub/bibnet/authors/r/rutishauser-heinz.bib;
https://www.math.utah.edu/pub/tex/bib/algol68.bib",
URL = "https://web.archive.org/web/20191029151524id_/http://web.eah-jena.de/~kleine/history/languages/Algol60-Naur.pdf",
acknowledgement = ack-nhfb # " and " # ack-pm,
ajournal = "Acta polytech. Scand., MA Math. comput. ser.",
author-dates = "Adriaan ``Aad'' van Wijngaarden (2 November 1916--7
February 1987); Alan Jay Perlis (1 April 1922--7
February 1990); Bernard Vauquois (14 June 1929--30
September 1985); Charles Abraham Katz (7 July 1927--9
May 1974); Friedrich (``Fritz'') Ludwig Bauer (10 June
1924--26 March 2015); Heinz Rutishauser (30 January
1918--10 November 1970); John McCarthy (4 September
1927--24 October 2011); John Warner Backus (3 December
1924--17 March 2007); Joseph Henry Wegstein (7 April
1922--16 August 1985); Julien Green (????--????); Klaus
Samelson (21 December 1918--25 May-1980); Michael
Woodger (28 March 1923--14 July 2025); Peter Naur (25
October 1928--3 January 2016)",
remark = "Is there an online archive of this journal?? It may
have ceased publication in 2002 (US Library of Congress
record).",
}
@Article{Evans:1961:UTL,
author = "A. {Evans, Jr.} and A. J. Perlis and H. {Van Zoeren}",
title = "The use of threaded lists in constructing a combined
{ALGOL} and machine-like assembly processor",
journal = j-CACM,
volume = "4",
number = "1",
pages = "36--41",
month = jan,
year = "1961",
CODEN = "CACMA2",
DOI = "https://doi.org/10.1145/366062.366081",
ISSN = "0001-0782 (print), 1557-7317 (electronic)",
ISSN-L = "0001-0782",
bibdate = "Thu Jun 11 18:24:19 2026",
bibsource = "http://www.acm.org/pubs/contents/journals/cacm/;
https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib;
https://www.math.utah.edu/pub/tex/bib/algol68.bib;
https://www.math.utah.edu/pub/tex/bib/cacm1960.bib",
acknowledgement = ack-nhfb,
author-dates = "Alan Jay Perlis (1 April 1922--7 February 1990)",
fjournal = "Communications of the ACM",
journal-URL = "https://dl.acm.org/loi/cacm",
numpages = "6",
}
@InBook{Backus:1962:RAL,
author = "John W. Backus and F. L. Bauer and J. Green and C.
Katz and J. McCarthy and P. {Naur (Editor)} and A. J.
Perlis and H. Rutishauser and K. Samelson and B.
Vauquois and J. H. Wegstein and A. Van Wijngaarden and
M. Woodger",
title = "Appendix: Report on the algorithmic language {ALGOL
60}",
crossref = "Dijkstra:1962:PAR",
pages = "74--114",
year = "1962",
bibdate = "Sat Jun 13 14:12:49 2026",
bibsource = "fsz3950.oclc.org:210/WorldCat;
https://www.math.utah.edu/pub/bibnet/authors/b/backus-john-w.bib;
https://www.math.utah.edu/pub/bibnet/authors/b/bauer-friedrich-ludwig.bib;
https://www.math.utah.edu/pub/bibnet/authors/d/dijkstra-edsger-w.bib;
https://www.math.utah.edu/pub/bibnet/authors/n/naur-peter.bib;
https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib;
https://www.math.utah.edu/pub/bibnet/authors/r/rutishauser-heinz.bib;
https://www.math.utah.edu/pub/tex/bib/algol68.bib",
acknowledgement = ack-nhfb # " and " # ack-pm,
author-dates = "Adriaan ``Aad'' van Wijngaarden (2 November 1916--7
February 1987); Alan Jay Perlis (1 April 1922--7
February 1990); Bernard Vauquois (14 June 1929--30
September 1985); Charles Abraham Katz (7 July 1927--9
May 1974); Friedrich (``Fritz'') Ludwig Bauer (10 June
1924--26 March 2015); Heinz Rutishauser (30 January
1918--10 November 1970); John McCarthy (4 September
1927--24 October 2011); John Warner Backus (3 December
1924--17 March 2007); Joseph Henry Wegstein (7 April
1922--16 August 1985); Julien Green (????--????); Klaus
Samelson (21 December 1918--25 May-1980); Michael
Woodger (28 March 1923--14 July 2025); Peter Naur (25
October 1928--3 January 2016)",
}
@Article{Galler:1962:CMO,
author = "Bernard A. Galler and Alan J. Perlis",
title = "Compiling Matrix Operations",
journal = j-CACM,
volume = "5",
number = "12",
pages = "590--594",
month = dec,
year = "1962",
CODEN = "CACMA2",
DOI = "https://doi.org/10.1145/355580.369071",
ISSN = "0001-0782 (print), 1557-7317 (electronic)",
ISSN-L = "0001-0782",
bibdate = "Thu Jun 11 18:24:19 2026",
bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Parallel/Multi.bib;
http://www.acm.org/pubs/contents/journals/cacm/;
https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib;
https://www.math.utah.edu/pub/tex/bib/cacm1960.bib",
abstract = "It is unfortunate that almost all of the presently
used algebraic languages do not provide the capability
of linear algebra. Operations such as the inner product
of vectors, the product of two matrices, and the
multiplication of a matrix by a scaler must inevitably
be written out in detail in terms of the individual
components. The reasons usually given for avoiding
linear algebra in these languages are (1) the
difficulties which would arise in scanning linear
algebraic expressions, and (2) the uncertainty involved
as to the amount of temporary storage needed during the
evaluation of linear algebraic expressions when the
program is executed. The purpose of this paper is to
show how these two types of difficulties can be
overcome. Although suggestions have been made for even
further increasing the general capability of ALGOL such
as including the ability to form a matrix from a
collection of vectors, we shall be content here to
consider the ordinary operations of linear algebra.
Even if this much becomes available in algebraic
languages, considerable progress will have been made.
The following remarks constitute a suggestion for the
addition to ALGOL of linear algebraic expressions.",
acknowledgement = ack-nhfb,
author-dates = "Alan Jay Perlis (1 April 1922--7 February 1990)",
fjournal = "Communications of the ACM",
journal-URL = "https://dl.acm.org/loi/cacm",
numpages = "5",
}
@Book{Naur:1962:BAS,
author = "Peter Naur and J. W. Backus and F. L. Bauer and J.
Green and C. Katz and J. McCarthy and A. J. Perlis and
S. Ruti shauser and K. Samelson and B. Vauquois and J.
H. Wegstein and A. van Wijngaarden and M. Woodger",
title = "{Bericht {\"u}ber die algorithmische Sprache ALGOL
60}. ({German}) [{Report} on the {ALGOL 60} language]",
publisher = pub-AKADEMIE-VERLAG,
address = pub-AKADEMIE-VERLAG:adr,
pages = "xi + 49",
year = "1962",
LCCN = "QA76.5 .N3515",
bibdate = "Fri Aug 21 15:10:11 MDT 2020",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/b/backus-john-w.bib;
https://www.math.utah.edu/pub/bibnet/authors/b/bauer-friedrich-ludwig.bib;
https://www.math.utah.edu/pub/bibnet/authors/n/naur-peter.bib;
https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib;
https://www.math.utah.edu/pub/tex/bib/algol68.bib",
note = "Zur Erinnerung an William Turanski (In memory of
William Turanski).",
series = "Elektronisches Rechnen und Regeln. Sonderband 1",
URL = "https://web.archive.org/web/20171002221201id_/http://www.eah-jena.de/~kleine/history/languages/Algol60-Deutsch.pdf",
ZMID = "03168131",
ZMnumber = "0103.10802",
acknowledgement = ack-nhfb # " and " # ack-pm,
author-dates = "Alan Jay Perlis (1 April 1922--7 February 1990);
Friedrich (``Fritz'') Ludwig Bauer (10 June 1924--26
March 2015); John Warner Backus (3 December 1924--17
March 2007); Klaus Samelson (21 December 1918--25 May
1980); Peter Naur (25 October 1928--3 January 2016)",
keywords = "numerical analysis",
language = "German",
remark = "Based on an international conference held in Paris,
Jan. 11--16, 1960.",
}
@Article{Backus:1963:BAS,
author = "J. W. Backus and F. L. Bauer and J. Green and C. Katz
and J. McCarthy and P. Naur and A. J. Perlis and Heinz
Rutishauser and K. Samelson and B. Vauquois and J. H.
Wegstein and A. van Wijngaarden and M. Woodger",
title = "{Bericht {\"u}ber die Algorithmische Sprache ALGOL 60
(\booktitle{ALGOL Bulletin} Supplement No. 3). Zur
Erinnerung an William Turanski. Herausgegeben von P.
Naur}. ({German}) [{Report} on the Algorithmic Language
{ALGOL 60} (\booktitle{ALGOL Bulletin} Supplement No.
3). {In} memory of {William Turanski}. {Edited} by {P.
Naur}]",
journal = j-ELEKTRON-DATENVERARB,
volume = "2",
number = "??",
pages = "1--24",
year = "1963",
ISSN = "0374-3012",
ISSN-L = "0374-3012",
bibdate = "Fri Aug 21 15:10:11 MDT 2020",
bibsource = "https://web.archive.org/web/20171002221201id_/http://www.eah-jena.de/~kleine/history/languages/Algol60-Deutsch.pdf;
https://www.math.utah.edu/pub/bibnet/authors/b/backus-john-w.bib;
https://www.math.utah.edu/pub/bibnet/authors/b/bauer-friedrich-ludwig.bib;
https://www.math.utah.edu/pub/bibnet/authors/n/naur-peter.bib;
https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib;
https://www.math.utah.edu/pub/bibnet/authors/r/rutishauser-heinz.bib;
https://www.math.utah.edu/pub/tex/bib/algol68.bib",
ZMID = "03177072",
ZMnumber = "0108.30206",
acknowledgement = ack-nhfb # " and " # ack-pm,
ajournal = "{Elektron. Datenverarb.}",
author-dates = "Alan Jay Perlis (1 April 1922--7 February 1990);
Friedrich (``Fritz'') Ludwig Bauer (10 June 1924--26
March 2015); Heinz Rutishauser (30 January 1918--10
November 1970); John Warner Backus (3 December 1924--17
March 2007); Klaus Samelson (21 December 1918--25 May
1980); Peter Naur (25 October 1928--3 January 2016)",
fjournal = "Elektronische Datenverarbeitung",
keywords = "numerical analysis",
language = "German",
ZBmath = "3177072",
}
@Article{Backus:1963:RRAa,
author = "J. W. Backus and F. L. Bauer and J. Green and C. Katz
and J. McCarthy and P. Naur and A. J. Perlis and H.
Rutishauser and K. Samelson and B. Vauquois and J. H.
Wegstein and A. van Wijngaarden and M. Woodger",
title = "Revised report on the algorithmic language {ALGOL
60}",
journal = j-COMP-J,
volume = "5",
number = "4",
pages = "349--367",
month = jan,
year = "1963",
CODEN = "CMPJA6",
DOI = "https://doi.org/10.1093/comjnl/5.4.349",
ISSN = "0010-4620 (print), 1460-2067 (electronic)",
ISSN-L = "0010-4620",
bibdate = "Fri Sep 29 08:55:43 MDT 2000",
bibsource = "http://comjnl.oxfordjournals.org/content/5/4.toc;
http://www.math.utah.edu/pub/tex/bib/compj.bib;
http://www3.oup.co.uk/computer_journal/hdb/Volume_05/Issue_04/;
https://www.math.utah.edu/pub/bibnet/authors/b/backus-john-w.bib;
https://www.math.utah.edu/pub/bibnet/authors/b/bauer-friedrich-ludwig.bib;
https://www.math.utah.edu/pub/bibnet/authors/n/naur-peter.bib;
https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib;
https://www.math.utah.edu/pub/bibnet/authors/r/rutishauser-heinz.bib;
https://www.math.utah.edu/pub/tex/bib/algol68.bib;
https://www.math.utah.edu/pub/tex/bib/compj.bib;
https://www.math.utah.edu/pub/tex/bib/compj1960.bib",
URL = "http://comjnl.oxfordjournals.org/content/5/4/349.full.pdf+html;
http://www3.oup.co.uk/computer_journal/hdb/Volume_05/Issue_04/050349.sgm.abs.html;
http://www3.oup.co.uk/computer_journal/hdb/Volume_05/Issue_04/tiff/349.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_05/Issue_04/tiff/350.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_05/Issue_04/tiff/351.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_05/Issue_04/tiff/352.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_05/Issue_04/tiff/353.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_05/Issue_04/tiff/354.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_05/Issue_04/tiff/355.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_05/Issue_04/tiff/356.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_05/Issue_04/tiff/357.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_05/Issue_04/tiff/358.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_05/Issue_04/tiff/359.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_05/Issue_04/tiff/360.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_05/Issue_04/tiff/361.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_05/Issue_04/tiff/362.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_05/Issue_04/tiff/363.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_05/Issue_04/tiff/364.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_05/Issue_04/tiff/365.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_05/Issue_04/tiff/366.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_05/Issue_04/tiff/367.tif;
https://datamuseum.dk/bits/30002299;
https://standardpascaline.org/Algol60-RevisedReport.pdf;
https://web.archive.org/web/20200214113425id_/http://web.eah-jena.de/~kleine/history/languages/Algol60-RevisedReport.pdf",
ZMID = "03179017",
ZMnumber = "0109.35105",
acknowledgement = ack-nhfb,
author-dates = "Alan Jay Perlis (1 April 1922--7 February 1990);
Friedrich (``Fritz'') Ludwig Bauer (10 June 1924--26
March 2015); Heinz Rutishauser (30 January 1918--10
November 1970); John Warner Backus (3 December 1924--17
March 2007); Klaus Samelson (21 December 1918--25 May
1980); Peter Naur (25 October 1928--3 January 2016)",
fjournal = "The Computer Journal",
journal-URL = "http://comjnl.oxfordjournals.org/",
}
@Article{Backus:1963:RRAb,
author = "J. W. Backus and F. L. Bauer and J. Green and C. Katz
and J. McCarthy and P. Naur and A. J. Perlis and H.
Rutishauser and K. Samelson and B. Vauquois and J. H.
Wegstein and A. van Wijngaarden and M. Woodger",
title = "Revised report on the algorithmic language {ALGOL}
60",
journal = j-NUM-MATH,
volume = "4",
pages = "420--453",
month = dec,
year = "1963",
CODEN = "NUMMA7",
DOI = "https://doi.org/10.1007/BF01386340",
ISSN = "0029-599X (print), 0945-3245 (electronic)",
ISSN-L = "0029-599X",
bibdate = "Sun Oct 17 16:12:48 MDT 1999",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/b/backus-john-w.bib;
https://www.math.utah.edu/pub/bibnet/authors/b/bauer-friedrich-ludwig.bib;
https://www.math.utah.edu/pub/bibnet/authors/n/naur-peter.bib;
https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib;
https://www.math.utah.edu/pub/bibnet/authors/r/rutishauser-heinz.bib;
https://www.math.utah.edu/pub/tex/bib/algol68.bib;
https://www.math.utah.edu/pub/tex/bib/nummath.bib",
note = "Edited by Peter Naur. Dedicated to the memory of
William Turanski.",
URL = "https://link.springer.com/article/10.1007/BF01386340",
ZMID = "03179017",
ZMnumber = "0109.35105",
acknowledgement = ack-nhfb,
author-dates = "Alan Jay Perlis (1 April 1922--7 February 1990);
Friedrich (``Fritz'') Ludwig Bauer (10 June 1924--26
March 2015); Heinz Rutishauser (30 January 1918--10
November 1970); John Warner Backus (3 December 1924--17
March 2007); Klaus Samelson (21 December 1918--25 May
1980); Peter Naur (25 October 1928--3 January 2016)",
fjournal = "Numerische Mathematik",
journal-URL = "http://link.springer.com/journal/211",
}
@Article{Backus:1963:RRAc,
author = "J. W. Backus and F. L. Bauer and J. Green and C. Katz
and J. McCarthy and Peter Naur and A. J. Perlis and H.
Rutishauser and K. Samelson and B. Vauquois and J. H.
Wegstein and A. van Wijngaarden and M. Woodger",
title = "Revised Report on the Algorithmic Language {ALGOL
60}",
journal = j-CACM,
volume = "6",
number = "1",
pages = "1--17",
month = jan,
year = "1963",
CODEN = "CACMA2",
DOI = "https://doi.org/10.1145/366193.366201",
ISSN = "0001-0782 (print), 1557-7317 (electronic)",
ISSN-L = "0001-0782",
bibdate = "Fri Nov 25 18:19:44 MST 2005",
bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Compiler/reynolds.bib;
http://www.acm.org/pubs/contents/journals/cacm/;
https://www.math.utah.edu/pub/bibnet/authors/b/backus-john-w.bib;
https://www.math.utah.edu/pub/bibnet/authors/b/bauer-friedrich-ludwig.bib;
https://www.math.utah.edu/pub/bibnet/authors/n/naur-peter.bib;
https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib;
https://www.math.utah.edu/pub/bibnet/authors/r/rutishauser-heinz.bib;
https://www.math.utah.edu/pub/tex/bib/algol68.bib;
https://www.math.utah.edu/pub/tex/bib/cacm1960.bib",
note = "Dedicated to the memory of William Turanski.",
ZMID = "03179017",
ZMnumber = "0109.35105",
acknowledgement = ack-nhfb,
author-dates = "Alan Jay Perlis (1 April 1922--7 February 1990);
Friedrich (``Fritz'') Ludwig Bauer (10 June 1924--26
March 2015); Heinz Rutishauser (30 January 1918--10
November 1970); John Warner Backus (3 December 1924--17
March 2007); Klaus Samelson (21 December 1918--25 May
1980); Peter Naur (25 October 1928--3 January 2016)",
fjournal = "Communications of the ACM",
journal-URL = "https://dl.acm.org/loi/cacm",
numpages = "17",
}
@Article{Perlis:1963:CDC,
author = "Alan J. Perlis",
title = "Computation's development critical to our society",
journal = j-CACM,
volume = "6",
number = "10",
pages = "642--642",
month = oct,
year = "1963",
CODEN = "CACMA2",
DOI = "https://doi.org/10.1145/367651.367695",
ISSN = "0001-0782 (print), 1557-7317 (electronic)",
ISSN-L = "0001-0782",
bibdate = "Thu Jun 11 18:24:19 2026",
bibsource = "http://www.acm.org/pubs/contents/journals/cacm/;
https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib;
https://www.math.utah.edu/pub/tex/bib/cacm1960.bib",
abstract = "The ACM's growth continues: we are now at 13,000
members; expenses also grow. Our professional
membership does not spring from a uniformly trained
group as in mathematics or physics or even economics.
Instead, our increasing membership comes from what I
might call intellectual adventures --- pioneers in an
over-organized society --- who see great futures in
computing at all levels of aspiration.",
acknowledgement = ack-nhfb,
author-dates = "Alan Jay Perlis (1 April 1922--7 February 1990)",
fjournal = "Communications of the ACM",
journal-URL = "https://dl.acm.org/loi/cacm",
numpages = "1",
}
@Article{Perlis:1964:EAM,
author = "A. J. Perlis and Renato Iturriaga",
title = "An extension to {ALGOL} for manipulating formulae",
journal = j-CACM,
volume = "7",
number = "2",
pages = "127--130",
month = feb,
year = "1964",
CODEN = "CACMA2",
DOI = "https://doi.org/10.1145/363921.363943",
ISSN = "0001-0782 (print), 1557-7317 (electronic)",
ISSN-L = "0001-0782",
bibdate = "Thu Jun 11 18:24:19 2026",
bibsource = "http://portal.acm.org/;
http://www.acm.org/pubs/contents/journals/cacm/;
https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib;
https://www.math.utah.edu/pub/tex/bib/algol68.bib;
https://www.math.utah.edu/pub/tex/bib/cacm1960.bib;
https://www.math.utah.edu/pub/tex/bib/macsyma.bib",
ZMnumber = "0143.18602",
acknowledgement = ack-nhfb,
author-dates = "Alan Jay Perlis (1 April 1922--7 February 1990)",
fjournal = "Communications of the ACM",
journal-URL = "https://dl.acm.org/loi/cacm",
numpages = "4",
}
@Article{Perlis:1964:FL,
author = "A. J. Perlis",
title = "A format language",
journal = j-CACM,
volume = "7",
number = "2",
pages = "89--97",
month = feb,
year = "1964",
CODEN = "CACMA2",
DOI = "https://doi.org/10.1145/363921.363936",
ISSN = "0001-0782 (print), 1557-7317 (electronic)",
ISSN-L = "0001-0782",
bibdate = "Thu Jun 11 18:24:19 2026",
bibsource = "http://portal.acm.org/;
http://www.acm.org/pubs/contents/journals/cacm/;
https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib;
https://www.math.utah.edu/pub/tex/bib/cacm1960.bib",
abstract = "One of the most primitive parts of a formula language
is its specification of input-output actions within the
framework of the language. While the specification is
intrinsically more complex, say, than the evaluation of
an arithmetic expression, most of the difficulties
associated with input-output specification arise from
the fact that the desired operations have not been
properly defined using the framework of a programming
language. Indeed, the complexity largely disappears
when a programming language is constructed to specify
input-output actions. The point to be made here is that
the definition of an appropriate programming language
makes more rational and simpler all three phases of the
input-output programming cycle: (i) source program
construction, (ii) object program construction, (iii)
object program execution.",
acknowledgement = ack-nhfb,
author-dates = "Alan Jay Perlis (1 April 1922--7 February 1990)",
fjournal = "Communications of the ACM",
journal-URL = "https://dl.acm.org/loi/cacm",
numpages = "9",
}
@Article{Perlis:1964:HSA,
author = "A. J. Perlis",
title = "How should {ACM} publish computer research?",
journal = j-CACM,
volume = "7",
number = "8",
pages = "461--461",
month = aug,
year = "1964",
CODEN = "CACMA2",
DOI = "https://doi.org/10.1145/355586.364759",
ISSN = "0001-0782 (print), 1557-7317 (electronic)",
ISSN-L = "0001-0782",
bibdate = "Thu Jun 11 18:24:19 2026",
bibsource = "http://portal.acm.org/;
http://www.acm.org/pubs/contents/journals/cacm/;
https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib;
https://www.math.utah.edu/pub/tex/bib/cacm1960.bib",
acknowledgement = ack-nhfb,
author-dates = "Alan Jay Perlis (1 April 1922--7 February 1990)",
fjournal = "Communications of the ACM",
journal-URL = "https://dl.acm.org/loi/cacm",
numpages = "1",
}
@Article{Perlis:1964:PDC,
author = "A. J. Perlis",
title = "Programming of digital computers",
journal = j-CACM,
volume = "7",
number = "4",
pages = "210--211",
month = apr,
year = "1964",
CODEN = "CACMA2",
DOI = "https://doi.org/10.1145/364005.364023",
ISSN = "0001-0782 (print), 1557-7317 (electronic)",
ISSN-L = "0001-0782",
bibdate = "Thu Jun 11 18:24:19 2026",
bibsource = "http://www.acm.org/pubs/contents/journals/cacm/;
https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib;
https://www.math.utah.edu/pub/tex/bib/cacm1960.bib",
acknowledgement = ack-nhfb,
author-dates = "Alan Jay Perlis (1 April 1922--7 February 1990)",
fjournal = "Communications of the ACM",
journal-URL = "https://dl.acm.org/loi/cacm",
numpages = "2",
}
@Book{Naur:1965:RRA,
author = "P. Naur and J. W. Backus and F. L. Bauer and J. Green
and C. Katz and J. McCarthy and P. Naur and A. J.
Perlis and Heinz Rutishauser and K. Samelson and B.
Vauquois and J. H. Wegstein and A. van Wijngaarden and
M. Woodger",
title = "Revised report on the algorithmic language {ALGOL-60}.
({Russian})",
volume = "Moskau, Russia",
publisher = "Verlag ``Mir''",
pages = "80",
year = "1965",
bibdate = "Fri Aug 21 15:10:11 MDT 2020",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/b/backus-john-w.bib;
https://www.math.utah.edu/pub/bibnet/authors/b/bauer-friedrich-ludwig.bib;
https://www.math.utah.edu/pub/bibnet/authors/n/naur-peter.bib;
https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib;
https://www.math.utah.edu/pub/bibnet/authors/r/rutishauser-heinz.bib;
https://www.math.utah.edu/pub/tex/bib/algol68.bib",
ZMID = "03235679",
ZMnumber = "0146.14701",
acknowledgement = ack-nhfb,
author-dates = "Alan Jay Perlis (1 April 1922--7 February 1990);
Friedrich (``Fritz'') Ludwig Bauer (10 June 1924--26
March 2015); Heinz Rutishauser (30 January 1918--10
November 1970); John Warner Backus (3 December 1924--17
March 2007); Klaus Samelson (21 December 1918--25 May
1980); Peter Naur (25 October 1928--3 January 2016)",
keywords = "numerical analysis",
language = "Russian",
}
@InProceedings{Perlis:1965:FA,
author = "A. J. Perlis and T. A. Standish",
title = "Formula {ALGOL}",
crossref = "Kalenich:1965:IPP",
pages = "454--??",
year = "1965",
bibdate = "Fri Jun 05 06:02:51 2026",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib;
https://www.math.utah.edu/pub/tex/bib/algol68.bib",
acknowledgement = ack-nhfb,
author-dates = "Alan Jay Perlis (1 April 1922--7 February 1990)",
}
@TechReport{Perlis:1965:FME,
author = "A. J. Perlis",
title = "Formula Manipulation in Extended {ALGOL}",
type = "Report",
number = "??",
institution = "Nederlands Rekenmachine Genootschaap",
address = "????",
month = dec,
year = "1965",
bibdate = "Wed Jun 03 13:29:04 2026",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib;
https://www.math.utah.edu/pub/tex/bib/algol68.bib",
acknowledgement = ack-nhfb,
author-dates = "Alan Jay Perlis (1 April 1922--7 February 1990)",
}
@TechReport{Perlis:1965:PSF,
author = "Alan J. Perlis and Renato Iturriaga and Thomas A.
Standish",
title = "A preliminary sketch of {Formula ALGOL}",
institution = "Carnegie Mellon University",
address = "Pittsburgh, PA, USA",
pages = "iii + 52",
day = "21",
month = jul,
year = "1965",
DOI = "https://doi.org/10.1184/R1/6591206",
URL = "https://kilthub.cmu.edu/articles/journal_contribution/A_preliminary_sketch_of_Formula_ALGOL/6591206",
acknowledgement = ack-nhfb # " and " # ack-pm,
author-dates = "Alan Jay Perlis (1 April 1922--7 February 1990)",
remark = "PDF file pages 58--137 are an unrelated document,
Daniel Ross, \booktitle{MTHAT Assembler for the CDC
[formerly Bendix] G-21}.",
}
@Article{Galler:1966:PDA,
author = "B. A. Galler and A. J. Perlis",
title = "A proposal for definitions in {ALGOL}",
journal = j-CACM,
volume = "9",
number = "7",
pages = "481--482",
month = jul,
year = "1966",
CODEN = "CACMA2",
DOI = "https://doi.org/10.1145/365719.366429",
ISSN = "0001-0782 (print), 1557-7317 (electronic)",
ISSN-L = "0001-0782",
bibdate = "Thu Jun 11 18:24:19 2026",
bibsource = "http://www.acm.org/pubs/contents/journals/cacm/;
https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib;
https://www.math.utah.edu/pub/tex/bib/algol68.bib;
https://www.math.utah.edu/pub/tex/bib/cacm1960.bib",
acknowledgement = ack-nhfb,
author-dates = "Alan Jay Perlis (1 April 1922--7 February 1990)",
fjournal = "Communications of the ACM",
journal-URL = "https://dl.acm.org/loi/cacm",
numpages = "2",
}
@TechReport{Perlis:1966:DFAa,
author = "Alan J. Perlis and Renato Iturriaga and Thomas A.
Standish",
title = "A definition of {Formula ALGOL}",
institution = "Carnegie Mellon University",
address = "Pittsburgh, PA, USA",
pages = "53 (unnumbered)",
month = mar,
year = "1966",
DOI = "https://doi.org/10.1184/R1/6587342",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib;
https://www.math.utah.edu/pub/tex/bib/algol68.bib",
URL = "https://kilthub.cmu.edu/articles/journal_contribution/A_definition_of_formula_ALGOL/6587342",
abstract = "Formula Algol is an extension to ALGOL 60
incorporating formula manipulation and list processing.
This paper defines a current version of the Formula
Algol language which is implemented on the CDC
[formerly, Bendix] G-20.",
acknowledgement = ack-nhfb,
author-dates = "Alan Jay Perlis (1 April 1922--7 February 1990)",
}
@Article{Perlis:1966:DFAb,
author = "Alan J. Perlis and Renato Iturriaga and Thomas A.
Standish",
title = "A definition of {Formula ALGOL}",
journal = j-CACM,
volume = "9",
number = "8",
pages = "549--549",
month = aug,
year = "1966",
CODEN = "CACMA2",
DOI = "https://doi.org/10.1145/365758.3292487",
ISSN = "0001-0782 (print), 1557-7317 (electronic)",
ISSN-L = "0001-0782",
bibdate = "Thu Jun 11 18:24:19 2026",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib;
https://www.math.utah.edu/pub/tex/bib/algol68.bib",
acknowledgement = ack-nhfb,
author-dates = "Alan Jay Perlis (1 April 1922--7 February 1990)",
fjournal = "Communications of the ACM",
journal-URL = "https://dl.acm.org/loi/cacm",
numpages = "1",
remark = "This is a short summary; see \cite{Perlis:1966:DFA}
for the full paper.",
}
@Article{Perlis:1966:FAN,
author = "A. J. Perlis",
title = "A Forum on Algorithms: a new policy for algorithms?",
journal = j-CACM,
volume = "9",
number = "4",
pages = "255--255",
month = apr,
year = "1966",
CODEN = "CACMA2",
DOI = "https://doi.org/10.1145/365278.365293",
ISSN = "0001-0782 (print), 1557-7317 (electronic)",
ISSN-L = "0001-0782",
bibdate = "Fri Nov 25 18:20:05 MST 2005",
bibsource = "http://www.acm.org/pubs/contents/journals/cacm/;
https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib;
https://www.math.utah.edu/pub/tex/bib/cacm1960.bib",
abstract = "Debate is under way concerning the Algorithms section
of the Communications. Specifically, there is
considerable sentiment in favor of also publishing
algorithms in languages other than ALGOL.",
acknowledgement = ack-nhfb,
author-dates = "Alan Jay Perlis (1 April 1922--7 February 1990)",
fjournal = "Communications of the ACM",
journal-URL = "https://dl.acm.org/loi/cacm",
numpages = "3",
}
@InProceedings{Perlis:1966:SAS,
author = "A. J. Perlis",
booktitle = "Proceedings of the 1966 21st National Conference",
title = "The synthesis of algorithmic systems",
publisher = pub-ACM,
address = pub-ACM:adr,
pages = "1--6",
year = "1966",
DOI = "https://doi.org/10.1145/800256.810673",
ISBN = "1-4503-7915-X",
ISBN-13 = "978-1-4503-7915-1",
bibdate = "Thu Jun 11 18:24:19 2026",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib",
series = "ACM '66",
abstract = "On what does the fame of Turing rest? That he proved a
theorem showing that for a general computing device
-later dubbed a ``Turing machine'' --- there existed
functions which it could not compute? I doubt it. More
likely it is because of the model he invented and
employed: his formal mechanism.This model has captured
the imagination and mobilized the thoughts of a
generation of scientists. It has provided a base for
arguments leading to theories. His model has proved so
useful that its generated activity has been distributed
not only in mathematics, but through several
technologies as well. The arguments employed were not
always formal and the consequent creations were not all
abstract. Indeed a most fruitful consequence of the
Turing machine has been with the creation, study, and
computation of functions which are computable, i.e., in
computer programming.",
acknowledgement = ack-nhfb,
author-dates = "Alan Jay Perlis (1 April 1922--7 February 1990)",
numpages = "6",
}
@Article{Galler:1967:PDA,
author = "B. A. Galler and A. J. Perlis",
title = "A proposal for definitions in {ALGOL}",
journal = j-CACM,
volume = "10",
number = "4",
pages = "204--219",
month = apr,
year = "1967",
CODEN = "CACMA2",
DOI = "https://doi.org/10.1145/363242.363252",
ISSN = "0001-0782 (print), 1557-7317 (electronic)",
ISSN-L = "0001-0782",
bibdate = "Thu Jun 11 18:24:19 2026",
bibsource = "http://www.acm.org/pubs/contents/journals/cacm/;
https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib;
https://www.math.utah.edu/pub/tex/bib/algol68.bib;
https://www.math.utah.edu/pub/tex/bib/cacm1960.bib",
acknowledgement = ack-nhfb,
author-dates = "Alan Jay Perlis (1 April 1922--7 February 1990)",
fjournal = "Communications of the ACM",
journal-URL = "https://dl.acm.org/loi/cacm",
numpages = "16",
}
@InProceedings{Mitchell:1967:LLC,
author = "J. G. Mitchell and A. J. Perlis and H. R. Van Zoeren",
booktitle = "Symposium on Interactive Systems for Experimental
Applied Mathematics: Proceedings of the Association for
Computing Machinery Inc. Symposium",
title = "{LC2}: a language for conversational computing",
publisher = pub-ACM,
address = pub-ACM:adr,
pages = "203--214",
year = "1967",
DOI = "https://doi.org/10.1145/2402536.2402558",
ISBN = "1-4503-7309-7",
ISBN-13 = "978-1-4503-7309-8",
bibdate = "Thu Jun 11 18:24:19 2026",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib",
abstract = "The purpose of time-sharing is twofold: to increase
the efficiency of the computer system and, while
attaining this increase, to permit efficient
communication between a programmer and his programs.
This communication we may call conversation. Prevailing
programming languages like FORTRAN, PL/1, ALGOL, COBOL,
etc., are poorly designed for such interactive
programming. However, languages like JOSS [1], APL [2],
and the to be described LC2 are much more suited to
this task.",
acknowledgement = ack-nhfb,
author-dates = "Alan Jay Perlis (1 April 1922--7 February 1990)",
location = "Washington, D.C.",
numpages = "12",
}
@TechReport{Perlis:1967:LLC,
author = "Alan J. Perlis",
title = "{LC}$^2$ [Language for Conversational Computing]",
type = "Report",
number = "CRD-3",
institution = "Carnegie Mellon University",
address = "Pittsburgh, PA, USA",
pages = "27",
day = "19",
month = jul,
year = "1967",
bibdate = "Fri Jun 12 18:23:45 2026",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib",
acknowledgement = ack-nhfb # " and " # ack-pm,
author-dates = "Alan Jay Perlis (1 April 1922--7 February 1990)",
}
@Article{Perlis:1967:SAS,
author = "Alan J. Perlis",
title = "The Synthesis of Algorithmic Systems",
journal = j-J-ACM,
volume = "14",
number = "1",
pages = "1--9",
month = jan,
year = "1967",
CODEN = "JACOAH",
DOI = "https://doi.org/10.1145/321371.321372",
ISSN = "0004-5411 (print), 1557-735x (electronic)",
ISSN-L = "0004-5411",
bibdate = "Thu Jun 11 18:24:19 2026",
bibsource = "http://portal.acm.org/;
https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib;
https://www.math.utah.edu/pub/tex/bib/acm-turing-awards.bib;
https://www.math.utah.edu/pub/tex/bib/jacm.bib",
acknowledgement = ack-nhfb,
ajournal = "J. Assoc. Comput. Mach.",
author-dates = "Alan Jay Perlis (1 April 1922--7 February 1990)",
fjournal = "Journal of the ACM",
journal-URL = "https://dl.acm.org/loi/jacm",
numpages = "9",
remark = "This is the 1966 ACM Turing Award Lecture, and the
first award.",
}
@InProceedings{Perlis:1968:CSN,
author = "Alan J. Perlis",
title = "Computer science is neither mathematics nor electrical
engineering",
crossref = "Finerman:1968:UEC",
pages = "69--80",
year = "1968",
bibdate = "Thu Jun 11 17:37:16 2026",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib",
acknowledgement = ack-nhfb,
author-dates = "Alan Jay Perlis (1 April 1922--7 February 1990)",
}
@InProceedings{Perlis:1969:IDC,
author = "Alan J. Perlis",
booktitle = "Proceedings of the May 14-16, 1969, Spring Joint
Computer Conference",
title = "Identifying and developing curricula in software
engineering",
publisher = pub-ACM,
address = pub-ACM:adr,
pages = "540--541",
year = "1969",
DOI = "https://doi.org/10.1145/1476793.1476877",
ISBN = "1-4503-7902-8",
ISBN-13 = "978-1-4503-7902-1",
bibdate = "Thu Jun 11 18:24:19 2026",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib",
series = "AFIPS '69 (Spring)",
abstract = "One basis for developing an education program is the
recognition of a continuing need for a certain class of
professionals in our society.",
acknowledgement = ack-nhfb,
author-dates = "Alan Jay Perlis (1 April 1922--7 February 1990)",
location = "Boston, Massachusetts",
numpages = "2",
}
@Article{Perlis:1969:IEL,
author = "Alan J. Perlis",
title = "Introduction to extensible languages",
journal = j-SIGPLAN,
volume = "4",
number = "8",
pages = "3--5",
month = aug,
year = "1969",
CODEN = "SINODQ",
DOI = "https://doi.org/10.1145/1115858.1115859",
ISSN = "0362-1340 (print), 1523-2867 (print), 1558-1160
(electronic)",
ISSN-L = "0362-1340",
bibdate = "Thu Jun 11 18:24:19 2026",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib;
https://www.math.utah.edu/pub/tex/bib/sigplan1960.bib;
https://www.math.utah.edu/pub/tex/bib/sigplan1970.bib",
URL = "https://dl.acm.org/doi/10.1145/1115858.1115859",
abstract = "It has been such a long time since I have seen so many
familiar faces shouting among so many familiar ideas.
Discovery of something new in programming languages,
like any discovery, has somewhat the same sequence of
emotions as falling in love. A sharp elation followed
by euphoria, a feeling of uniqueness, and ultimately
the wandering eye (the urge to generalize). I hope that
Extensible Languages will have a long enough appeal for
us in this rapidly changing world that we can draw from
its juices.",
acknowledgement = ack-nhfb,
author-dates = "Alan Jay Perlis (1 April 1922--7 February 1990)",
fjournal = "ACM SIGPLAN Notices",
journal-URL = "https://dl.acm.org/loi/sigplan",
numpages = "3",
}
@Article{Forsythe:1970:CSM,
author = "G. E. Forsythe and B. A. Galler and J. Hartmanis and
A. J. Perlis and J. F. Traub",
title = "Computer science and mathematics",
journal = j-SIGCSE,
volume = "2",
number = "4",
pages = "19--29",
month = sep # "\slash " # oct,
year = "1970",
CODEN = "SIGSD3",
DOI = "https://doi.org/10.1145/873661.873662",
ISSN = "0097-8418 (print), 2331-3927 (electronic)",
ISSN-L = "0097-8418",
bibdate = "Sun Nov 18 08:53:42 MST 2012",
bibsource = "http://portal.acm.org/;
http://www.math.utah.edu/pub/bibnet/authors/f/forsythe-george-elmer.bib;
http://www.math.utah.edu/pub/tex/bib/sigcse1970.bib;
https://www.math.utah.edu/pub/bibnet/authors/f/forsythe-george-elmer.bib;
https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib",
acknowledgement = ack-nhfb,
author-dates = "Alan Jay Perlis (1 April 1922--7 February 1990);
George Elmer Forsythe (8 January 1917--9 April 1972)",
fjournal = "SIGCSE Bulletin (ACM Special Interest Group on
Computer Science Education)",
journal-URL = "http://portal.acm.org/browse_dl.cfm?idx=J688",
numpages = "11",
}
@Book{Galler:1970:VPL,
author = "B. A. Galler and A. J. Perlis",
title = "A view of programming languages",
publisher = pub-AW,
address = pub-AW:adr,
pages = "vi + 282",
year = "1970",
LCCN = "YC 510.783 G13V",
MRclass = "68.00 (94.00)",
MRnumber = "272223",
MRreviewer = "J. Gruska",
bibdate = "Thu Jun 11 12:00:45 2026",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib",
ZMnumber = "154.18203",
acknowledgement = ack-nhfb,
author-dates = "Alan Jay Perlis (1 April 1922--7 February 1990)",
}
@TechReport{Mitchell:1971:CPL,
author = "J. Mitchell and J. Newcomer and A. Perlis and H. {Van
Zoeren} and D. Wile",
title = "Conversational Programming --- {LC$2$}: A reference
manual for a language for conversational computing",
type = "Report",
number = "??",
institution = "Carnegie Mellon University",
address = "Pittsburgh, PA, USA",
month = jun,
year = "1971",
DOI = "https://doi.org/10.1184/R1/6604490",
bibdate = "Fri Jun 12 18:37:28 2026",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib",
acknowledgement = ack-nhfb # " and " # ack-pm,
author-dates = "Alan Jay Perlis (1 April 1922--7 February 1990)",
}
@InProceedings{Perlis:1973:BS,
author = "Alan J. Perlis",
booktitle = "Proceedings of the 1st Annual Computer Science
Conference on Program Information Abstracts",
title = "Banquet speaker",
publisher = pub-ACM,
address = pub-ACM:adr,
pages = "68",
year = "1973",
DOI = "https://doi.org/10.1145/1125118.1125157",
ISBN = "1-4503-7805-6",
ISBN-13 = "978-1-4503-7805-5",
bibdate = "Thu Jun 11 18:24:19 2026",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib",
series = "CSC '73",
acknowledgement = ack-nhfb,
author-dates = "Alan Jay Perlis (1 April 1922--7 February 1990)",
location = "Columbus, Ohio",
numpages = "1",
}
@Book{Perlis:1975:ICS,
author = "A. J. Perlis",
title = "Introduction to Computer Science",
publisher = pub-HARPER-ROW,
address = pub-HARPER-ROW:adr,
edition = "Second",
year = "1975",
ISBN = "0-06-045128-9",
ISBN-13 = "978-0-06-045128-8",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib;
https://www.math.utah.edu/pub/tex/bib/fortran1.bib;
Misc/TUBScsd.bib; Misc/TUBScsd/1975.bib",
acknowledgement = ack-nhfb,
author-dates = "Alan Jay Perlis (1 April 1922--7 February 1990)",
descriptor = "APL, Banach-Normalform, Basic, PL/I, Snobol,
Zahldarstellung, Algol 68, Fortran, Lisp, Rekursion,
Sprache, Algorithmus, Datenstruktur, Grammatik",
}
@Article{Backus:1976:MRA,
author = "J. W. Backus and F. L. Bauer and J. Green and C. Katz
and J. McCarthy and P. Naur and A. J. Perlis and H.
Rutishauser and K. Samelson and B. Vauquois and J. H.
Wegstein and A. van Wijngaarden and M. Woodger and R.
M. {De Morgan} and I. D. Hill and B. A. Wichmann",
title = "Modified Report on the Algorithmic Language
{ALGOL-60}",
journal = j-COMP-J,
volume = "19",
number = "4",
pages = "364--379",
month = nov,
year = "1976",
CODEN = "CMPJA6",
DOI = "https://doi.org/10.1093/comjnl/19.4.364",
ISSN = "0010-4620 (print), 1460-2067 (electronic)",
ISSN-L = "0010-4620",
MRclass = "68N01",
bibdate = "Tue Dec 4 14:47:58 MST 2012",
bibsource = "Compendex database;
http://comjnl.oxfordjournals.org/content/19/4.toc;
http://www.math.utah.edu/pub/tex/bib/compj.bib;
http://www3.oup.co.uk/computer_journal/hdb/Volume_19/Issue_04/;
https://www.math.utah.edu/pub/bibnet/authors/b/backus-john-w.bib;
https://www.math.utah.edu/pub/bibnet/authors/b/bauer-friedrich-ludwig.bib;
https://www.math.utah.edu/pub/bibnet/authors/n/naur-peter.bib;
https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib;
https://www.math.utah.edu/pub/bibnet/authors/r/rutishauser-heinz.bib;
https://www.math.utah.edu/pub/tex/bib/algol68.bib;
https://www.math.utah.edu/pub/tex/bib/compj.bib;
https://www.math.utah.edu/pub/tex/bib/compj1970.bib;
Misc/is.bib",
URL = "http://comjnl.oxfordjournals.org/content/19/4/364.full.pdf+html;
http://www3.oup.co.uk/computer_journal/hdb/Volume_19/Issue_04/tiff/364.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_19/Issue_04/tiff/365.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_19/Issue_04/tiff/366.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_19/Issue_04/tiff/367.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_19/Issue_04/tiff/368.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_19/Issue_04/tiff/369.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_19/Issue_04/tiff/370.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_19/Issue_04/tiff/371.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_19/Issue_04/tiff/372.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_19/Issue_04/tiff/373.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_19/Issue_04/tiff/374.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_19/Issue_04/tiff/375.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_19/Issue_04/tiff/376.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_19/Issue_04/tiff/377.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_19/Issue_04/tiff/378.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_19/Issue_04/tiff/379.tif",
ZMID = "03529388",
ZMnumber = "0338.68007",
acknowledgement = ack-nhfb,
author-dates = "Alan Jay Perlis (1 April 1922--7 February 1990);
Friedrich (``Fritz'') Ludwig Bauer (10 June 1924--26
March 2015); Heinz Rutishauser (30 January 1918--10
November 1970); John Warner Backus (3 December 1924--17
March 2007); Klaus Samelson (21 December 1918--25 May
1980); Peter Naur (25 October 1928--3 January 2016)",
classcodes = "C6140D (High level languages)",
classification = "723; 902",
fjournal = "The Computer Journal",
journal-URL = "http://comjnl.oxfordjournals.org/",
keywords = "ALGOL; ALGOL 60; algorithmic language; computer
programming languages; standards",
treatment = "G General Review; P Practical",
}
@InProceedings{DeMillo:1977:SPP,
author = "Richard A. DeMillo and Richard J. Lipton and Alan J.
Perlis",
booktitle = "Proceedings of the 4th {ACM} {SIGACT-SIGPLAN}
Symposium on Principles of Programming Languages",
title = "Social processes and proofs of theorems and programs",
publisher = pub-ACM,
address = pub-ACM:adr,
pages = "206--214",
year = "1977",
DOI = "https://doi.org/10.1145/512950.512970",
ISBN = "1-4503-7350-X",
ISBN-13 = "978-1-4503-7350-0",
bibdate = "Thu Jun 11 18:24:19 2026",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib",
series = "POPL '77",
acknowledgement = ack-nhfb,
author-dates = "Alan Jay Perlis (1 April 1922--7 February 1990)",
location = "Los Angeles, California",
numpages = "9",
}
@Article{Perlis:1977:PAL,
author = "Alan J. Perlis",
title = "In praise of {APL}: a language for lyrical
programming",
journal = "SIGAPL APL Quote Quad",
volume = "8",
number = "2",
pages = "44--47",
month = dec,
year = "1977",
DOI = "https://doi.org/10.1145/586015.586019",
ISSN = "0163-6006 (print), 1558-3392 (electronic)",
bibdate = "Thu Jun 11 18:24:19 2026",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib",
acknowledgement = ack-nhfb,
author-dates = "Alan Jay Perlis (1 April 1922--7 February 1990)",
numpages = "4",
}
@Article{DeMillo:1978:RRD,
author = "Richard A. DeMillo and Richard J. Lipton and Alan J.
Perlis",
title = "Response from {R. A. DeMillo}, {R. J. Lipton}, {A. J.
Perlis}",
journal = j-SIGSOFT,
volume = "3",
number = "2",
pages = "16--17",
month = apr,
year = "1978",
CODEN = "SFENDP",
DOI = "https://doi.org/10.1145/1005888.1005891",
ISSN = "0163-5948 (print), 1943-5843 (electronic)",
ISSN-L = "0163-5948",
bibdate = "Thu Jun 11 18:24:19 2026",
bibsource = "http://www.math.utah.edu/pub/bibnet/authors/d/dijkstra-edsger-w.bib;
http://www.math.utah.edu/pub/tex/bib/sigsoft1970.bib;
https://www.math.utah.edu/pub/bibnet/authors/d/dijkstra-edsger-w.bib;
https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib;
https://www.math.utah.edu/pub/tex/bib/sigsoft1970.bib",
note = "See \cite{Dijkstra:1978:PPM}.",
acknowledgement = ack-nhfb,
author-dates = "Alan Jay Perlis (1 April 1922--7 February 1990)",
fjournal = "ACM SIGSOFT Software Engineering Notes",
issue-date = "April 1978",
journal-URL = "https://dl.acm.org/citation.cfm?id=J728",
numpages = "2",
subject-dates = "Edsger Wybe Dijkstra (11 May 1930--6 August 2002)",
}
@Article{Perlis:1978:ASDa,
author = "Alan J. Perlis",
title = "The {American} side of the development of {Algol}",
journal = j-SIGPLAN,
volume = "13",
number = "8",
pages = "3--14",
month = aug,
year = "1978",
CODEN = "SINODQ",
DOI = "https://doi.org/10.1145/960118.808369",
ISSN = "0362-1340 (print), 1523-2867 (print), 1558-1160
(electronic)",
ISSN-L = "0362-1340",
bibdate = "Thu Jun 11 18:24:19 2026",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib;
https://www.math.utah.edu/pub/tex/bib/algol68.bib;
https://www.math.utah.edu/pub/tex/bib/fortran1.bib;
https://www.math.utah.edu/pub/tex/bib/sigplan1970.bib",
abstract = "History is contextual. The Algol* development was a
product, perhaps a miraculous product, of its time. All
developments proceed, almost implacably, from the
primitive to the rococco, e.g. from Algol58 through
Algol60 to Algol68 with an appearance of a large number
of offshoots (e.g., JOVIAL, MAD, NELIAC and Euler),
extensions (FORMULA ALGOL and LCC), virile offspring
(PASCAL), etc., occurring enroute. The earliest
developments appear clean, surprising us in the new
views they reveal. One frets over why the vision that
prompted the beginning weakened during the course of
future developments. Perhaps it is inevitable that, as
unexpected complexity is uncovered, smoothness, equal
value if you will, in solutions cannot be maintained.
Trivia cannot be identified easily, special cases
overwhelm the search for general patterns, custom and
habit move performance into the realm of objective
concept, experience warps both intuition and reason,
fear of instability burdens insight with caution. The
elegance of Algol's offspring is a tribute to the grace
and power of the original. Algol, a second generation
language, was more graceful than any of its
predecessors, for example FORTRAN, MATHMATIC and IT.",
acknowledgement = ack-nhfb,
author-dates = "Alan Jay Perlis (1 April 1922--7 February 1990)",
classification = "C6140D (High level languages)",
conflocation = "Los Angeles, CA, USA; 1-3 June 1978",
conftitle = "ACM SIGPLAN History of Programming Languages
Conference",
corpsource = "California Inst. of Technol., Pasadena, CA, USA",
fjournal = "ACM SIGPLAN Notices",
journal-URL = "https://dl.acm.org/loi/sigplan",
keywords = "ALGOL; American; development; history",
numpages = "12",
treatment = "G General Review",
}
@InBook{Perlis:1978:ASDb,
author = "Alan J. Perlis",
booktitle = "History of Programming Languages",
title = "The American side of the development of {ALGOL}",
publisher = pub-ACM,
address = pub-ACM:adr,
pages = "75--91",
year = "1978",
DOI = "https://doi.org/10.1145/800025.1198352",
ISBN = "0-12-745040-8",
ISBN-13 = "978-0-12-745040-7",
bibdate = "Thu Jun 11 18:24:19 2026",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib",
acknowledgement = ack-nhfb,
author-dates = "Alan Jay Perlis (1 April 1922--7 February 1990)",
numpages = "17",
}
@InProceedings{Perlis:1978:TP,
author = "Alan J. Perlis and Peter Naur",
booktitle = "History of Programming Languages",
title = "Transcripts of presentations",
crossref = "Wexelblat:1981:HPL",
publisher = pub-ACM,
address = pub-ACM:adr,
pages = "139--161",
year = "1978",
DOI = "https://doi.org/10.1145/800025.1198354",
ISBN = "0-12-745040-8",
ISBN-13 = "978-0-12-745040-7",
bibdate = "Tue Jun 09 08:50:32 2026",
bibsource = "https://dblp.org;
https://www.math.utah.edu/pub/bibnet/authors/n/naur-peter.bib;
https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib;
https://www.math.utah.edu/pub/tex/bib/algol68.bib",
acknowledgement = ack-nhfb,
author-dates = "Alan Jay Perlis (1 April 1922--7 February 1990); Peter
Naur (25 October 1928--3 January 2016)",
biburl = "https://dblp.org/rec/conf/hopl/PerlisN78.bib",
numpages = "23",
}
@Article{DeMillo:1979:SPP,
author = "Richard A. {De Millo} and Richard J. Lipton and Alan
J. Perlis",
title = "Social Processes and Proofs of Theorems and Programs",
journal = j-CACM,
volume = "22",
number = "5",
pages = "271--280",
month = may,
year = "1979",
CODEN = "CACMA2",
DOI = "https://doi.org/10.1145/359104.359106",
ISSN = "0001-0782 (print), 1557-7317 (electronic)",
ISSN-L = "0001-0782",
bibdate = "Mon Jan 22 06:34:51 MST 2001",
bibsource = "Compendex database;
ftp://ftp.ira.uka.de/pub/bibliography/Misc/softeng.bib;
http://dblp.uni-trier.de/db/journals/cacm/cacm22.html#DeMilloLP79;
https://www.math.utah.edu/pub/bibnet/authors/d/dijkstra-edsger-w.bib;
https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib;
https://www.math.utah.edu/pub/bibnet/subjects/acc-stab-num-alg.bib;
https://www.math.utah.edu/pub/tex/bib/cacm1970.bib",
note = "See negative review
\cite{Dijkstra:1977:PPM,Dijkstra:1978:PPM}. Original
paper prepublished in \booktitle{Conference Record of
the 4th Symposium on Principles of Programming
Languages, Los Angeles, January 17--19, 1977}.",
abstract = "It is argued that formal verifications of programs, no
matter how obtained, will not play the same key role in
the development of computer science and software
engineering as proofs do in mathematics. Furthermore
the absence of continuity, the inevitability of change,
and the complexity of specification of significantly
many real programs make the formal verification process
difficult to justify and manage. It is felt that ease
of formal verification should not dominate program
language design.",
acknowledgement = ack-nhfb,
author-dates = "Alan Jay Perlis (1 April 1922--7 February 1990)",
classcodes = "C4240 (Programming and algorithm theory)",
classification = "723",
corpsource = "Georgia Inst. of Technol., Atlanta, GA, USA",
fjournal = "Communications of the ACM",
journal-URL = "https://dl.acm.org/loi/cacm",
journalabr = "Commun ACM",
keywords = "computer programming; formal mathematics; formal
verification; mathematical proofs; philosophical
aspects; program language design; program
specification; program verification; programming
theory; specification",
numpages = "10",
oldlabel = "DeMilloLP79",
subject-dates = "Edsger Wybe Dijkstra (11 May 1930--6 August 2002)",
treatment = "G General Review; T Theoretical or Mathematical",
XMLdata = "ftp://ftp.informatik.uni-trier.de/pub/users/Ley/bib/records.tar.gz#journals/cacm/DeMilloLP79",
}
@Article{Perlis:1979:PIA,
author = "Alan J. Perlis and Spencer Rugaber",
booktitle = "Proceedings of the International Conference on {APL}:
Part 1",
title = "Programming with idioms in {APL}",
journal = "SIGAPL APL Quote Quad",
volume = "9",
number = "4-P1",
pages = "232--235",
month = may,
year = "1979",
DOI = "https://doi.org/10.1145/390009.804466;
https://doi.org/10.1145/800136.804466",
ISBN = "1-4503-7440-9",
ISBN-13 = "978-1-4503-7440-8",
ISSN = "0163-6006 (print), 1558-3392 (electronic)",
bibdate = "Thu Jun 11 18:24:19 2026",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib",
series = "APL '79",
abstract = "Idioms are programming language constructs
characterized by frequency of occurrence, unity of
purpose, ease of recognition, and composability of use.
Due to APL's conciseness and functional orientation,
the language contains a large vocabulary of idioms.
This paper explores the phenomenon of idioms, discusses
how they can be used in teaching programming and
understanding programs, and includes numerous examples
of their use in practical situations.",
acknowledgement = ack-nhfb,
author-dates = "Alan Jay Perlis (1 April 1922--7 February 1990)",
location = "New York, New York, USA",
numpages = "4",
}
@Article{DeMillo:1980:SPP,
author = "Richard A. DeMillo and Richard J. Lipton and Alan J.
Perlis",
title = "Social processes and proofs of theorems and programs",
journal = j-MATH-INTEL,
volume = "3",
number = "1",
pages = "31--40",
year = "1980/81",
CODEN = "MAINDC",
DOI = "https://doi.org/10.1007/BF03023394",
ISSN = "0343-6993 (print), 1866-7414 (electronic)",
ISSN-L = "0343-6993",
MRclass = "00A25 (68G15)",
MRnumber = "617887",
MRreviewer = "M. Kline",
bibdate = "Thu Jun 11 12:00:45 2026",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib",
acknowledgement = ack-nhfb,
author-dates = "Alan Jay Perlis (1 April 1922--7 February 1990)",
fjournal = "The Mathematical Intelligencer",
journal-URL = "http://link.springer.com/journal/283",
}
@Article{Allen:1981:PHDa,
author = "Todd Allen and Robert Nix and Alan Perlis",
booktitle = "Proceedings of the {ACM} {SIGPLAN} {SIGOA} Symposium
on Text Manipulation",
title = "{PEN}: a hierarchical document editor",
journal = j-SIGPLAN,
volume = "16",
number = "6",
pages = "74--81",
month = jun,
year = "1981",
CODEN = "SINODQ",
DOI = "https://doi.org/10.1145/800209.806457;
https://doi.org/10.1145/872730.806457",
ISBN = "0-89791-050-8",
ISBN-13 = "978-0-89791-050-7",
ISSN = "0362-1340 (print), 1523-2867 (print), 1558-1160
(electronic)",
ISSN-L = "0362-1340",
bibdate = "Sun Dec 14 09:14:34 MST 2003",
bibsource = "http://portal.acm.org/;
https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib;
https://www.math.utah.edu/pub/tex/bib/sigplan1980.bib;
https://www.math.utah.edu/pub/tex/bib/typeset.bib",
abstract = "Three terms in common usage in computerized text
processing are text-editing, word-processing, and
computer controlled typesetting. This paper deals with
a fourth term, manuscript preparation, that has
important intersections with the above three. A
computerized manuscript preparation system is one that
supports an author in the preparation of a manuscript.
In what follows we deal with one such, the PEN system,
directed towards the preparation of manuscripts
containing significant mathematical notation.",
acknowledgement = ack-nhfb,
author-dates = "Alan Jay Perlis (1 April 1922--7 February 1990)",
classification = "C6130 (Data handling techniques)",
conflocation = "Portland, OR, USA; 8-10 June 1981",
conftitle = "Proceedings of the ACM SIGPLAN SIGOA Symposium on Text
Manipulation",
corpsource = "Computer Sci. Dept., Yale Univ., New Haven, CT, USA",
fjournal = "ACM SIGPLAN Notices",
journal-URL = "https://dl.acm.org/loi/sigplan",
keywords = "compilation; computer controlled typesetting; design;
formatting; hierarchical document editor; interactive
editor; manuscript preparation; PEN system; text
editing; windowing",
location = "Portland, Oregon, USA",
numpages = "8",
subject = "D.4.7 Software, OPERATING SYSTEMS, Organization and
Design, Hierarchical design D.4.7 Software, OPERATING
SYSTEMS, Organization and Design, Interactive systems
I.2.7 Computing Methodologies, ARTIFICIAL INTELLIGENCE,
Natural Language Processing, Language generation D.4.8
Software, OPERATING SYSTEMS, Performance, Queueing
theory",
treatment = "A Application",
}
@Article{Allen:1981:PHDb,
author = "Todd Allen and Robert Nix and Alan Perlis",
title = "{PEN}: A hierarchical document editor",
journal = "ACM SIGOA Newsletter",
volume = "2",
number = "1--2",
pages = "74--81",
month = apr,
year = "1981",
CODEN = "SINODQ",
DOI = "https://doi.org/10.1145/1159890.806457",
ISSN = "0737-819X",
bibdate = "Thu Jun 11 18:24:19 2026",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib",
abstract = "Three terms in common usage in computerized text
processing are text-editing, word-processing, and
computer controlled typesetting. This paper deals with
a fourth term, manuscript preparation, that has
important intersections with the above three. A
computerized manuscript preparation system is one that
supports an author in the preparation of a manuscript.
In what follows we deal with one such, the PEN system,
directed towards the preparation of manuscripts
containing significant mathematical notation.",
acknowledgement = ack-nhfb,
author-dates = "Alan Jay Perlis (1 April 1922--7 February 1990)",
numpages = "8",
}
@Article{Bauer:1981:KS,
author = "Friedrich L. Bauer and Andrei P. Ershov and M. Paul
and Alan J. Perlis",
title = "{Klaus Samelson}",
journal = j-ACTA-INFO,
volume = "15",
number = "1",
pages = "1--2",
month = dec,
year = "1981",
CODEN = "AINFA2",
DOI = "https://doi.org/10.1007/BF00269806",
ISSN = "0001-5903 (print), 1432-0525 (electronic)",
ISSN-L = "0001-5903",
MRclass = "01A70",
MRnumber = "596650; 81k:01025",
bibdate = "Thu Aug 20 18:22:34 2020",
bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/HBP/ACTAI.bib;
https://www.math.utah.edu/pub/bibnet/authors/b/bauer-friedrich-ludwig.bib;
https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib;
https://www.math.utah.edu/pub/tex/bib/actainfo.bib;
MathSciNet database",
acknowledgement = ack-nhfb,
ajournal = "Acta Inf.",
author-dates = "Alan Jay Perlis (1 April 1922--7 February 1990);
Friedrich (``Fritz'') Ludwig Bauer (10 June 1924--26
March 2015)",
fjournal = "Acta Informatica",
journal-URL = "http://link.springer.com/journal/236",
subject-dates = "Klaus Samelson (21 December 1918--25 May 1980)",
}
@Article{Perlis:1981:APL,
author = "Alan J. Perlis",
booktitle = "Proceedings of the International Conference on {APL}",
title = "Is {APL} a programming language or isn't it?",
journal = "SIGAPL APL Quote Quad",
volume = "12",
number = "1",
pages = "257--257",
month = sep,
year = "1981",
DOI = "https://doi.org/10.1145/390007.805369;
https://doi.org/10.1145/800142.805369",
ISBN = "0-89791-035-4",
ISBN-13 = "978-0-89791-035-4",
ISSN = "0163-6006 (print), 1558-3392 (electronic)",
bibdate = "Thu Jun 11 18:24:19 2026",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib",
series = "APL '81",
abstract = "It is a matter of both pride and concern to APL
programmers that APL appears to develop in ways
different from all other programming languages. This
talk will attempt to answer why this is so. Comparisons
will be made between the directions of APL development
and those of the ALGOL family and LISP.",
acknowledgement = ack-nhfb,
author-dates = "Alan Jay Perlis (1 April 1922--7 February 1990)",
location = "San Francisco, California, USA",
numpages = "1",
}
@InProceedings{Perlis:1981:ASD,
author = "Alan J. Perlis",
title = "The {American} Side of the Development of {ALGOL}",
crossref = "Wexelblat:1981:HPL",
pages = "75--91",
year = "1981",
DOI = "https://doi.org/10.1145/800025.1198352",
bibdate = "Tue Jun 02 15:43:30 2026",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib;
https://www.math.utah.edu/pub/tex/bib/algol68.bib",
acknowledgement = ack-nhfb,
author-dates = "Alan Jay Perlis (1 April 1922--7 February 1990)",
remark-01 = "From pages 78--79: ``Developments, prompted both by
reasoning about an abstraction and experience with
languages being used, accounted for much of the
excellence and balance in the language design that came
to be known as IAL (the International Algebraic
Language) achieved in a few days at the Zurich meeting.
At one point during the meeting, the acronym ALGOL
(Algorithmic language) was suggested as a name for the
language under design. It was not adopted, perhaps
because it did not emphasize the international (!)
effort involved. Once publicized, discussed and
debated, the `unspeakable' and pompous acronym, IAL,
gave way in 1959 to the more verbal and source
independent ALGOL. When a second version became an
imminent possibility, the distinction between the
earlier and later versions was captured in the names
ALGOL 58 and ALGOL 60, respectively.''",
remark-02 = "From page 80: ``The proposal that there be three
representations for the languages, reference,
publication, and hardware, was a master stroke. It
simultaneously freed designers, implementers, and users
from pointless debates on issues over which none could
expect to have much control. It made possible the
appreciation of the ideas, the intent and the feel of
the language, without the need of prior language
alphabet projection onto local (usually limited)
character sets.''",
remark-03 = "From page 81: ``Control statements were recognized to
be a class of constructions that called for the notion
of compound statement. That notion, extended so nicely
in ALGOL 60, is the main contribution of ALGOL 58 to
programming languages.''",
remark-04 = "From page 82: ``This use of evaluation on the call
side of an internal variable of a procedure is called
Jensen's device, named after J{\o}rn Jensen of the
Danish Regnecentralen, who first noted this use of call
by name parameters.''",
remark-05 = "From page 82: ``It seemed that while there was some
American interest in implementing ALGOL 58, (e.g.,
within SHARE and IBM) more in the U.S.A. were
interested in implementing a language derived from but
not necessarily the same as ALGOL 58. In this category
fall the efforts of the groups at the University of
Michigan (MAD), Naval Electronics Laboratory (NELIAC),
and System Development Corp. (JOVIAL). To these latter
groups, ALGOL 58 was seen as a rich set of guidelines
for a language rather than a standard to be adhered to.
It suggested possibilities, yet neglected issues for
which any real implementation must provide a solution,
e.g., input--output.''",
remark-06 = "From page 84: ``Almost everyone in the United States
who would be interested in ALGOL 58 was probably a
member of ACM. Hence, the \booktitle{Communications of
the ACM} became the natural forum in which to publicize
not only the usage of ALGOL 58, but recommendations for
its revision.''",
remark-07 = "From page 84: ``The \booktitle{ALGOL Bulletin}, the
European medium for disseminating ALGOL intensive
matters, was established at a subsequent European
conference in Copenhagen in February 1959, and the
first of its issues appeared that March. P. Naur of the
Danish Regnecentralen was its first editor.''",
remark-08 = "From page 84: ``At the first IFIP conference in Paris
in June 1959, a resolution that both the
\booktitle{Communications} and the \booktitle{ALGOL
Bulletin} be the official media for discussions of
proposals for ALGOL improvement and other ALGOL matters
was adopted by those who were concerned about the
development of ALGOL.''",
remark-09 = "From page 86: ``Recursion was specifically proposed
(McCarthy, 1959) even though it had not been explicitly
forbidden in ALGOL 58. In any event, recursion became
possible in obvious ways in ALGOL 60. Even though
numerical analysis did not make much use of recursive
procedures, inclusion of recursion made the language
much more useful for important applications that would
surface in the years immediately following ALGOL 60's
birth''",
remark-10 = "From page 88: ``J. Wegstein proposed, and the ACM
editorial board enthusiastically endorsed, on December
2, 1959, the establishment of a new department in the
\booktitle{Communications} for publishing algorithms in
ALGOL. Other publications, e.g., \booktitle{Numerische
Mathematik} in Germany and \booktitle{BIT} in
Scandinavia, were to follow this same policy. Wegstein
became the first editor. The algorithms published in
the \booktitle{Communications} did much to enhance the
popularity of ALGOL in the United States.''",
remark-11 = "From page 90: ``To the ALGOL 58 terminology it [ALGOL
60] added: block, call by value and call by name, typed
procedures, declaration scope, dynamic arrays, own
variables, side effects, global and local variables,
primary, term, factor, step, until, while, if then
else, and bound pair. To translator technology was
added the display, stack techniques, including static
and dynamic level control, thunks, activation records,
recursive descent parsers (Gries, 1971).''",
remark-12 = "From page 91: ``It comes as a shock to many that ALGOL
is not the preferred representation for programs that
investigate important programming questions, e.g., in
interactive computation, in list string and array
processing. Nonetheless, ALGOL deserves our affection
and appreciation. It was a noble begin but never
intended to be a satisfactory end.interactive
computation, in list string and array processing.
Nonetheless, ALGOL deserves our affection and
appreciation. It was a noble {\bf begin} but never
intended to be a satisfactory {\bf end}.''",
remark-13 = "From page 91: ``Though not cited directly in the
paper, R. W. Bemer's fascinating `A Politico-Social
History of Algol,' Annual Review in Automatic
Programming 5, pp. 151--238, Pergamon Press, 1969
[\cite{Bemer:1969:PSH}], was an invaluable source of
information, about the human comedy surrounding ALGOL
from conception through birth, and past toilet
training.''",
remark-14 = "From page 91: ``Though their names have not figured
prominently in the text, no history of ALGOL can fail
to pay tribute to the special contributions of F. Bauer
and the late H. Rutishauser. Rutishauser was the
conscience and inspiration of both the Zurich and Paris
committees. His vision of the nature and purpose of
ALGOL never wavered, even when confronted with
brilliant but erratic generalizations and annoying
imperfections. Bauer, a man of iron will and scientific
vision, guided the GAMM committee, arranged for the
Zurich meeting and coaxed a wider circle of Europeans
to participate in the ALGOL 60 effort. He, more than
anyone else, made ALGOL a focus of attention for
computer specialists in Europe.''",
}
@InProceedings{Perlis:1981:TP,
author = "Alan J. Perlis",
title = "Transcripts of Presentations",
crossref = "Wexelblat:1981:HPL",
pages = "139--147",
year = "1981",
bibdate = "Tue Jun 09 06:41:59 2026",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/n/naur-peter.bib;
https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib;
https://www.math.utah.edu/pub/tex/bib/algol68.bib",
acknowledgement = ack-nhfb,
author-dates = "Alan Jay Perlis (1 April 1922--7 February 1990)",
subject-dates = "Peter Naur (25 October 1928--3 January 2016)",
}
@Article{Elgot:1982:SSA,
author = "Calvin C. Elgot and Alan J. Perlis and Lawrence
Snyder",
title = "A syntax-free semantics for the {APL} operators",
journal = j-INFO-PROC-LETT,
volume = "14",
number = "3",
pages = "128--131",
day = "16",
month = may,
year = "1982",
CODEN = "IFPLAT",
ISSN = "0020-0190 (print), 1872-6119 (electronic)",
ISSN-L = "0020-0190",
bibdate = "Wed Nov 11 12:16:26 MST 1998",
bibsource = "Compendex database;
https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib;
https://www.math.utah.edu/pub/tex/bib/infoproc1970.bib;
https://www.math.utah.edu/pub/tex/bib/infoproc1980.bib",
acknowledgement = ack-nhfb,
author-dates = "Alan Jay Perlis (1 April 1922--7 February 1990)",
classification = "723; C4240 (Programming and algorithm theory)",
corpsource = "Math. Sci. Dept., IBM TJ Watson Res. Center, Yorktown
Heights, NY, USA",
fjournal = "Information Processing Letters",
journal-URL = "https://www.sciencedirect.com/science/journal/00200190/",
journalabr = "Inf Process Lett",
keywords = "APL operators; computer programming languages; index;
membership; programming theory; reduction; scalar
product; scan; structural transformations; syntax-free
semantics",
treatment = "P Practical; T Theoretical or Mathematical",
}
@Article{Perlis:1982:SFE,
author = "Alan J. Perlis",
title = "Special Feature: Epigrams on programming",
journal = j-SIGPLAN,
volume = "17",
number = "9",
pages = "7--13",
month = sep,
year = "1982",
CODEN = "SINODQ",
DOI = "https://doi.org/10.1145/947955.1083808",
ISSN = "0362-1340 (print), 1523-2867 (print), 1558-1160
(electronic)",
ISSN-L = "0362-1340",
bibdate = "Thu Jun 11 18:24:19 2026",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib",
acknowledgement = ack-nhfb,
author-dates = "Alan Jay Perlis (1 April 1922--7 February 1990)",
fjournal = "ACM SIGPLAN Notices",
journal-URL = "https://dl.acm.org/loi/sigplan",
numpages = "7",
}
@InProceedings{Perlis:1985:AVS,
author = "Alan J. Perlis",
booktitle = "Proceedings of the 8th International Conference on
Software Engineering",
title = "Another view of software (panel session)",
publisher = pub-IEEE,
address = pub-IEEE:adr,
pages = "395--396",
year = "1985",
ISBN = "0-8186-0620-7",
ISBN-13 = "978-0-8186-0620-5",
bibdate = "Thu Jun 11 18:24:19 2026",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib",
series = "ICSE '85",
abstract = "Before we can assess the roles and values of AI and
the tools of logic in the domain of software we must be
sure that we appreciate the nature of this domain.
Unfortunately there is a great deal of truth to the
statement ``software is to the computer as life is to
the planet''. Thus we know that there are many kinds of
software created in many kinds of ways and serving
myriad purposes. We can appreciate some of the key
issues of life by examining the human being but not, in
a completely satisfactory way, by examining his tools.
his tools. To understand software we must go beyond the
techniques and methodologies we have so carefully and
painfully crafted, e.g., high level languages,
structured programming, data structures and types,
semaphores, functional programming, etc. Adding a few
more tools will not change things very much and will
probably not tell us much about why software is the way
it is.Our dissatisfaction with software surfaced with
operating systems and their offspring. Why? I think it
was because they were created to provide an open set of
services from a pool of loosely cooperating functions.
Furthermore the set of services and the pool of
functions would not tolerate a bound in number,
intricacy of communication, and efficiency of computer
use. I believe that the word ``software'' obscures the
issues that dominate our concerns and I choose the word
``organithm'' to identify that class of programs we
study in software engineering. Operating systems are
the archetype organithms. Paraphrasing Bernal, an
organithm is a partial, continuous, progressive,
multiform, and conditionally interactive realization of
the potentiality of human thought expressed as computer
program. Thought, being what it is, an organithm is a
large collection of other perhaps more limiting
programs held together by useful traffic patterns.
While we may say that some of the parts are perfect for
their purpose, the collection is never more than
adequate and thus always in a state of evolution.
Supporting this evolution is the major goal of software
engineering. Put another way, the dynamics of organithm
development set the locus of the concerns of software
engineering.Organithms model mental abstractions. As
models they are approximations and never have enough
state to serve as ``uniform'' approximants. Mental
abstractions thrive on deduction and induction to
increase their set of accessible states and sooner or
later, like the interpolants they are, they turn sour
and must change, often in unanticipated ways, in order
to remain of use. So it is with the organithms that
model them: Organithms are not maintained, they are
reared. Like living matter they are continual consumers
of energy and continual producers of waste. The
creation of an organithm implies the support and act of
husbandry. Thus research in the processes of organithm
husbandry is, and has been, a vital concern of software
engineering. Since organithms compete in their own
biosphere --- the computer --- improvement in
performance is eternally sought and, as a result, most
of an organithm's state is concerned with the
management of its own internals: As an organithm
develops, an ever increasing concern of its logic is
its own internal management and significantly, a
smaller fraction of its logic is devoted to serving its
external utility. Organithms tend to take advantage of
their own purposes: As they develop, the internal
functions of an organithm tend to maximize their use of
the external functions the organithm exists to
supply-this has been called closing the loop. Often
these internal uses intensify traffic to such a degree
that organithms are created to manage the use of the
external functions, e.g., a mail system must be capable
of supporting organithms that generate and read mail.
Every external purpose of an organithm can be replaced
by an organithmic surrogate.Since organithms are models
it takes little modification for them to model
unanticipated abstractions. In the course of their
development organithms suggest abstractions that are
both valuable and that they can support. Organithms
fuel the expansion of abstract modeling as a
technological activity.Unlike life, in which
reproduction dominates mutation, our organithms are so
simple that mutation still dominates reproduction, but
this will change. A major role of AI and logic is to
help in the creation of organithms that increasingly
extricate us from direct involvement in the internal
growth of organithms. The major issue of software
engineering environments is not how to ease our task of
programming systems but how to accelerate the rate at
which improvement in internal function can be obtained
without unduly jeopardizing the external functions of
an organithm and with maximizing the use of organithms
to perform reorganization. Insofar as AI and logic
support autonomy in these activities of development and
response will they be of value in the software
enterprise.",
acknowledgement = ack-nhfb,
author-dates = "Alan Jay Perlis (1 April 1922--7 February 1990)",
location = "London, England",
numpages = "2",
}
@InCollection{Perlis:1985:F,
author = "Alan J. Perlis",
title = "Foreword",
crossref = "Abelson:1985:SIC",
pages = "xi--xiv",
year = "1985",
bibdate = "Thu Jun 11 12:19:20 2026",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib",
acknowledgement = ack-nhfb,
author-dates = "Alan Jay Perlis (1 April 1922--7 February 1990)",
}
@Article{Perlis:1986:TTW,
author = "Alan J. Perlis",
title = "Two Thousand Words and Two Thousand Ideas --- The 650
at {Carnegie}",
journal = j-ANN-HIST-COMPUT,
volume = "8",
number = "1",
pages = "42--46",
month = jan # "\slash " # mar,
year = "1986",
CODEN = "AHCOE5",
DOI = "https://doi.org/10.1109/MAHC.1986.10017",
ISSN = "0164-1239",
ISSN-L = "0164-1239",
bibdate = "Fri Nov 1 15:29:23 MST 2002",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib;
https://www.math.utah.edu/pub/tex/bib/annhistcomput.bib",
URL = "http://dlib.computer.org/an/books/an1986/pdf/a1042.pdf;
http://www.computer.org/annals/an1986/a1042abs.htm",
acknowledgement = ack-nhfb,
author-dates = "Alan Jay Perlis (1 April 1922--7 February 1990)",
fjournal = "Annals of the History of Computing",
journal-URL = "http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=5488650",
}
@Article{Tu:1986:FFA,
author = "Hai-Chen Tu and Alan J. Perlis",
title = "{FAC}: a Functional {APL} Language",
journal = j-IEEE-SOFTWARE,
volume = "3",
number = "1",
pages = "36--45",
month = jan,
year = "1986",
CODEN = "IESOEG",
DOI = "https://doi.org/10.1109/MS.1986.232431",
ISSN = "0740-7459 (print), 0740-7459 (electronic)",
ISSN-L = "0740-7459",
bibdate = "Sat Jan 25 07:35:26 MST 1997",
bibsource = "Compendex database;
https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib;
https://www.math.utah.edu/pub/tex/bib/ieeesoft.bib;
Misc/Functional.bib",
acknowledgement = ack-nhfb,
affiliationaddress = "GTE Lab, Waltham, MA, USA",
author-dates = "Alan Jay Perlis (1 April 1922--7 February 1990)",
classification = "723",
fjournal = "IEEE Software",
journal-URL = "https://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=52",
journalabr = "IEEE Software",
keywords = "computer programming languages; computer software;
Design; functional apl language; functional array
calculator language",
}
@InCollection{Perlis:1987:SAS,
author = "Alan J. Perlis",
title = "The synthesis of algorithmic systems",
crossref = "Ashenhurst:1987:ATA",
pages = "??--??",
year = "1987",
DOI = "https://doi.org/10.1145/1283920.1283921",
bibdate = "Tue Jun 21 11:01:04 2011",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib;
https://www.math.utah.edu/pub/tex/bib/acm-turing-awards.bib",
note = "ACM Turing Award lecture.",
acknowledgement = ack-nhfb,
author-dates = "Alan Jay Perlis (1 April 1922--7 February 1990)",
}
@Book{Biggerstaff:1989:SRA,
editor = "Ted J. Biggerstaff and Alan J. Perlis",
title = "Software Reusability: Applications and Experience",
volume = "2",
publisher = pub-AW,
address = pub-AW:adr,
year = "1989",
ISBN = "0-201-50018-3",
ISBN-13 = "978-0-201-50018-9",
LCCN = "QA76.76.R47 B543 1989",
bibdate = "Tue Dec 14 22:58:44 1993",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib;
https://www.math.utah.edu/pub/tex/bib/texbook2.bib",
note = prep-tex,
acknowledgement = ack-mz,
author-dates = "Alan Jay Perlis (1 April 1922--7 February 1990)",
}
@Book{Biggerstaff:1989:SRC,
editor = "Ted J. Biggerstaff and Alan J. Perlis",
title = "Software Reusability: Concepts and Models",
volume = "1",
publisher = pub-AW,
address = pub-AW:adr,
year = "1989",
ISBN = "0-201-08017-6",
ISBN-13 = "978-0-201-08017-9",
LCCN = "QA76.76.R47 B543 1989",
bibdate = "Tue Dec 14 23:22:29 1993",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib;
https://www.math.utah.edu/pub/tex/bib/texbook2.bib",
note = prep-tex,
acknowledgement = ack-mz,
author-dates = "Alan Jay Perlis (1 April 1922--7 February 1990)",
}
@InProceedings{Perlis:1989:ODS,
author = "Alan Perlis",
editor = "{IEEE}",
booktitle = "Digest of Papers. {COMPCON} Spring 89. Thirty-Fourth
{IEEE} Computer Society International Conference:
Intellectual Leverage",
title = "Organithms: the dynamics of software evolution",
publisher = pub-IEEE,
address = pub-IEEE:adr,
pages = "356--356",
year = "1989",
DOI = "https://doi.org/10.1109/CMPCON.1989.301955",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib",
acknowledgement = ack-nhfb,
author-dates = "Alan Jay Perlis (1 April 1922--7 February 1990)",
keywords = "Prototypes; Software prototyping; Software systems",
}
@Article{Tomayko:1989:ATY,
author = "James E. Tomayko and Alan Perlis and Bernard A. Galler
and David Gries and Doug Ross and Mary Shaw",
title = "Anecdotes: Twenty Year Retrospective: The {NATO
Software Engineering Conferences}; Thoughts on Software
Engineering; My Thoughts on Software Engineering in the
Late 1960s; The {NATO} Conferences from the Perspective
of an Active Software Engineer; Remembrances of a
Graduate Student",
journal = j-ANN-HIST-COMPUT,
volume = "11",
number = "2",
pages = "131--143",
month = apr # "\slash " # jun,
year = "1989",
CODEN = "AHCOE5",
ISSN = "0164-1239",
ISSN-L = "0164-1239",
bibdate = "Fri Nov 1 15:29:13 MST 2002",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib;
https://www.math.utah.edu/pub/tex/bib/annhistcomput.bib",
URL = "http://dlib.computer.org/an/books/an1989/pdf/a2131b.pdf;
http://www.computer.org/annals/an1989/a2131babs.htm",
acknowledgement = ack-nhfb,
author-dates = "Alan Jay Perlis (1 April 1922--7 February 1990)",
fjournal = "Annals of the History of Computing",
journal-URL = "http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=5488650",
}
@InCollection{Perlis:1996:F,
author = "Alan J. Perlis",
title = "Foreword",
crossref = "Abelson:1996:SIC",
pages = "xi--xiv",
year = "1996",
bibdate = "Thu Jun 11 12:19:20 2026",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib",
acknowledgement = ack-nhfb,
author-dates = "Alan Jay Perlis (1 April 1922--7 February 1990)",
}
@InCollection{Naur:1997:RRA,
author = "Peter Naur and J. W. Backus and F. L. Bauer and J.
Green and C. Kafz and J. McCarthy and A. J. Perlis and
H. Rutishauser and K. Samelson and B. Vauquois and J.
H. Wegstein and A. van Wijngaarden and M. Woodger",
booktitle = "{Algol}-like Languages",
title = "Revised Report on the Algorithmic Language {Algol
60}",
publisher = pub-BIRKHAUSER-BOSTON,
address = pub-BIRKHAUSER-BOSTON:adr,
pages = "19--49",
year = "1997",
DOI = "https://doi.org/10.1007/978-1-4612-4118-8_2",
bibdate = "Fri Aug 21 10:14:15 2020",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/b/backus-john-w.bib;
https://www.math.utah.edu/pub/bibnet/authors/b/bauer-friedrich-ludwig.bib;
https://www.math.utah.edu/pub/bibnet/authors/n/naur-peter.bib;
https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib;
https://www.math.utah.edu/pub/bibnet/authors/r/rutishauser-heinz.bib;
https://www.math.utah.edu/pub/tex/bib/algol68.bib",
acknowledgement = ack-nhfb,
author-dates = "Alan Jay Perlis (1 April 1922--7 February 1990);
Friedrich (``Fritz'') Ludwig Bauer (10 June 1924--26
March 2015); John Warner Backus (3 December 1924--17
March 2007); Klaus Samelson (21 December 1918--25 May
1980); Peter Naur (25 October 1928--3 January 2016)",
subject-dates = "Heinz Rutishauser (30 January 1918--10 November
1970)",
}
@InBook{Perlis:2007:SAS,
author = "Alan J. Perlis",
booktitle = "{ACM Turing Award} Lectures",
title = "The synthesis of algorithmic systems",
publisher = pub-ACM,
address = pub-ACM:adr,
pages = "1966",
year = "2007",
DOI = "https://doi.org/10.1145/1283920.1283921",
ISBN = "1-4503-1049-4",
ISBN-13 = "978-1-4503-1049-9",
bibdate = "Thu Jun 11 18:24:19 2026",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib",
acknowledgement = ack-nhfb,
author-dates = "Alan Jay Perlis (1 April 1922--7 February 1990)",
}
@Article{Clarke:1952:NQR,
author = "F. Marion Clarke",
title = "Note on quasi-regularity and the {Perlis--Jacobson}
radical",
journal = "Portugaliae Mathematica",
volume = "11",
pages = "89--94",
year = "1952",
ISSN = "0032-5155,1662-2758",
MRclass = "09.1X",
MRnumber = "50568",
MRreviewer = "I. M. H. Etherington",
bibdate = "Thu Jun 11 12:11:27 2026",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib",
acknowledgement = ack-nhfb,
ajournal = "Portugal. Math.",
fjournal = "Portugaliae Mathematica",
subject-dates = "Alan Jay Perlis (1 April 1922--7 February 1990)",
}
@Article{Arden:1960:LPR,
author = "B. Arden and B. Galler and R. Graham",
title = "Letters: Preliminary Report ({February 4, 1960}) of
{Peter Naur}",
journal = j-CACM,
volume = "3",
number = "6",
pages = "A13--A13",
month = jun,
year = "1960",
CODEN = "CACMA2",
ISSN = "0001-0782 (print), 1557-7317 (electronic)",
ISSN-L = "0001-0782",
bibdate = "Fri Nov 25 18:19:27 MST 2005",
bibsource = "http://www.acm.org/pubs/contents/journals/cacm/;
https://www.math.utah.edu/pub/bibnet/authors/b/bauer-friedrich-ludwig.bib;
https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib;
https://www.math.utah.edu/pub/tex/bib/algol68.bib;
https://www.math.utah.edu/pub/tex/bib/cacm1960.bib",
note = "See \cite{Naur:1960:RALa}.",
acknowledgement = ack-nhfb,
fjournal = "Communications of the ACM",
journal-URL = "https://dl.acm.org/loi/cacm",
subject-dates = "Alan Jay Perlis (1 April 1922--7 February 1990)",
}
@Article{Genuys:1960:RAL,
author = "F. Genuys and J. Poyen and B. Vauquois",
title = "Rapport sur le langage algorithmique {Algol 60}.
({French}) [{Report} on the algorithmic language {ALGOL
60}]",
journal = "Chiffres: Revue de {l'Association Fran{\c{c}}aise de
Calcul}",
volume = "3",
number = "??",
pages = "1--44",
month = mar,
year = "1960",
ISSN = "0245-9922",
ISSN-L = "0245-9922",
bibdate = "Fri Jun 05 07:54:46 2026",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib;
https://www.math.utah.edu/pub/tex/bib/algol68.bib",
note = "Translation by the authors to French of
\cite{Perlis:1959:RAL}.",
acknowledgement = ack-nhfb,
language = "French",
remark = "ISSN uncertain: many publications have similar names.
I cannot find an online archive of this journal, which
published only from 1958 to 1962.",
subject-dates = "Alan Jay Perlis (1 April 1922--7 February 1990)",
}
@Article{Salton:1964:IRC,
author = "Gerard Salton",
title = "Introduce rigorous controls into {Perlis}' publication
system to make it effective",
journal = j-CACM,
volume = "7",
number = "11",
pages = "646--646",
month = nov,
year = "1964",
CODEN = "CACMA2",
DOI = "https://doi.org/10.1145/364984.364988",
ISSN = "0001-0782 (print), 1557-7317 (electronic)",
ISSN-L = "0001-0782",
bibdate = "Fri Nov 25 18:19:56 MST 2005",
bibsource = "http://portal.acm.org/;
http://www.acm.org/pubs/contents/journals/cacm/;
https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib;
https://www.math.utah.edu/pub/tex/bib/cacm1960.bib",
acknowledgement = ack-nhfb,
fjournal = "Communications of the ACM",
issue-date = "Nov. 1964",
journal-URL = "https://dl.acm.org/loi/cacm",
numpages = "2",
subject-dates = "Alan Jay Perlis (1 April 1922--7 February 1990)",
}
@Article{Geppert:1966:BBJ,
author = "M. G. Geppert",
title = "{Buchbesprechung: Backus, J. W., F. L. Bauer, J.
Green, C. Katz, J. McCarthy, P. Naur, A. J. Perlis, H.
Rutishauser, K. Samelson, B. Vauquois, J. H. Wegstein,
A. Van Wijngarden und M. Woodger: \booktitle{Bericht
{\"u}ber die algorithmische Sprache Algol 60}.
(\booktitle{Report on the algorithmic language Algol
60}. {\"U}bers. Kerner J. O. u. Mitarb.).
Akademie-Verlag Berlin 1962. vi + 49 S., Preis MDN
10,50}",
journal = j-BIOMETRISCHE-Z,
volume = "8",
number = "1-2",
pages = "121--121",
year = "1966",
CODEN = "BIZEB3",
DOI = "https://doi.org/10.1002/bimj.19660080111",
ISSN = "0006-3452",
bibdate = "Sun Aug 23 10:58:38 2020",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/b/bauer-friedrich-ludwig.bib;
https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib;
https://www.math.utah.edu/pub/bibnet/authors/r/rutishauser-heinz.bib;
https://www.math.utah.edu/pub/tex/bib/algol68.bib",
acknowledgement = ack-nhfb,
fjournal = "Biometrische Zeitschrift",
subject-dates = "Friedrich (``Fritz'') Ludwig Bauer (10 June 1924--26
March 2015); Heinz Rutishauser (30 January 1918--10
November 1970); Klaus Samelson (21 December 1918--25
May 1980)",
}
@TechReport{Earley:1967:FAM,
author = "Jay Earley",
title = "{Formula ALGOL} manual",
institution = "Carnegie Mellon University",
address = "Pittsburgh, PA, USA",
pages = "vi + 155 (unnumbered)",
day = "26",
month = jun,
year = "1967",
DOI = "https://doi.org/10.1184/R1/6605840",
bibdate = "Fri Jun 12 17:40:33 2026",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib;
https://www.math.utah.edu/pub/tex/bib/algol68.bib",
URL = "https://figshare.com/articles/Formula_ALGOL_manual_by_Jay_Earley_/6605840",
abstract = "Formula Algol is an extension of Algol 60 [1]
incorporating formula manipulation and list processing.
This manual describes the use of the version of Formula
Algol which is presently running at Carnegie-Mellon
University.",
acknowledgement = ack-nhfb,
keywords = "89999 Information and Computing Sciences not elsewhere
classified, FOS: Computer and information sciences",
subject-dates = "Alan Jay Perlis (1 April 1922--7 February 1990)",
tableofcontents = "Title Page / i \\
Abstract / ii \\
Table of Contents / iii \\
\\
I: --- Introduction / 1 \\
General Description of Formula Algol / 1 \\
History and Implementation / 2 \\
Acknowledgments / 2 \\
Introduction to the Manual / 3 \\
Introduction of Formula Algol Programming / 3 \\
\\
II: --- Numeric Processing / 13 \\
Symbols / 13 \\
Decimal Constants / 14 \\
Octal Constants / 14 \\
Identifiers / 16 \\
Variables / 17 \\
Logic Expressions / 18 \\
The Precedence of Operators and Relations In Formula
Algol / 20 \\
Standard Functions / 21 \\
Assignment Statements / 21 \\
Conditional Statements / 21 \\
Labels and GO TO Statements / 22 \\
FOR Statements / 22 \\
Arrays / 23 \\
Procedures and Block Structure / 23 \\
III: --- Formula Manipulation / 25 \\
FORM Variables / 25 \\
FORM Arrays / 25 \\
Formula Expressions / 26 \\
Formal Definition of VAL (E) / 27 \\
Evaluation of Formulae / 32 \\
Formula Patterns / 37 \\
Transformed Formulae / 43 \\
Precedence of Formula Operators / 47 \\
Special Functions / 47 \\
IV: --- List Processing / 49 \\
SYMBOL Variables / 49 \\
SYMBOL Arrays / 49 \\
Symbolic Expressions / 49 \\
Lists / 51 \\
Assignment Statements / 52 \\
Description Lists / 53 \\
Selection Expressions / 55 \\
List Patterns / 58 \\
Class Tests / 61 \\
Push Down and Pop Up Statements / 61 \\
Additional FOR Statements / 62 \\
Editing Statements / 64 \\
Special Functions / 66 \\
Appendix I --- Revised Report on the Algorithmic
Language ALGOL 60 / 69 \\
Summary / 69 \\
Contents / 69 \\
Introduction / 70 \\
Description of the Reference Language / 71 \\
Alphabetic Index of Definitions of Concepts and
Syntactic Units / 84 \\
Appendix 2 --- Current System Limits / 87 \\
Appendix 3 --- Debug Snapshots / 89 \\
Appendix 4 --- Error Messages / 93 \\
Syntax Errors / 93 \\
Semantic Errors / 96 \\
Run Errors / 99 \\
Appendix V --- Input-Output / 105 \\
Appendix VI --- Syntax Index / 109 \\
Syntax Classes / 109 \\
Reserved Words / 111 \\
Appendix VII --- Complete Examples / 113 \\
I Markov Algorithm Solution / 113 \\
II Recursive Solution / 114 \\
III Iterative Solution / 114 \\
IV Comparison of the Three Solutions / 115 \\
Sample Program / 117 \\
Appendix VIII --- Current System Bugs / 121 \\
References / 125",
xxpublisher = "Figshare",
}
@TechReport{VanZoeren:1989:LRM,
author = "Harold R. {Van Zoeren}",
title = "{LC$^2$} Reference Manual",
institution = "Carnegie Mellon University",
address = "Pittsburgh, PA, USA",
pages = "78",
year = "1989",
DOI = "https://doi.org/10.1184/R1/6606815",
bibdate = "Fri Jun 12 18:28:56 2026",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib",
acknowledgement = ack-nhfb # " and " # ack-pm,
subject-dates = "Alan Jay Perlis (1 April 1922--7 February 1990)",
}
@Article{Kazimirskii:1971:CPR,
author = "P. S. Kaz{\=\i}m{\=\i}rs'ki{\u{i}} and M. M.
Drogomi{\v{z}}s'ka",
title = "Certain properties of rings whose zero divisors belong
to the {Perlis--Jacobson} radical",
journal = "Dopov{\=\i}d{\=\i} Akad. Nauk Ukra{\"i}n. RSR Ser. A",
pages = "778--780, 857",
year = "1971",
ISSN = "0002-3531",
MRclass = "16A34",
MRnumber = "297810",
MRreviewer = "G. M. Bergman",
bibdate = "Thu Jun 11 12:11:27 2026",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib",
acknowledgement = ack-nhfb,
fjournal = "Dopov{\=\i}d{\=\i} Akadem\=\i{\"i} Nauk
Ukra{\"i}ns'ko{\"i} RSR. Seriya A",
subject-dates = "Alan Jay Perlis (1 April 1922--7 February 1990)",
}
@Article{McIlroy:1971:BRV,
author = "M. D. McIlroy",
title = "Book Review: {{\booktitle{A View of Programming
Languages}} (B. A. Galler and A. J. Perlis)}",
journal = j-SIAM-REVIEW,
volume = "13",
number = "4",
pages = "583--584",
month = "????",
year = "1971",
CODEN = "SIREAD",
DOI = "https://doi.org/10.1137/1013114",
ISSN = "0036-1445 (print), 1095-7200 (electronic)",
ISSN-L = "0036-1445",
bibdate = "Thu Mar 27 09:06:33 MDT 2014",
bibsource = "http://epubs.siam.org/toc/siread/13/4;
https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib;
https://www.math.utah.edu/pub/tex/bib/siamreview.bib",
acknowledgement = ack-nhfb,
ajournal = "SIAM Rev.",
fjournal = "SIAM Review",
journal-URL = "http://epubs.siam.org/sirev",
onlinedate = "October 1971",
subject-dates = "Alan Jay Perlis (1 April 1922--7 February 1990)",
}
@Article{Culik:1972:BRJa,
author = "Karel {\v{C}}ul{\'{\i}}k",
title = "Book Review: {J. W. Backus, F. L. Bauer, J. Green, C.
Katz, J. McCarthy, P. Naur (editor), A. J. Perlis, H.
Rutishauser, K. Samelson, B. Vauquois, J. H. Wegstein,
A. van Wijngaarden, and M. Woodger. \booktitle{Report
on the algorithmic language ALGOL 60}. Numerische
Mathematik, vol. 2 (1960), pp. 106--136; also
Communications of the Association for Computing
Machinery, vol. 3 (1960), pp. 299--314}",
journal = j-J-SYMBOLIC-LOGIC,
volume = "37",
number = "3",
pages = "622--623",
month = sep,
year = "1972",
CODEN = "JSYLA6",
DOI = "https://doi.org/10.2307/2272793",
ISSN = "0022-4812 (print), 1943-5886 (electronic)",
ISSN-L = "0022-4812",
bibdate = "Sun Aug 23 12:22:38 2020",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/b/bauer-friedrich-ludwig.bib;
https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib;
https://www.math.utah.edu/pub/bibnet/authors/r/rutishauser-heinz.bib;
https://www.math.utah.edu/pub/tex/bib/algol68.bib",
URL = "https://www.jstor.org/stable/2272793",
acknowledgement = ack-nhfb,
fjournal = "Journal of Symbolic Logic",
journal-URL = "http://projecteuclid.org/euclid.jsl;
http://www.jstor.org/journal/jsymboliclogic",
subject-dates = "Friedrich (``Fritz'') Ludwig Bauer (10 June 1924--26
March 2015); Heinz Rutishauser (30 January 1918--10
November 1970); Klaus Samelson (21 December 1918--25
May 1980)",
}
@Article{Culik:1972:BRJb,
author = "Karel {\v{C}}ul{\'{\i}}k",
title = "Book Review: {J. W. Backus, F. L. Bauer, J. Green, C.
Katz, J. McCarthy, P. Naur, A. J. Perlis, H.
Rutishauser, K. Samelson, B. Vauquois, J. H. Wegstein,
A. van Wijngaarden, and M. Woodger. \booktitle{Revised
report on the algorithmic language ALGOL 60}.
Numerische Mathematik, vol. 4 (1962--1963), pp.
420--453; also ibid., vol. 6 (1963), pp. 1--17; and The
Computer Journal, vol. 5 no. 4 (1963), pp. 349--367}",
journal = j-J-SYMBOLIC-LOGIC,
volume = "37",
number = "3",
pages = "623--624",
month = sep,
year = "1972",
CODEN = "JSYLA6",
DOI = "https://doi.org/10.2307/2272794",
ISSN = "0022-4812 (print), 1943-5886 (electronic)",
ISSN-L = "0022-4812",
bibdate = "Sun Aug 23 12:23:54 2020",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/b/bauer-friedrich-ludwig.bib;
https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib;
https://www.math.utah.edu/pub/bibnet/authors/r/rutishauser-heinz.bib;
https://www.math.utah.edu/pub/tex/bib/algol68.bib",
URL = "https://www.jstor.org/stable/2272794",
acknowledgement = ack-nhfb,
fjournal = "Journal of Symbolic Logic",
journal-URL = "http://projecteuclid.org/euclid.jsl;
http://www.jstor.org/journal/jsymboliclogic",
subject-dates = "Friedrich (``Fritz'') Ludwig Bauer (10 June 1924--26
March 2015); Heinz Rutishauser (30 January 1918--10
November 1970); Klaus Samelson (21 December 1918--25
May 1980)",
}
@Unpublished{Dijkstra:1977:PPM,
author = "Edsger W. Dijkstra",
title = "A political pamphlet from the {Middle Ages}",
pages = "4",
year = "1977",
bibdate = "Mon Mar 16 08:14:00 2015",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/d/dijkstra-edsger-w.bib;
https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib;
https://www.math.utah.edu/pub/mirrors/ftp.ira.uka.de/bibliography/Theory/dershowitz.bib",
note = "Negative commentary on \cite{DeMillo:1979:SPP}.
Circulated privately.",
URL = "http://www.cs.utexas.edu/users/EWD/ewd06xx/EWD638.PDF",
acknowledgement = ack-nhfb,
author-dates = "Edsger Wybe Dijkstra (11 May 1930--6 August 2002)",
filesize = "115 KB",
oldlabel = "EWD:EWD638",
subject-dates = "Alan Jay Perlis (1 April 1922--7 February 1990)",
}
@InBook{Cheatham:1978:BAJ,
author = "Thomas Cheatham",
booktitle = "History of Programming Languages",
title = "Biography of {Alan J. Perlis}",
publisher = pub-ACM,
address = pub-ACM:adr,
pages = "171--171",
year = "1978",
DOI = "https://doi.org/10.1145/800025.1198357",
ISBN = "0-12-745040-8",
ISBN-13 = "978-0-12-745040-7",
bibdate = "Fri Jun 12 05:51:15 2026",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib",
acknowledgement = ack-nhfb,
journal-URL = "https://dl.acm.org/loi/cacm",
numpages = "1",
subject-dates = "Alan Jay Perlis (1 April 1922--7 February 1990)",
}
@Article{Dijkstra:1978:PPM,
author = "Edsger W. Dijkstra",
title = "On a Political Pamphlet from the {Middle Ages}
(Commentary on a paper by {DeMillo}, {Lipton}, and
{Perlis})",
journal = j-SIGSOFT,
volume = "3",
number = "2",
pages = "14--16",
month = apr,
year = "1978",
CODEN = "SFENDP",
DOI = "https://doi.org/10.1145/1005888.1005890",
ISSN = "0163-5948 (print), 1943-5843 (electronic)",
ISSN-L = "0163-5948",
bibdate = "Wed Aug 1 17:11:24 MDT 2018",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/d/dijkstra-edsger-w.bib;
https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib;
https://www.math.utah.edu/pub/mirrors/ftp.ira.uka.de/bibliography/Theory/dershowitz.bib;
https://www.math.utah.edu/pub/tex/bib/sigsoft1970.bib",
note = "Negative commentary on \cite{DeMillo:1979:SPP}. See
responses
\cite{DeMillo:1978:RRD,Jeffrey:1978:DPP,VanGhent:1978:LRS,Maurer:1978:ALC}.",
acknowledgement = ack-nhfb,
author-dates = "Edsger Wybe Dijkstra (11 May 1930--6 August 2002)",
fjournal = "ACM SIGSOFT Software Engineering Notes",
journal-URL = "https://dl.acm.org/citation.cfm?id=J728",
numpages = "3",
remark = "This article refers to the paper Richard A. DeMillo,
Richard J. Lipton, Alan J. Perlis, \booktitle{Social
Processes and Proofs of Theorems and Programs},
Proceedings of the Fourth ACM Symposium on Principles
of Programming Languages, pp. 206--214 (January 1977)",
subject-dates = "Alan Jay Perlis (1 April 1922--7 February 1990)",
}
@Article{Jeffrey:1978:DPP,
author = "H. J. Jeffrey",
title = "On {Dijkstra}'s position paper on software
reliability",
journal = j-SIGSOFT,
volume = "3",
number = "2",
pages = "18--18",
month = apr,
year = "1978",
CODEN = "SFENDP",
DOI = "https://doi.org/10.1145/1005888.1005892",
ISSN = "0163-5948 (print), 1943-5843 (electronic)",
ISSN-L = "0163-5948",
bibdate = "Wed Aug 1 17:11:24 MDT 2018",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/d/dijkstra-edsger-w.bib;
https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib;
https://www.math.utah.edu/pub/tex/bib/sigsoft1970.bib",
note = "See \cite{Dijkstra:1978:PPM}.",
acknowledgement = ack-nhfb,
fjournal = "ACM SIGSOFT Software Engineering Notes",
journal-URL = "https://dl.acm.org/citation.cfm?id=J728",
subject-dates = "Alan Jay Perlis (1 April 1922--7 February 1990);
Edsger Wybe Dijkstra (11 May 1930--6 August 2002)",
}
@Article{Maurer:1978:ALC,
author = "W. D. Maurer",
title = "Another letter on the correctness of real programs",
journal = j-SIGSOFT,
volume = "3",
number = "3",
pages = "22--24",
month = jul,
year = "1978",
CODEN = "SFENDP",
DOI = "https://doi.org/10.1145/1010751.1010758",
ISSN = "0163-5948 (print), 1943-5843 (electronic)",
ISSN-L = "0163-5948",
bibdate = "Wed Aug 1 17:11:25 MDT 2018",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/d/dijkstra-edsger-w.bib;
https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib;
https://www.math.utah.edu/pub/tex/bib/sigsoft1970.bib",
note = "See
\cite{Dijkstra:1978:PPM,DeMillo:1978:RRD,Jeffrey:1978:DPP,VanGhent:1978:LRS}.",
acknowledgement = ack-nhfb,
fjournal = "ACM SIGSOFT Software Engineering Notes",
journal-URL = "https://dl.acm.org/citation.cfm?id=J728",
subject-dates = "Alan Jay Perlis (1 April 1922--7 February 1990);
Edsger Wybe Dijkstra (11 May 1930--6 August 2002)",
}
@Article{VanGhent:1978:LRS,
author = "Roger {Van Ghent}",
title = "Letter on real software, regarding the commentary by
{Dijkstra} and the reply by {DeMillo}, {Lipton} and
{Perlis}",
journal = j-SIGSOFT,
volume = "3",
number = "3",
pages = "20--21",
month = jul,
year = "1978",
CODEN = "SFENDP",
DOI = "https://doi.org/10.1145/1010751.1010757",
ISSN = "0163-5948 (print), 1943-5843 (electronic)",
ISSN-L = "0163-5948",
bibdate = "Wed Aug 1 17:11:25 MDT 2018",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/d/dijkstra-edsger-w.bib;
https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib;
https://www.math.utah.edu/pub/tex/bib/sigsoft1970.bib",
note = "See
\cite{Dijkstra:1978:PPM,DeMillo:1978:RRD,Jeffrey:1978:DPP}.",
acknowledgement = ack-nhfb,
fjournal = "ACM SIGSOFT Software Engineering Notes",
journal-URL = "https://dl.acm.org/loi/sigsoft",
subject-dates = "Alan Jay Perlis (1 April 1922--7 February 1990);
Edsger Wybe Dijkstra (11 May 1930--6 August 2002)",
}
@Article{Kilov:1979:LPV,
author = "H. Kilov",
title = "Letter on {Parnas}' view of {Dijkstra} vs. {deMillo},
{Lipton} and {Perlis}",
journal = j-SIGSOFT,
volume = "4",
number = "1",
pages = "19--19",
month = jan,
year = "1979",
CODEN = "SFENDP",
DOI = "https://doi.org/10.1145/1010773.1010777",
ISSN = "0163-5948 (print), 1943-5843 (electronic)",
ISSN-L = "0163-5948",
bibdate = "Wed Aug 1 17:11:28 MDT 2018",
bibsource = "http://www.math.utah.edu/pub/bibnet/authors/d/dijkstra-edsger-w.bib;
https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib;
https://www.math.utah.edu/pub/tex/bib/sigsoft1970.bib",
acknowledgement = ack-nhfb,
fjournal = "ACM SIGSOFT Software Engineering Notes",
issue-date = "January 1979",
journal-URL = "https://dl.acm.org/citation.cfm?id=J728",
numpages = "1",
subject-dates = "Edsger Wybe Dijkstra (11 May 1930--6 August 2002)",
}
@InCollection{Kahn:1985:GCM,
author = "Bruno Kahn",
booktitle = "Seminar on number theory, 1984--1985 ({Talence},
1984/1985)",
title = "Le groupe des classes modulo 2, d'apr{\`e}s {Conner}
et {Perlis}",
publisher = "Univ. Bordeaux I, Talence",
pages = "Exp. No. 26, 29",
year = "1985",
DOI = "https://doi.org/10.1038/314026a0",
MRclass = "11R29 (11E39 11S15)",
MRnumber = "848382",
MRreviewer = "K. Kiyek",
bibdate = "Thu Jun 11 12:11:27 2026",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib",
note = "See erratum \cite{Kahn:1986:EGC}.",
acknowledgement = ack-nhfb,
subject-dates = "Alan Jay Perlis (1 April 1922--7 February 1990)",
}
@InCollection{Kahn:1986:EGC,
author = "B. Kahn",
booktitle = "S{\'e}minaire de th{\'e}orie des nombres, 1985--1986
({Talence}, 1985--1986)",
title = "Erratum: ``{The} group of classes modulo {$2$},
following {Conner} and {Perlis}'' [{\it {S}eminar on
number theory, 1984--1985} ({French}), {Exp}. {No}.\
26, {Univ}. {Bordeaux} {I}, {Talence}, 1985;
{MR0848382} (88f:11104)]",
publisher = "Univ. Bordeaux I, Talence",
pages = "163",
year = "1986",
MRclass = "11R29 (11E39 11S15)",
MRnumber = "883102",
bibdate = "Thu Jun 11 12:11:27 2026",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib",
note = "See \cite{Kahn:1985:GCM}.",
acknowledgement = ack-nhfb,
subject-dates = "Alan Jay Perlis (1 April 1922--7 February 1990)",
}
@Book{Cortada:1987:HDD,
author = "James W. Cortada",
title = "Historical Dictionary of Data Processing:
Biographies",
publisher = pub-GREENWOOD,
address = pub-GREENWOOD:adr,
pages = "xiii + 321",
year = "1987",
ISBN = "0-313-25651-9",
ISBN-13 = "978-0-313-25651-6",
LCCN = "QA76.15 .C66 1987",
bibdate = "Tue Mar 20 07:59:47 MDT 2007",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/b/babbage-charles.bib;
https://www.math.utah.edu/pub/bibnet/authors/b/backus-john-w.bib;
https://www.math.utah.edu/pub/bibnet/authors/l/lovelace-ada-augusta.bib;
https://www.math.utah.edu/pub/bibnet/authors/m/metropolis-nicholas.bib;
https://www.math.utah.edu/pub/bibnet/authors/n/naur-peter.bib;
https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib;
https://www.math.utah.edu/pub/bibnet/authors/s/shannon-claude-elwood.bib;
https://www.math.utah.edu/pub/tex/bib/adabooks.bib;
z3950.loc.gov:7090/Voyager",
acknowledgement = ack-nhfb,
keywords = "Adam Osborne (1939--); Alan J. Perlis (1922--1990);
Alan Mathison Turing (1912--1954); Alfred Blake Dick
(1856--1934); Alfred Blake Dick, Jr. (1894--1954);
Alfred Tarski ( 1901--I983); Allan Marquand
(1853--1924); Allen Newell (1927--1992); Alston Scott
Householder (1904--); An Wang (1920--1990); Andrei
Petrovich Ershov (1931--1988); Andrew Donald Booth
(1918--); Annibale Pastore (1868--1936); Antonin
Svoboda (1907--1980); Arie Van Wijngaarden
(1933--1987); Arthur Walter Burks (1915--); Baron
Jean-Baptiste-Joseph Fourier (1768--1830); Bernard
Aaron Galler (1928--); Blaise Pascal (1623--1666);
Boris Artybasheff (1899--1965); Borje Langefors
(1915--); Brian Randell (1936--); Carl George Lange
Barth (1860--1939); Charles Babbage (1791--1871);
Charles Katz (1927--); Charles Ranlett Flint
(1850--1934); Chester Gordon Bell (1934--); Christopher
Strachey (1916--1975); Clair D. Lake (1888--1958);
Clark Hull (1884--1952); Claude Elwood Shannon
(1916--); Countess of Lovelace, Augusta Ada
(1816--1852); Cuthbert C. Hurd (1911--); Dave Packard
(1912--); David John Wheeler (1927--); Dean Everett
Wooldridge (1913--); Derrick Henry Lehmer (1905--1991);
Donald Alexander Flanders (1900--1958); Donald Ervin
Knuth (1938--); Dorr Eugene Felt (1862--1930); Douglas
Rayner Hartree (1897--1958); Dov Chevion (1917--1983);
Edward Andrew Deeds (1874--1960); Emerson W. Pugh
(1929--); Emst Georg Fischer (1852--1935); Ernest Galen
Andrews (1898--1980); Fernando Jose Corbato (1926--);
Frank August Engel, Jr. (1917--); Frank Taylor Cary
(1920--); Frederic Calland Williams (1911--1977);
Frederick Phillips Brooks, Ir. (1931--); Gary A.
Kildall (1942--); Gaspard Schott (1608--1666); Gene
Myron Amdahl (1922--); George Barnard Grant
(1849--1917); George Bernard Dantzig (1914--); George
Boole (1815--1864); George Robert Stibitz (1914--1995);
George Winthrop Fairchild (1854--1924); Gordon E. Moore
(1929--); Gordon S. Brown (1907--); Gottfried Wilhelm
von Leibniz (1646--1716); Grace Brewster Murray Hopper
(1906--1992); Harold Locke Hazen (1901--1980); Harry
Douglas Huskey (1916--); Heinz Zemanek (1920--); Henry
Adams (1838--1918); Henry Briggs (1561--1630); Herbert
Alexander Simon (1916--); Herman Heine Goldstine
(1913--); Herman Hollerith (1860--1929); Herman Lukoff
(1923--1979); Howard Hathaway Aiken (1900--1973); Isaac
Levin Auerbach (1921--1992); J. Cliff Shaw
(1922--1991); Jack St. Clair Kilby (1923--); James
Franklin Forster (1908--1972); James Henry Rand
(1886--1968); James Wares Bryce (1880--1949); Jay
Wright Forrester (1918--); Jean E. Sammet (1928--);
John Aleksander Rajchman (1911--1989); John Backus
(1924--); John Diebold (1926--); John Grist Brainerd
(1904--1988); John Hamilton Curtiss (1909--1977); John
Henry Patterson (1844--1922); John K. Gore
(1845--1910); John McCarthy (1927--); John Napier
(1550--1617); John Presper Eckert, Jr. (1919--); John
R. Opel (1925--); John R. Pasta (1918--1981); John Shaw
Billings (1839--1913); John Vincent Atanasoff (1903--
); John von Neumann (1903--1957); John Weber Carr
(1923--); John William Mauchly (1907--1980); Joseph
Boyer (1848--1905); Joseph Weizenbaum (1923--);
Joseph-Marie Jacquard (1752--1834); Jule Gregory
Charney (1917--1981); Julian Bigelow (1913--); Julien
Green (1924--); Kenneth Harry Olsen (1926--); Konrad
Zuse (1910--); Kristen Nygaard (1926--); Leon Bollee
(1870--1913); Leonardo Torres y Quevedo (1852--1936);
Leslie John Comrie (1893--1950); Leslie Richard Groves
(1896--1970); Louis ``Moll'' Nicot Ridenour, Jr.
(1911--1959); Lyman Frank Baum (1856--1919); Martin
Wiberg (1826--1905); Marvin Lee Minsky (1927--);
Maurice d'Ocagne (1862--1938); Maurice Vincent Wilkes
(1913--); Mina Spiegel Rees (1902--); Nicholas C.
Metropolis (1915--); Niels Ivar Bech (1920--1975);
Norbert Wiener (1894--1964); Ole-Johan Dahl (1931--);
Overton Evans (1927--); Pehr Georg Scheutz
(1785--1873); Percy E. Ludgate (1883--1922); Peter Naur
(1928--); Philip Don Estridge (1938--1985); Pierre
Jacquet-Droz (1700s); Ralph E. Griswold (1934--); Ralph
Ernest Meagher (1917--); Ramon Lull (1235--1315);
Ram{\'o}n Verea (1838--1899); Rene Grillet (1600s);
Reynold B. Johnson (1906--); Richard Goodman
(1911--1966); Richard Utman (1926--); Robert (Bob);
Robert Mano Fano (1917--); Robert Norton Noyce
(1927--); Robert Rivers Everett (1921--); Robert
William Bemer (1920--); Samuel Morland (1625--1695);
Saul Rosen (1922--1991); Simon Ramo (1913--); Stanley
Gill (1926--1975); Stephen Gary Wozniak (1950--);
Steven Paul Jobs (1955--); Theodore Henry Brown
(1888--1973); Thomas John Watson (1874--1956); Thomas
John Watson, Jr. (1914--); Vannevar Bush (1890--1974);
Victor Mikhaylovich Glushkov (1923--1982); Vilhelm
Bjerknes (1862--1951); Wallace John Eckert
(1902--1971); Walter W. Jacobs (1914--1982); Wilhelm
Schickard (1592--1635); Willgodt Theophil Odhner
(1845--1905); William Bradford Shockley (1910--);
William Frederick Friedman (1891--1969); William H.
Gates (1955--); William Louis Van Den Poel (1926--);
William Michael Blumenthal (1926--); William Seward
Burroughs (1855--1898); William Stanley Jevons
(1835--1882); Willis Howard Ware (1920--); Wolfgang von
Kempelen (1734--1804)",
subject = "Electronic data processing; Dictionaries; Biography",
subject-dates = "Ada Augusta King, Countess of Lovelace (10 December
1815--27 November 1852); Claude Elwood Shannon
(1916--2001); John Warner Backus (3 December 1924--17
March 2007); Peter Naur (25 October 1928--3 January
2016)",
}
@Article{Fetzer:1988:PVV,
author = "James H. Fetzer",
title = "Program verification: the very idea",
journal = j-CACM,
volume = "31",
number = "9",
pages = "1048--1063",
month = sep,
year = "1988",
CODEN = "CACMA2",
DOI = "https://doi.org/10.1145/48529.48530",
ISSN = "0001-0782 (print), 1557-7317 (electronic)",
ISSN-L = "0001-0782",
bibdate = "Sat Apr 06 08:06:27 1996",
bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/IMMD_IV.bib;
http://www.acm.org/pubs/toc/;
https://www.math.utah.edu/pub/bibnet/authors/h/hoare-c-a-r.bib;
https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib;
https://www.math.utah.edu/pub/tex/bib/cacm1980.bib",
note = "Comment 1 by Schlenk, Sun May 21 18:41:04 1989.
Discusses two views: Programs can be derived from specs
through mathematical methods (Hoare) versus
verification as a social process (DeMillo, Lipton,
Perlis). There is a response to this paper in CACM
April 89.",
URL = "http://www.acm.org/pubs/toc/Abstracts/0001-0782/48530.html",
acknowledgement = ack-nhfb,
ajournal = "Commun. ACM",
fjournal = "Communications of the ACM",
journal-URL = "https://dl.acm.org/loi/cacm",
keywords = "algorithms; experimentation; human factors;
performance; reliability; verification",
review = "ACM CR 8905-0309",
subject = "{\bf D.2.4}: Software, SOFTWARE ENGINEERING, Program
Verification, Validation. {\bf D.2.1}: Software,
SOFTWARE ENGINEERING, Requirements/Specifications,
Methodologies. {\bf D.2.5}: Software, SOFTWARE
ENGINEERING, Testing and Debugging, Diagnostics. {\bf
F.2.2}: Theory of Computation, ANALYSIS OF ALGORITHMS
AND PROBLEM COMPLEXITY, Nonnumerical Algorithms and
Problems, Complexity of proof procedures. {\bf F.1.3}:
Theory of Computation, COMPUTATION BY ABSTRACT DEVICES,
Complexity Classes, Relations among complexity
classes.",
subject-dates = "Charles Antony Richard Hoare (11 January 1934--5
March 2026)",
}
@Article{Weiss:1988:BOP,
author = "Eric A. Weiss",
title = "Biographies: Oh, Pioneers!",
journal = j-ANN-HIST-COMPUT,
volume = "10",
number = "4",
pages = "348--361",
month = oct # "\slash " # dec,
year = "1988",
CODEN = "AHCOE5",
ISSN = "0164-1239",
ISSN-L = "0164-1239",
bibdate = "Fri Nov 1 15:29:13 MST 2002",
bibsource = "ftp://ftp.math.utah.edu/pub/mirrors/ftp.ira.uka.de/bibliography/Misc/annhistcomput.bib;
ftp://ftp.math.utah.edu/pub/mirrors/ftp.ira.uka.de/bibliography/Parallel/super.bib;
ftp://ftp.math.utah.edu/pub/mirrors/ftp.ira.uka.de/bibliography/Theory/cryptography.bib;
https://www.math.utah.edu/pub/bibnet/authors/a/turing-alan-mathison.bib;
https://www.math.utah.edu/pub/bibnet/authors/b/babbage-charles.bib;
https://www.math.utah.edu/pub/bibnet/authors/b/backus-john-w.bib;
https://www.math.utah.edu/pub/bibnet/authors/b/bauer-friedrich-ludwig.bib;
https://www.math.utah.edu/pub/bibnet/authors/d/dijkstra-edsger-w.bib;
https://www.math.utah.edu/pub/bibnet/authors/f/forsythe-george-elmer.bib;
https://www.math.utah.edu/pub/bibnet/authors/h/hoare-c-a-r.bib;
https://www.math.utah.edu/pub/bibnet/authors/l/lovelace-ada-augusta.bib;
https://www.math.utah.edu/pub/bibnet/authors/m/metropolis-nicholas.bib;
https://www.math.utah.edu/pub/bibnet/authors/n/naur-peter.bib;
https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib;
https://www.math.utah.edu/pub/bibnet/authors/r/rutishauser-heinz.bib;
https://www.math.utah.edu/pub/bibnet/authors/s/shannon-claude-elwood.bib;
https://www.math.utah.edu/pub/bibnet/authors/t/tukey-john-w.bib;
https://www.math.utah.edu/pub/bibnet/authors/t/turing-alan-mathison.bib;
https://www.math.utah.edu/pub/bibnet/authors/v/von-neumann-john.bib;
https://www.math.utah.edu/pub/mirrors/ftp.ira.uka.de/bibliography/Misc/annhistcomput.bib;
https://www.math.utah.edu/pub/mirrors/ftp.ira.uka.de/bibliography/Parallel/super.bib;
https://www.math.utah.edu/pub/mirrors/ftp.ira.uka.de/bibliography/Theory/cryptography.bib;
https://www.math.utah.edu/pub/tex/bib/adabooks.bib;
https://www.math.utah.edu/pub/tex/bib/annhistcomput.bib;
https://www.math.utah.edu/pub/tex/bib/cryptography.bib;
https://www.math.utah.edu/pub/tex/bib/fibquart.bib;
https://www.math.utah.edu/pub/tex/bib/super.bib",
URL = "http://dlib.computer.org/an/books/an1988/pdf/a4348.pdf;
http://www.computer.org/annals/an1988/a4348abs.htm",
acknowledgement = ack-nhfb,
annote = "This paper contains a brief summary of the
contributions of 261 individuals to the development of
computing.",
fjournal = "Annals of the History of Computing",
journal-URL = "https://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=5488650",
keywords = "A. Porter; Aard van Wijngaarden; Adin D. Falkoff; Alan
J. Perlis; Alan Kay; Alan M. Turing; Allen Newell;
Allen W. M. Coombes; Alonzo Church; Alston Scott
Householder; Amedee Mannheim; Andrei P. Ershov; Andrew
Donald Booth; Andrew Fluegelman; Arnold A. Cohen;
Arthur C. Clarke; Arthur Lee Samuel; Arthur Walter
Burks; Arturo Rosenblueth; Augusta Ada King (nee
Gordon); B. M. Derfee; Blaise Pascal; Bob O. Evans;
Brian Havens; Brian Josephson; Brian Randell; Bruce G.
Oldfield; C. Gordon Bell; C. J. Date; C. Sheldon
Roberts; Carl Adam Petri; Carver Mead; Charles A.
Phillips; Charles Antony Richard Hoare; Charles
Babbage; Charles Bachman; Charles Xavier Thomas (Thomas
de Colmar); Christopher S. Strachey; Clair D. Lake;
Claude Elwood Shannon; Clifford E. Berry; Cuthbert C.
Hurd; D. W. Davies; Dana Scott; Daniel Delbert
McCracken; David J. Wheeler; David Packard; David
Sarnoff; Dennis M. Ritchie; Derrick Henry Lehmer;
Dionysius Lardner; Donald Ervin Knuth; Donald Lewis
Shell; Donald Michie; Donn B. Parker; Dorr E. Felt;
Douglas R. Hartree; E. H. Lennaerts; E. T. Irons; Earl
R. Larson; Edgar F. Codd; Edmund C. Berkeley; Edsger W.
Dijkstra; Edward E. Feigenbaum; Edward Joseph
McCluskey; Edward L. (Ted) Glaser; Emil L. Post; Ernest
R. Moore; Erwin Tomash; Eugene Kleiner; Fairchild Eight
(Julius Blank, Victor H. Grinich, Jean A. Hoerni,
Eugene Kleiner, Jay T. Last, Gordon E. Moore, Robert N.
Noyce, and C. Sheldon Roberts); Fernando J.
Corbat{\'o}; Fletcher Jones; Frances Elizabeth (Betty)
Snyder Holberton; Francis Joseph Murray; Frank E.
Hamilton; Frank Gray; Frank Rosenblatt; Frederic
Calland Williams; Frederick P. Brooks, Jr.; Friedrich
L. Bauer; G. B. Grant; G. Truman Hunter; Gene M.
Amdahl; Georg and Edvard Scheub; George Bernard
Dantzig; George Boole; George Elmer Forsythe; George H.
Philbrick; George Robert Stibitz; Gerald M. Weinberg;
Gerard Salton; Gordon E. Moore; Gottfried Wilhelm
Leibniz; Grace Murray Hopper; Harlan D. Mills; Harlan
L. Herrick; Harold Chestnut; Harry Douglas Huskey;
Harry H. Goode; Heinz Rutishauser; Helmut Schreyer;
Henry Briggs; Henry P. Babbage; Herbert A. Simon;
Herbert Leo Gelernter; Herbert R. J. Grosch; Herbert S.
Bright; Herman Heine Goldstine; Herman Hollerith;
Herman Lukoff; Howard Bromberg; Howard Hathaway Aiken;
I. J. Good; Irven Travis; Isaac L. Auerbach; Ivan
Edward Sutherland; J. Daniel Cougar; J. Presper Eckert,
Jr.; Jack St. Clair Kilby; Jack Tramiel; Jackson
Granholm [``kludge'']; James Hardy Wilkinson; James M.
Henry; James William Cooley; Jan Aleksander Rajchman;
Jay T. Last; Jay W. Forrester; Jean A. Hoerni; Jean E.
Sammet; Jeffrey Chuan Chu; Jerrier A. Haddad; Jim
Pommerene; John Bardeen; John Burns; John C. McPherson;
John Clifford Shaw; John Diebold; John George Kemeny;
John Grist Brainerd; John H. Curtiss; John McCarthy;
John Napier; John Powers; John R. Pierce; John Todd;
John Vincent Atanasoff; John von Neumann; John Warner
Backus; John Weber Carr, III; John Wilder Tukey; John
William Mauchly; Jonathan Swift; Joseph Carl Robnett
Licklider; Joseph Chedaker; Joseph Clement; Joseph
Frederick Traub; Joseph Marie Jacquard; Joseph
Weizenbaum; Jules I. Schwartz; Julian Bigelow; Julius
Blank; Karl Karlstrom; Ken Thompson; Kenneth Eugene
Iverson; Kenneth H. Olsen; Konrad Zuse; L. F. Meabrea;
Lejaren A. Hiller; Leonardo of Pisa a.k.a. Fibonacci;
Leonardo Torres y Quevedo; Leslie John Comrie; Lord
Kelvin (William Thomson); Louis Couffignal; Lynn
Conway; L{\'e}on Boll{\'e}e; Marian Rejewski; Marvin L.
Minsky; Maurice Howard Halstead; Maurice V. Wilkes; Max
Palevsky; Maxwell H. A. Newman; Michael O. Rabin;
Michael Woodger; Mina Rees; Mitchell D. Kapor; Mohammed
ibn Musa Al-Khowarizmi; Morton Michael Astrahan;
Nathaniel Rochester; Nicholas Constantine Metropolis;
Niklaus Wirth; Noam Chomsky; Nolan Bushnell; Norbert
Wiener; Oliver G. Selfridge; Orrin Edison Taulbee; Paul
Allen; Percy Ludgate; Perry O. Crawford; Peter Naur;
Ralph E. Gomory; Richard Clippinger; Richard Courant;
Richard Ernest Bellman; Richard J. Canning; Richard M.
Bloch; Richard P. Feynman; Richard Snyder; Richard V.
D. Campbell; Richard Wesley Hamming; Robert H. Dennard;
Robert N. Noyce; Robert R. Everett; Robert S. Barton;
Robert Sarnoff; Robert W. Bemer; Robert W. Floyd; Roy
Nutt; S. B. Williams; Samuel H. Caldwell; Samuel
Morland; Samuel N. Alexander; Saul Rosen; Seymour
Papert; Seymour R. Cray; Sidney Fernbach; Stanley Gill;
Stephen A. Cook; Stephen Frank Baldwin; Stephen
Wozniak; Steven Jobs; T. Vincent Learson; Thomas Eugene
Kurtz; Thomas H. Flowers; Thomas J. Watson, Jr.; Thomas
J. Watson, Sr.; Thomas Kite Sharpless; Tom Kilburn;
Vannevar E Bush; Victor H. Grinich; Vladimar Zworykin;
W. J. Deerhake; W. Renwick; W. T. Odhner; Wallace J,
Eckert; Walter Pitts; Warren Sturgis McCulloch; Warren
Weaver; Wassily Leontieff; Watson Davis; Werner
Buchholz; Wilhelm Schickard; William C. Norris; William
F. McClelland; William Gates; William Hewlett; William
Leybourn; William Orchard-Hays; William Oughtred;
William P. Heising; William Seward Burroughs",
remark = "This paper contains a brief summary of the
contributions of 261 individuals to the development of
computing. Norbert Wiener appears incorrectly as
Norbert Weiner in this article.",
subject-dates = "Ada Augusta King, Countess of Lovelace (10 December
1815--27 November 1852); Charles Antony Richard Hoare
(11 January 1934--5 March 2026); Claude Elwood Shannon
(1916--2001); Edsger Wybe Dijkstra (11 May 1930--6
August 2002); Friedrich (``Fritz'') Ludwig Bauer (10
June 1924--26 March 2015); George Elmer Forsythe (8
January 1917--9 April 1972); Heinz Rutishauser (30
January 1918--10 November 1970); John von Neumann (28
December 1903--8 February 1957); John Warner Backus (3
December 1924--17 March 2007); Peter Naur (25 October
1928--3 January 2016)",
}
@Article{Anonymous:1990:AJP,
author = "Anonymous",
title = "{Alan J. Perlis} 1922--1990",
journal = j-NAMS,
volume = "37",
number = "4",
pages = "441",
year = "1990",
CODEN = "AMNOAN",
ISSN = "0002-9920,1088-9477",
ISSN-L = "0002-9920",
MRclass = "01A70",
MRnumber = "1050702",
bibdate = "Thu Jun 11 12:11:27 2026",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib",
acknowledgement = ack-nhfb,
fjournal = "Notices of the American Mathematical Society",
journal-URL = "http://www.ams.org/notices/",
subject-dates = "Alan Jay Perlis (1 April 1922--7 February 1990)",
}
@Article{Denning:1990:AJP,
author = "Peter J. Denning",
title = "{Alan J. Perlis}: 1922--1990: a founding father of
computer science as a separate discipline",
journal = j-CACM,
volume = "33",
number = "5",
pages = "604--605",
month = may,
year = "1990",
CODEN = "CACMA2",
DOI = "https://doi.org/10.1145/78607.214943",
ISSN = "0001-0782 (print), 1557-7317 (electronic)",
ISSN-L = "0001-0782",
bibdate = "Fri Apr 5 10:03:00 MST 1996",
bibsource = "http://www.acm.org/pubs/toc/;
https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib;
https://www.math.utah.edu/pub/tex/bib/cacm1990.bib",
URL = "http://www.acm.org/pubs/toc/Abstracts/0001-0782/214943.html",
acknowledgement = ack-nhfb,
fjournal = "Communications of the ACM",
issue-date = "May 1990",
journal-URL = "https://dl.acm.org/loi/cacm",
keywords = "documentation; human factors",
numpages = "2",
subject = "{\bf K.2}: Computing Milieux, HISTORY OF COMPUTING,
Alan J. Perlis. {\bf A.0}: General Literature, GENERAL,
Biographies/autobiographies.",
subject-dates = "Alan Jay Perlis (1 April 1922--7 February 1990)",
}
@Article{Weiss:1990:BAJ,
author = "Eric E. Weiss and Geoffrey Tweedale and Heinz
Zemanek",
title = "Biographies: {Alan J. Perlis}, 1922--1990; {Bertram
Vivian Bowden}, 1910--1989; {William P. Hanf},
1933--1989; {Marcel Linsman}, 1913--1989; {Harriett B.
Rigas}, 1933--1989; {Louis Robinson}, 1926--1985; An
Interview with {Jan Rajchman}",
journal = j-ANN-HIST-COMPUT,
volume = "12",
number = "2",
pages = "137--146",
month = apr # "\slash " # jun,
year = "1990",
CODEN = "AHCOE5",
ISSN = "0164-1239",
ISSN-L = "0164-1239",
bibdate = "Fri Nov 1 15:29:14 MST 2002",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib;
https://www.math.utah.edu/pub/tex/bib/annhistcomput.bib",
URL = "http://dlib.computer.org/an/books/an1990/pdf/a2137.pdf;
http://www.computer.org/annals/an1990/a2137abs.htm",
acknowledgement = ack-nhfb,
fjournal = "Annals of the History of Computing",
journal-URL = "http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=5488650",
subject-dates = "Alan Jay Perlis (1 April 1922--7 February 1990)",
}
@Article{Habermann:1991:AJP,
author = "A. N. Habermann",
title = "{Alan J. Perlis} (1922--1990)",
journal = j-ACTA-INFO,
volume = "28",
number = "5",
pages = "409--410",
year = "1991",
CODEN = "AINFA2",
DOI = "https://doi.org/10.1007/BF01178580",
ISSN = "0001-5903,1432-0525",
ISSN-L = "0001-5903",
MRclass = "01A70",
MRnumber = "1143860",
bibdate = "Thu Jun 11 12:11:27 2026",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib",
acknowledgement = ack-nhfb,
ajournal = "Acta Inform.",
fjournal = "Acta Informatica",
journal-URL = "http://link.springer.com/journal/236",
subject-dates = "Alan Jay Perlis (1 April 1922--7 February 1990)",
}
@Article{Pfeiffer:1993:RSA,
author = "Phil Pfeiffer",
title = "Report on the {Second Annual Alan J. Perlis Symposium
on Programming Languages}",
journal = j-SIGPLAN,
volume = "28",
number = "9",
pages = "6--12",
month = sep,
year = "1993",
CODEN = "SINODQ",
ISSN = "0362-1340 (print), 1523-2867 (print), 1558-1160
(electronic)",
ISSN-L = "0362-1340",
bibdate = "Sat May 01 17:43:38 1999",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib;
https://www.math.utah.edu/pub/tex/bib/sigplan1990.bib",
acknowledgement = ack-nhfb,
fjournal = "ACM SIGPLAN Notices",
journal-URL = "https://dl.acm.org/loi/sigplan",
subject-dates = "Alan Jay Perlis (1 April 1922--7 February 1990)",
}
@InBook{Gorn:2003:PAJ,
author = "Saul Gorn",
booktitle = "Encyclopedia of Computer Science",
title = "{Perlis, Alan J.}",
publisher = pub-WILEY,
address = pub-WILEY:adr,
pages = "1390--1391",
year = "2003",
ISBN = "0-470-86412-5",
ISBN-13 = "978-0-470-86412-8",
bibdate = "Fri Jun 12 05:51:15 2026",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib",
abstract = "Alan J. Perlis was born in Pittsburgh on 1 April 1922
and died in New Haven, Connecticut, on 7 February 1990.
He was renowned as a developer of programming systems
and languages and as an educator --- indeed, as a
founding father of computer science as a separate
discipline.",
acknowledgement = ack-nhfb,
numpages = "2",
subject-dates = "Alan Jay Perlis (1 April 1922--7 February 1990)",
}
@Article{Alberts:2014:UVL,
author = "Gerard Alberts and Edgar G. Daylight",
title = "Universality versus Locality: The {Amsterdam} Style of
{Algol} Implementation",
journal = j-IEEE-ANN-HIST-COMPUT,
volume = "36",
number = "4",
pages = "52--63",
month = oct # "\slash " # dec,
year = "2014",
CODEN = "IAHCEX",
DOI = "https://doi.org/10.1109/MAHC.2014.61",
ISSN = "1058-6180 (print), 1934-1547 (electronic)",
ISSN-L = "1058-6180",
bibdate = "Wed Mar 4 11:17:29 MST 2015",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/n/naur-peter.bib;
https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib;
https://www.math.utah.edu/pub/tex/bib/algol68.bib;
https://www.math.utah.edu/pub/tex/bib/ieeeannhistcomput.bib",
acknowledgement = ack-nhfb,
ajournal = "IEEE Ann. Hist. Comput.",
fjournal = "IEEE Annals of the History of Computing",
journal-URL = "https://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=85",
keywords = "Aad van Wijngaarden; Alan Perlis; Algol; compiler
construction; Computer languages; Edsger W. Dijkstra;
Europe; Friedrich Bauer; Heinz Rutishauser; History;
history of computing; history of software; Jaap
Zonneveld; John Carr; Klaus Samelson; object language;
Peter Naur; Program processors; Programming; Saul Gorn;
Software engineering",
subject-dates = "Friedrich (``Fritz'') Ludwig Bauer (10 June 1924--26
March 2015); Klaus Samelson (21 December 1918--25 May
1980); Peter Naur (25 October 1928--3 January 2016)",
}
@Misc{Nofre:2019:AJP,
author = "David Nofre",
title = "{Alan J. Perlis}",
howpublished = "ACM Turing Award Web site.",
year = "2019",
bibdate = "Thu Jun 11 11:16:38 2026",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib",
URL = "https://amturing.acm.org/award_winners/perlis_0132439.cfm",
acknowledgement = ack-nhfb,
subject-dates = "Alan Jay Perlis (1 April 1922--7 February 1990)",
}
@InProceedings{Carriero:1985:NLKa,
author = "Nicholas Carriero and David Gelernter",
booktitle = "Proceedings of the Tenth {ACM} Symposium on Operating
Systems Principles",
title = "The {S/Net}'s {Linda} kernel (extended abstract)",
publisher = pub-ACM,
address = pub-ACM:adr,
pages = "160",
year = "1985",
DOI = "https://doi.org/10.1145/323647.323643",
ISBN = "0-89791-174-1",
ISBN-13 = "978-0-89791-174-0",
bibdate = "Fri Jun 12 08:26:17 2026",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib",
series = "SOSP '85",
acknowledgement = ack-nhfb,
location = "Orcas Island, Washington, USA",
}
@Article{Carriero:1985:NLKb,
author = "Nicholas Carriero and David Gelernter",
title = "The {S/Net}'s {Linda} kernel (extended abstract)",
journal = j-OPER-SYS-REV,
volume = "19",
number = "5",
pages = "160",
month = dec,
year = "1985",
DOI = "https://doi.org/10.1145/323627.323643",
ISSN = "0163-5980 (print), 1943-586X (electronic)",
bibdate = "Fri Jun 12 08:26:17 2026",
bibsource = "http://www.math.utah.edu/pub/tex/bib/opersysrev.bib;
https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib",
acknowledgement = ack-nhfb,
ajournal = "SIGOPS Oper. Syst. Rev.",
issue-date = "Dec. 1-4, 1985",
numpages = "1",
}
@Article{Gelernter:1985:GCL,
author = "David Gelernter",
title = "Generative communication in {Linda}",
journal = j-TOPLAS,
volume = "7",
number = "1",
publisher = pub-ACM,
address = pub-ACM:adr,
pages = "80--112",
month = jan,
year = "1985",
CODEN = "ATPSDT",
DOI = "https://doi.org/10.1145/2363.2433",
ISSN = "0164-0925 (print), 1558-4593 (electronic)",
ISSN-L = "0164-0925",
bibdate = "Fri Jun 12 08:26:17 2026",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib",
abstract = "Generative communication is the basis of a new
distributed programming language that is intended for
systems programming in distributed settings generally
and on integrated network computers in particular. It
differs from previous interprocess communication models
in specifying that messages be added in
tuple-structured form to the computation environment,
where they exist as named, independent entities until
some process chooses to receive them. Generative
communication results in a number of distinguishing
properties in the new language, Linda, that is built
around it. Linda is fully distributed in space and
distributed in time; it allows distributed sharing,
continuation passing, and structured naming. We discuss
these properties and their implications, then give a
series of examples. Linda presents novel implementation
problems that we discuss in Part II. We are
particularly concerned with implementation of the
dynamic global name space that the generative
communication model requires.",
acknowledgement = ack-nhfb,
fjournal = "ACM Transactions on Programming Languages and
Systems",
issue-date = "Jan. 1985",
journal-URL = "http://portal.acm.org/browse_dl.cfm?idx=J783",
numpages = "33",
}
@InProceedings{Bjornson:1986:LA,
author = "Robert Bjornson and Nicholas Carriero and David
Gelernter and Jerry Leichter",
booktitle = "Proceedings of the 2nd Workshop on Making Distributed
Systems Work",
title = "{Linda} in adolescence",
publisher = pub-ACM,
address = pub-ACM:adr,
pages = "1--4",
year = "1986",
DOI = "https://doi.org/10.1145/503956.503977",
ISBN = "1-4503-7335-6",
ISBN-13 = "978-1-4503-7335-7",
bibdate = "Fri Jun 12 08:26:17 2026",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib",
series = "EW 2",
acknowledgement = ack-nhfb,
location = "Amsterdam, Netherlands",
numpages = "4",
}
@InProceedings{Carriero:1986:DDS,
author = "Nicholas Carriero and David Gelernter and Jerrold
Leichter",
booktitle = "Proceedings of the 13th {ACM} {SIGACT-SIGPLAN}
Symposium on Principles of Programming Languages",
title = "Distributed data structures in {Linda}",
publisher = pub-ACM,
address = pub-ACM:adr,
pages = "236--242",
year = "1986",
DOI = "https://doi.org/10.1145/512644.512666",
ISBN = "1-4503-7347-X",
ISBN-13 = "978-1-4503-7347-0",
bibdate = "Fri Jun 12 08:26:17 2026",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib",
series = "POPL '86",
abstract = "A <i>distributed data structure</i> is a
data structure that can be manipulated by many parallel
processes simultaneously. Distributed data structures
are the natural complement to parallel program
structures, where a <i>parallel program</i>
(for our purposes) is one that is made up of many
simultaneously active, communicating processes.
Distributed data structures are impossible in most
parallel programming languages, but they are supported
in the parallel language Linda and they are central to
Linda programming style. We outline Linda, then discuss
some distributed data structures that have arisen in
Linda programming experiments to date. Our intent is
neither to discuss the design of the Linda system nor
the performance of Linda programs, though we do comment
on both topics; we are concerned instead with a few of
the simpler and more basic techniques made possible by
a language model that, we argue, is subtly but
fundamentally different in its implications from most
others.This material is based upon work supported by
the National Science Foundation under Grant No.
MCS-8303905. Jerry Leichter is supported by a Digital
Equipment Corporation Graduate Engineering Education
Program fellowship.",
acknowledgement = ack-nhfb,
location = "St. Petersburg Beach, Florida",
numpages = "7",
}
@Article{Carriero:1986:NLK,
author = "Nicholas Carriero and David Gelernter",
title = "The {S/Net}'s {Linda} kernel",
journal = j-TOCS,
volume = "4",
number = "2",
publisher = pub-ACM,
address = pub-ACM:adr,
pages = "110--129",
month = may,
year = "1986",
CODEN = "ACSYEC",
DOI = "https://doi.org/10.1145/214419.214420",
ISSN = "0734-2071 (print), 1557-7333 (electronic)",
ISSN-L = "0734-2071",
bibdate = "Fri Jun 12 08:26:17 2026",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib",
abstract = "Linda is a parallel programming language that differs
from other parallel languages in its simplicity and in
its support for distributed data structures. The S/Net
is a multicomputer, designed and built at AT&T Bell
Laboratories, that is based on a fast, word-parallel
bus interconnect. We describe the Linda-supporting
communication kernel we have implemented on the S/Net.
The implementation suggests that Linda's unusual
shared-memory-like communication primitives can be made
to run well in the absence of physically shared memory;
the simplicity of the language and of our
implementation's logical structure suggest that similar
Linda implementations might readily be constructed on
related architectures. We outline the language, and
programming methodologies based on distributed data
structures; we then describe the implementation, and
the performance both of the Linda primitives themselves
and of a simple S/Net-Linda matrix-multiplication
program designed to exercise them.",
acknowledgement = ack-nhfb,
affiliationaddress = "Yale Univ, New Haven, CT, USA",
ajournal = "ACM Trans. Comput. Syst.",
classification = "722; 723",
issue-date = "May 1986",
journal-URL = "http://portal.acm.org/browse_dl.cfm?idx=J774",
journalabr = "ACM Trans Comput Syst",
keywords = "communication kernel; computer programming languages;
computer systems, digital --- Parallel Processing; data
processing --- Data Structures; design; languages;
Linda parallel programming languages; S/Net",
numpages = "20",
subject = "{\bf D.3.3} Software, PROGRAMMING LANGUAGES, Language
Constructs and Features, Concurrent programming
structures. {\bf C.2.1} Computer Systems Organization,
COMPUTER-COMMUNICATION NETWORKS, Network Architecture
and Design, Network communications. {\bf C.2.4}
Computer Systems Organization, COMPUTER-COMMUNICATION
NETWORKS, Distributed Systems, Network operating
systems. {\bf D.4.4} Software, OPERATING SYSTEMS,
Communications Management, Message sending.",
}
@InProceedings{Carriero:1988:AELa,
author = "Nicholas Carriero and David Gelernter",
booktitle = "Proceedings of the {ACM\slash SIGPLAN} Conference on
Parallel Programming: Experience with Applications,
Languages and Systems",
title = "Applications experience with {Linda}",
publisher = pub-ACM,
address = pub-ACM:adr,
pages = "173--187",
year = "1988",
DOI = "https://doi.org/10.1145/62115.62132",
ISBN = "0-89791-276-4",
ISBN-13 = "978-0-89791-276-1",
bibdate = "Fri Jun 12 08:26:17 2026",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib",
series = "PPEALS '88",
abstract = "We describe three experiments using C-Linda to write
parallel codes. The first involves assessing the
similarity of DNA sequences. The results demonstrate
Linda's flexibility Linda solutions are presented that
work well at two quite different levels of granularity.
The second uses a prime finder to illustrate a class of
algorithms that do not (easily) submit to automatic
parallelizers, but can be parallelized in
straight-forward fashion using C-Linda. The final
experiment describes the process lattice model, an
inherently parallel application that is naturally
conceived as multiple interacting processes. Taken
together, the experience described here bolsters our
claim that Linda can bridge the gap between the growing
collection of parallel hardware and users eager to
exploit parallelism.This work is supported by the NSF
under grants DCR-8601920 and DCR-8657615 and by the ONR
under grant N00014-86-K-0310. We are grateful to
Argonne National Labs for providing access to a Sequent
Symmetry.",
acknowledgement = ack-nhfb,
location = "New Haven, Connecticut, USA",
numpages = "15",
}
@Article{Carriero:1988:AELb,
author = "Nicholas Carriero and David Gelernter",
title = "Applications experience with {Linda}",
journal = j-SIGPLAN,
volume = "23",
number = "9",
publisher = pub-ACM,
address = pub-ACM:adr,
pages = "173--187",
month = jan,
year = "1988",
CODEN = "SINODQ",
DOI = "https://doi.org/10.1145/62116.62132",
ISSN = "0362-1340 (print), 1523-2867 (print), 1558-1160
(electronic)",
ISSN-L = "0362-1340",
bibdate = "Fri Jun 12 08:26:17 2026",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib",
abstract = "We describe three experiments using C-Linda to write
parallel codes. The first involves assessing the
similarity of DNA sequences. The results demonstrate
Linda's flexibility Linda solutions are presented that
work well at two quite different levels of granularity.
The second uses a prime finder to illustrate a class of
algorithms that do not (easily) submit to automatic
parallelizers, but can be parallelized in
straight-forward fashion using C-Linda. The final
experiment describes the process lattice model, an
inherently parallel application that is naturally
conceived as multiple interacting processes. Taken
together, the experience described here bolsters our
claim that Linda can bridge the gap between the growing
collection of parallel hardware and users eager to
exploit parallelism.This work is supported by the NSF
under grants DCR-8601920 and DCR-8657615 and by the ONR
under grant N00014-86-K-0310. We are grateful to
Argonne National Labs for providing access to a Sequent
Symmetry.",
acknowledgement = ack-nhfb,
fjournal = "ACM SIGPLAN Notices",
issue-date = "Sept. 1988",
journal-URL = "https://dl.acm.org/loi/sigplan",
numpages = "15",
}
@InProceedings{Krishnaswamy:1988:ALCa,
author = "V. Krishnaswamy and S. Ahuja and N. Carriero and D.
Gelernter",
booktitle = "Proceedings of the 15th Annual International Symposium
on Computer Architecture",
title = "The architecture of a {Linda} coprocessor",
publisher = pub-IEEE,
address = pub-IEEE:adr,
pages = "240--249",
year = "1988",
ISBN = "0-8186-0861-7",
ISBN-13 = "978-0-8186-0861-2",
bibdate = "Fri Jun 12 08:26:17 2026",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib",
series = "ISCA '88",
abstract = "We describe the architecture of a coprocessor that
supports the communication primitives of the Linda
parallel programming environment in hardware. The
coprocessor is a critical element in the architecture
of the Linda Machine, an MIMD parallel processing
system that is designed top down from the
specifications of Linda. Communication in Linda
programs takes place through a logically shared
associative memory mechanism called tuple space. The
Linda Machine, however, has no physically shared
memory. The microprogrammable coprocessor implements
distributed protocols for executing tuple space
operations over the Linda Machine communication
network. The coprocessor has been designed and is in
the process of fabrication. We discuss the projected
performance of the coprocessor and compare it with
software Linda implementations.This work is supported
in part by National Science Foundation grants
CCR-8657615 and ONR N00014-86-K-0310.",
acknowledgement = ack-nhfb,
location = "Honolulu, Hawaii, USA",
numpages = "10",
}
@Article{Krishnaswamy:1988:ALCb,
author = "V. Krishnaswamy and S. Ahuja and N. Carriero and D.
Gelernter",
title = "The architecture of a {Linda} coprocessor",
journal = j-COMP-ARCH-NEWS,
volume = "16",
number = "2",
publisher = pub-ACM,
address = pub-ACM:adr,
pages = "240--249",
month = may,
year = "1988",
DOI = "https://doi.org/10.1145/633625.52428",
ISSN = "0163-5964 (print), 1943-5851 (electronic)",
bibdate = "Fri Jun 12 08:26:17 2026",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib",
abstract = "We describe the architecture of a coprocessor that
supports the communication primitives of the Linda
parallel programming environment in hardware. The
coprocessor is a critical element in the architecture
of the Linda Machine, an MIMD parallel processing
system that is designed top down from the
specifications of Linda. Communication in Linda
programs takes place through a logically shared
associative memory mechanism called tuple space. The
Linda Machine, however, has no physically shared
memory. The microprogrammable coprocessor implements
distributed protocols for executing tuple space
operations over the Linda Machine communication
network. The coprocessor has been designed and is in
the process of fabrication. We discuss the projected
performance of the coprocessor and compare it with
software Linda implementations.This work is supported
in part by National Science Foundation grants
CCR-8657615 and ONR N00014-86-K-0310.",
acknowledgement = ack-nhfb,
ajournal = "SIGARCH Comput. Archit. News",
issue-date = "May 1988",
numpages = "10",
}
@InProceedings{Whiteside:1988:ULS,
author = "R. A. Whiteside and J. S. Leichter",
booktitle = "Proceedings of the 1988 {ACM/IEEE} Conference on
Supercomputing",
title = "Using {Linda} for supercomputing on a local area
network",
publisher = pub-IEEE,
address = pub-IEEE:adr,
pages = "192--199",
year = "1988",
ISBN = "0-8186-0882-X",
ISBN-13 = "978-0-8186-0882-7",
bibdate = "Fri Jun 12 08:26:17 2026",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib",
series = "Supercomputing '88",
abstract = "A distributed parallel processing system based on the
LINDA programming constructs has been implemented on a
local area network of computers. This system allows a
single application program to utilize many machines on
the network simultaneously. Several applications have
been implemented on the network at Sandia National
Laboratories and have achieved performances
considerably faster than that of a Cray-1S. Several
collections of machines have been used including up to
eleven DEC VAXes, three Sun/3 workstations, and a PC.",
acknowledgement = ack-nhfb,
location = "Orlando, Florida, USA",
numpages = "8",
}
@Article{Carriero:1989:LC,
author = "Nicholas Carriero and David Gelernter",
title = "{Linda} in context",
journal = j-CACM,
volume = "32",
number = "4",
publisher = pub-ACM,
address = pub-ACM:adr,
pages = "444--458",
month = apr,
year = "1989",
CODEN = "CACMA2",
DOI = "https://doi.org/10.1145/63334.63337",
ISSN = "0001-0782 (print), 1557-7317 (electronic)",
ISSN-L = "0001-0782",
bibdate = "Fri Jun 12 08:26:17 2026",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib",
abstract = "How can a system that differs sharply from all
currently fashionable approaches score any kind of
success? Here's how.",
acknowledgement = ack-nhfb,
fjournal = "Communications of the ACM",
issue-date = "April 1989",
journal-URL = "http://dl.acm.org/pub.cfm?id=J782",
numpages = "15",
}
@InProceedings{Fleckenstein:1989:PMU,
author = "C. J. Fleckenstein and D. Hemmendinger",
booktitle = "Proceedings of the 17th Conference on {ACM} Annual
Computer Science Conference",
title = "A parallel `{\tt make}' utility based on {Linda}'s
tuple-space",
publisher = pub-ACM,
address = pub-ACM:adr,
pages = "216--220",
year = "1989",
DOI = "https://doi.org/10.1145/75427.75454",
ISBN = "0-89791-299-3",
ISBN-13 = "978-0-89791-299-0",
bibdate = "Fri Jun 12 08:26:17 2026",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib",
series = "CSC '89",
abstract = "We describe a prototype of a parallel `{\tt make}'
utility that executes on multiple workstations and
achieves a significant real-time speedup. This utility
is implemented by means of logically shared memory
based on the Linda system's tuple space. It makes work
with distributed computing easy to conduct, since it
can be built on top of an existing operating systems
without modifying it, and since it permits easy
experimentation with strategies for distributing the
work.",
acknowledgement = ack-nhfb,
location = "Louisville, Kentucky",
numpages = "5",
}
@InProceedings{Leichter:1989:ILD,
author = "Jerrold S. Leichter and Robert A. Whiteside",
booktitle = "Proceedings of the 3rd International Conference on
Supercomputing",
title = "Implementing {Linda} for distributed and parallel
processing",
publisher = pub-ACM,
address = pub-ACM:adr,
pages = "41--49",
year = "1989",
DOI = "https://doi.org/10.1145/318789.318795",
ISBN = "0-89791-309-4",
ISBN-13 = "978-0-89791-309-6",
bibdate = "Fri Jun 12 08:26:17 2026",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib",
series = "ICS '89",
abstract = "In a recent paper [17], we described experiments using
the VAX LINDA system. VAX LINDA allows a single
application program to utilize many machines on a
network simultaneously. Applications implemented on the
network at Sandia National Laboratories have achieved
speeds considerably greater than that of a Cray-1S.In
this paper, we discuss the implementation of the VAX
LINDA system. The Linda language was originally
conceived as a tool for programming parallel
applications on multicomputers, and in fact VAX LINDA
supports such programming on multiprocessor VAXes. We
have demonstrated that, for suitable applications, we
are able to treat an arbitrary collection of separate
machines on a network as a virtual multicomputer.
Accomplishing this requires careful implementation. It
also involves some effort to get around limitations in
operating systems and network implementations which
were not designed with this kind of usage in mind.1",
acknowledgement = ack-nhfb,
location = "Crete, Greece",
numpages = "9",
}
@Article{Jellinghaus:1990:ELO,
author = "Robert Jellinghaus",
title = "{Eiffel Linda}: an object-oriented {Linda} dialect",
journal = j-SIGPLAN,
volume = "25",
number = "12",
publisher = pub-ACM,
address = pub-ACM:adr,
pages = "70--84",
month = dec,
year = "1990",
CODEN = "SINODQ",
DOI = "https://doi.org/10.1145/122193.122199",
ISSN = "0362-1340 (print), 1523-2867 (print), 1558-1160
(electronic)",
ISSN-L = "0362-1340",
bibdate = "Fri Jun 12 08:26:17 2026",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib",
abstract = "Eiffel is a statically-typed object-oriented language
which supports good software engineering techniques but
provides no support for concurrency; Linda is a
parallel programming model which provides a uniform
semantics for coordination and communication among
multiple processes. This paper describes an Eiffel
Linda which injects the Linda operations into the
Eiffel language. The resulting synthesis extends both
Eiffel and Linda; the implications of the synergy
between the two systems are examined, and suggestions
for future work are proposed.We begin with an
examination of the Eiffel execution model, with
particular reference to its emphasis on the correct
construction of software systems. We briefly describe
the Linda language, and compare it to other parallelism
models. The unified Eiffel Linda language is then
presented, with discussion of the semantic issues which
were considered in the course of its evolution, and
details of the interesting features of our particular
implementation. Comparisons to past work in Linda and
in object-oriented concurrency are offered. In
conclusion, we reflect on the significance of Eiffel
Linda, and consider its relevance to future work in
object-based concurrency.",
acknowledgement = ack-nhfb,
fjournal = "ACM SIGPLAN Notices",
issue-date = "Dec. 1990",
journal-URL = "https://dl.acm.org/loi/sigplan",
numpages = "15",
}
@InProceedings{Cummings:1992:ULD,
author = "Jack Cummings and Ray Ford",
booktitle = "Proceedings of the 1992 {ACM/SIGAPP} Symposium on
Applied Computing: Technological Challenges of the
1990's",
title = "Using the {Linda} distribution paradigm to address a
variety of computational balancing concerns",
publisher = pub-ACM,
address = pub-ACM:adr,
pages = "767--774",
year = "1992",
DOI = "https://doi.org/10.1145/130069.130088",
ISBN = "0-89791-502-X",
ISBN-13 = "978-0-89791-502-1",
bibdate = "Fri Jun 12 08:26:17 2026",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib",
series = "SAC '92",
acknowledgement = ack-nhfb,
location = "Kansas City, Missouri, USA",
numpages = "8",
}
@InProceedings{Deshpande:1992:EPP,
author = "A. Deshpande and M. Schultz",
booktitle = "Proceedings of the 1992 {ACM\slash IEEE} Conference on
Supercomputing",
title = "Efficient parallel programming with {Linda}",
publisher = pub-IEEE,
address = pub-IEEE:adr,
pages = "238--244",
year = "1992",
ISBN = "0-8186-2630-5",
ISBN-13 = "978-0-8186-2630-2",
bibdate = "Fri Jun 12 08:26:17 2026",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib",
series = "Supercomputing '92",
acknowledgement = ack-nhfb,
location = "Minneapolis, Minnesota, USA",
numpages = "7",
}
@InProceedings{McDonald:1992:TCJa,
author = "Chris McDonald",
booktitle = "Proceedings of the Twenty-Third {SIGCSE} Technical
Symposium on Computer Science Education",
title = "Teaching concurrency with {Joyce} and {Linda}",
publisher = pub-ACM,
address = pub-ACM:adr,
pages = "46--52",
year = "1992",
DOI = "https://doi.org/10.1145/134510.134521",
ISBN = "0-89791-468-6",
ISBN-13 = "978-0-89791-468-0",
bibdate = "Fri Jun 12 08:26:17 2026",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib",
series = "SIGCSE '92",
abstract = "To overcome the difficulty of demonstrating the
principles of concurrency with limited parallel
computing resources, a concurrent programming language
has been designed and implemented which uses the Linda
parallel programming paradigm. The language executes
under the UNIX operating system and is supported by an
X-windows based viewer of programs undergoing
concurrent execution. This paper describes the
language, its compiler and execution environment and
experiences gained in using the language in a third
year undergraduate course over the last two years.",
acknowledgement = ack-nhfb,
location = "Kansas City, Missouri, USA",
numpages = "7",
}
@Article{McDonald:1992:TCJb,
author = "Chris McDonald",
title = "Teaching concurrency with {Joyce} and {Linda}",
journal = j-SIGCSE,
volume = "24",
number = "1",
publisher = pub-ACM,
address = pub-ACM:adr,
pages = "46--52",
month = mar,
year = "1992",
CODEN = "SIGSD3",
DOI = "https://doi.org/10.1145/135250.134521",
ISSN = "0097-8418 (print), 2331-3927 (electronic)",
bibdate = "Fri Jun 12 08:26:17 2026",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib",
abstract = "To overcome the difficulty of demonstrating the
principles of concurrency with limited parallel
computing resources, a concurrent programming language
has been designed and implemented which uses the Linda
parallel programming paradigm. The language executes
under the UNIX operating system and is supported by an
X-windows based viewer of programs undergoing
concurrent execution. This paper describes the
language, its compiler and execution environment and
experiences gained in using the language in a third
year undergraduate course over the last two years.",
acknowledgement = ack-nhfb,
fjournal = "SIGCSE Bulletin (ACM Special Interest Group on
Computer Science Education)",
issue-date = "March 1992",
journal-URL = "http://portal.acm.org/browse_dl.cfm?idx=J688",
numpages = "7",
}
@Article{Ciancarini:1993:LMM,
author = "P. Ciancarini and N. Guerrini",
title = "{Linda} meets {Minix}",
journal = j-OPER-SYS-REV,
volume = "27",
number = "4",
pages = "76--92",
month = oct,
year = "1993",
CODEN = "OSRED8",
DOI = "https://doi.org/10.1145/163640.163647",
ISSN = "0163-5980 (print), 1943-586X (electronic)",
ISSN-L = "0163-5980",
bibdate = "Sat Aug 26 08:55:51 MDT 2006",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib;
http://www.math.utah.edu/pub/tex/bib/opersysrev.bib;
https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib",
abstract = "Currently large interest is devoted to the development
of systems supporting parallel and distributed
programming over a network of workstations. We are
exploring operating system support for this kind of
programming, that instead is usually implemented at the
user process level. We have chosen the Linda model as
the basis of a programming system for networks of
personal computers running Minix, a Unix-like operating
system for personal computers.In this paper we shortly
describe the Minix operating system and its services
for remote communication based on the Amoeba protocol.
We have extended Minix with new communication
primitives based on Linda; we show their
implementation, describing the new system architecture,
and compare the new system with other Linda
implementations.",
acknowledgement = ack-nhfb,
affiliation = "Bologna Univ., Italy",
ajournal = "SIGOPS Oper. Syst. Rev.",
classification = "C6110P (Parallel programming); C6140D (High level
languages); C6150N (Distributed systems)",
fjournal = "ACM SIGOPS Operating Systems Review",
issue-date = "Oct. 1993",
journal-URL = "http://portal.acm.org/browse_dl.cfm?idx=J597",
keywords = "Amoeba protocol; Communication primitives; Distributed
programming; Linda; Minix; Operating system support;
Personal computer networks; Remote communication; Unix;
Workstation network",
numpages = "17",
thesaurus = "Microcomputer applications; Network operating systems;
Parallel languages; Remote procedure calls",
}
@InBook{Kermarrec:1994:ALP,
author = "Yvon Kermarrec and Laurent Pautet",
booktitle = "Proceedings of the Conference on {TRI-Ada '94}",
title = "{Ada-Linda}: a powerful paradigm for programming
distributed Ada applications",
publisher = pub-ACM,
address = pub-ACM:adr,
pages = "438--445",
year = "1994",
DOI = "https://doi.org/10.1145/197694.197744",
ISBN = "0-89791-666-2",
ISBN-13 = "978-0-89791-666-0",
bibdate = "Fri Jun 12 08:26:17 2026",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib",
abstract = "In spite of recent advances in hardware and computer
technology, we still face a daunting task when
programming parallel or distributed systems. The
difficulties are linked to the expression and control
of concurrent activities and to their communication and
synchronization. In this context, our approach is to
introduce software engineering features in a domain
where these notions are not widely used. We have in
mind a set of reusable software components which
address various issues related to distributed system
programming: control, communication and paradigms. In
this paper, we present the Linda model which offers an
interesting paradigm for the distribution of Ada
applications.",
acknowledgement = ack-nhfb,
numpages = "8",
}
@InProceedings{Shearer:1994:DLK,
author = "Kim Shearer",
booktitle = "Proceedings of the 1994 {ACM} Symposium on Applied
Computing",
title = "Design of a {Linda} kernel using causal multicast",
publisher = pub-ACM,
address = pub-ACM:adr,
pages = "518--523",
year = "1994",
DOI = "https://doi.org/10.1145/326619.326908",
ISBN = "0-89791-647-6",
ISBN-13 = "978-0-89791-647-9",
bibdate = "Fri Jun 12 08:26:17 2026",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib",
series = "SAC '94",
acknowledgement = ack-nhfb,
keywords = "distributed server, causal multicast, Linda",
location = "Phoenix, Arizona, USA",
numpages = "6",
}
@InProceedings{Landry:1995:BAI,
author = "Kenneth D. Landry and James D. Arthur",
booktitle = "Proceedings of the 1995 {ACM 23rd} Annual Conference
on Computer Science",
title = "Boundary analysis in the instructional footprint
model: an implementation in {Linda}",
publisher = pub-ACM,
address = pub-ACM:adr,
pages = "56--65",
year = "1995",
DOI = "https://doi.org/10.1145/259526.259538",
ISBN = "0-89791-737-5",
ISBN-13 = "978-0-89791-737-7",
bibdate = "Fri Jun 12 08:26:17 2026",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib",
series = "CSC '95",
acknowledgement = ack-nhfb,
location = "Nashville, Tennessee, USA",
numpages = "10",
}
@InProceedings{Schoenfeldinger:1995:WML,
author = "Werner J. Schoenfeldinger",
booktitle = "Proceedings of the Fourth International Conference on
World Wide Web",
title = "{WWW} Meets {Linda}: {Linda} for Global {WWW}-Based
Transaction Processing Systems",
publisher = pub-ACM,
address = pub-ACM:adr,
pages = "259--275",
year = "1995",
DOI = "https://doi.org/10.1145/3592626.3592647",
ISBN = "1-56592-169-0",
ISBN-13 = "978-1-56592-169-6",
bibdate = "Fri Jun 12 08:26:17 2026",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib",
series = "WWW4",
abstract = "World Wide Web (W3) is a fast-growing tool for
providing information globally. To cope with HTML it
makes applications independent from the operating
system and provides them a standard interface. Because
there are limitations in the application structure of
CGI scripts, we introduce Linda: a language that
coordinates the cooperation of several processes.
Including Linda in W3-based applications allows a
separation of input/output processing and data
processing. This new application structure creates the
possibility of W3-based front-ends for stateful
transaction systems, distributed applications, and
different programming languages. To demonstrate how
easily Linda can be included in W3-based applications,
we show code samples in Perl and two example
applications that have already been inplemented with
Linda and W3.",
acknowledgement = ack-nhfb,
keywords = "world wide web (W3), user interfaces, linda, CGI
programming, perl",
location = "Boston, Massachusetts, USA",
numpages = "17",
}
@InBook{Elenborgen:1996:PDAa,
author = "Bruce S. Elenborgen",
booktitle = "Proceedings of the Twenty-Seventh {SIGCSE} Technical
Symposium on Computer Science Education",
title = "Parallel and distributed algorithms: laboratory
assignments in {Joyce\slash Linda}",
publisher = pub-ACM,
address = pub-ACM:adr,
pages = "14--18",
year = "1996",
DOI = "https://doi.org/10.1145/236452.236478",
ISBN = "0-89791-757-X",
ISBN-13 = "978-0-89791-757-5",
bibdate = "Fri Jun 12 08:26:17 2026",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib",
abstract = "A NSF ILI grant funded development of parallel and
distributed laboratories for an undergraduate course in
parallel algorithms. The laboratory assignments
explored various parallel and distributed
architectures, and paradigms. These assignments were
implemented using the Joyce\slash Linda [McDonald92]
language. The Joyce\slash Linda software was also
utilized to develop parallel and distributed laboratory
assignments for courses in data structures, operating
systems and computer networks. The parallel and
distributed algorithms course examined both theoretical
and practical areas of study.",
acknowledgement = ack-nhfb,
numpages = "5",
}
@Article{Elenborgen:1996:PDAb,
author = "Bruce S. Elenborgen",
title = "Parallel and distributed algorithms: laboratory
assignments in {Joyce\slash Linda}",
journal = j-SIGCSE,
volume = "28",
number = "1",
publisher = pub-ACM,
address = pub-ACM:adr,
pages = "14--18",
month = mar,
year = "1996",
CODEN = "SIGSD3",
DOI = "https://doi.org/10.1145/236462.236478",
ISSN = "0097-8418 (print), 2331-3927 (electronic)",
bibdate = "Fri Jun 12 08:26:17 2026",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib",
abstract = "A NSF ILI grant funded development of parallel and
distributed laboratories for an undergraduate course in
parallel algorithms. The laboratory assignments
explored various parallel and distributed
architectures, and paradigms. These assignments were
implemented using the Joyce/Linda[McDonald92] language.
The Joyce/Linda software was also utilized to develop
parallel and distributed laboratory assignments for
courses in data structures, operating systems and
computer networks. The parallel and distributed
algorithms course examined both theoretical and
practical areas of study.",
acknowledgement = ack-nhfb,
fjournal = "SIGCSE Bulletin (ACM Special Interest Group on
Computer Science Education)",
issue-date = "March 1996",
journal-URL = "http://portal.acm.org/browse_dl.cfm?idx=J688",
keywords = "visualization, parallel computing, laboratory",
numpages = "5",
}
@Article{Lundqvist:1997:RL,
author = "Kristina Lundqvist and G{\"o}ran Wall",
title = "A rendezvous with {Linda}",
journal = j-SIGADA-LETTERS,
volume = "17",
number = "3",
pages = "87--96",
month = may # "\slash " # jun,
year = "1997",
CODEN = "AALEE5",
DOI = "https://doi.org/10.1145/261374.261388",
ISSN = "1094-3641 (print), 1557-9476 (electronic)",
ISSN-L = "0736-721X",
bibdate = "Fri Jun 12 08:26:17 2026",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib",
abstract = "The Ada 9X revision found the rendezvous mechanism too
complex to implement as the communication mechanism in
a distributed system. In this paper another distributed
programming model, Linda, is related to the rendezvous
mechanism. Linda can be used to allow tasks to
communicate in a rendezvous like manner. Sequences of
Linda operations that roughly corresponds to different
rendezvous operations are given and a small extension
of Linda is presented in order to handle more of the
rendezvous constructs. Linda can be used to communicate
across partitions as well as within partitions.",
acknowledgement = ack-nhfb,
classification = "C6110J (Object-oriented programming); C6110P
(Parallel programming); C6140D (High level languages)",
corpsource = "Dept. of Comput. Syst., Uppsala Univ., Sweden",
fjournal = "ACM SIGAda Ada Letters",
fjournal = "ACM SIGADA Ada Letters",
issue-date = "May/June 1997",
journal-URL = "https://dl.acm.org/loi/sigada",
journal-URL = "http://portal.acm.org/citation.cfm?id=J32",
keywords = "Ada; Ada 9X; communication mechanism; distributed
programming model; distributed system; Linda; object
oriented language; object-oriented languages;
object-oriented programming; parallel languages;
parallel programming; partitions; rendezvous
mechanism",
numpages = "10",
treatment = "P Practical",
}
@Article{Ledru:1998:JIL,
author = "Parcal Ledru",
title = "{JSpace}: implementation of a {Linda} system in
{Java}",
journal = j-SIGPLAN,
volume = "33",
number = "8",
publisher = pub-ACM,
address = pub-ACM:adr,
pages = "48--50",
month = aug,
year = "1998",
CODEN = "SINODQ",
DOI = "https://doi.org/10.1145/286385.286391",
ISSN = "0362-1340 (print), 1523-2867 (print), 1558-1160
(electronic)",
ISSN-L = "0362-1340",
bibdate = "Fri Jun 12 08:26:17 2026",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib;
https://www.math.utah.edu/pub/tex/bib/java2010.bib",
abstract = "This paper describes an implementation of Linda for
Java. Several capabilities of Java such as rich typing
and object oriented programming are used to provide a
powerful model. The implementation provides the
functionality of Linda as well as some extensions
taking advantages of Java. A short presentation of the
Linda model and some examples are also provided.",
acknowledgement = ack-nhfb,
fjournal = "ACM SIGPLAN Notices",
issue-date = "Aug. 1998",
journal-URL = "https://dl.acm.org/loi/sigplan",
numpages = "3",
}
@InProceedings{Picco:1999:LLM,
author = "Gian Pietro Picco and Amy L. Murphy and Gruia-Catalin
Roman",
booktitle = "Proceedings of the 21st International Conference on
Software Engineering",
title = "{LIME}: {Linda} meets mobility",
publisher = pub-ACM,
address = pub-ACM:adr,
pages = "368--377",
year = "1999",
DOI = "https://doi.org/10.1145/302405.302659",
ISBN = "1-58113-074-0",
ISBN-13 = "978-1-58113-074-4",
bibdate = "Fri Jun 12 08:26:17 2026",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib",
series = "ICSE '99",
acknowledgement = ack-nhfb,
location = "Los Angeles, California, USA",
numpages = "10",
}
@InProceedings{Rowstron:2000:OLP,
author = "Antony Rowstron",
booktitle = "Proceedings of the 2000 {ACM} Symposium on Applied
Computing --- Volume 1",
title = "Optimising the {Linda} in primitive: understanding
tuple-space run-times",
publisher = pub-ACM,
address = pub-ACM:adr,
pages = "227--232",
year = "2000",
DOI = "https://doi.org/10.1145/335603.335749",
ISBN = "1-58113-240-9",
ISBN-13 = "978-1-58113-240-3",
bibdate = "Fri Jun 12 08:26:17 2026",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib",
series = "SAC '00",
acknowledgement = ack-nhfb,
location = "Como, Italy",
numpages = "6",
}
@InProceedings{deBoer:2001:DST,
author = "F. S. de Boer and M. Gabbrielli and M. C. Meo",
booktitle = "Proceedings of the 3rd {ACM} {SIGPLAN} International
Conference on Principles and Practice of Declarative
Programming",
title = "A denotational semantics for {Timed Linda}",
publisher = pub-ACM,
address = pub-ACM:adr,
pages = "28--36",
year = "2001",
DOI = "https://doi.org/10.1145/773184.773188",
ISBN = "1-58113-388-X",
ISBN-13 = "978-1-58113-388-2",
bibdate = "Fri Jun 12 08:26:17 2026",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib",
series = "PPDP '01",
abstract = "In [5] we introduced a Timed Linda language (T-Linda)
which was obtained by a natural timed interpretation of
the usual constructs of the Linda model and by
including a simple primitive for specifying time-outs.
Here we define a denotational model for T-Linda which
is based on timed reactive sequences. The correctness
of this model is proved w.r.t. a notion of observables
which include finite traces of actions and input/output
pairs.",
acknowledgement = ack-nhfb,
location = "Florence, Italy",
numpages = "9",
}
@InProceedings{Menezes:2001:EMM,
author = "Ronaldo Menezes",
booktitle = "Proceedings of the 2001 {ACM} Symposium on Applied
Computing",
title = "Experience with memory management in open {Linda}
systems",
publisher = pub-ACM,
address = pub-ACM:adr,
pages = "187--196",
year = "2001",
DOI = "https://doi.org/10.1145/372202.372322",
ISBN = "1-58113-287-5",
ISBN-13 = "978-1-58113-287-8",
bibdate = "Fri Jun 12 08:26:17 2026",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib",
series = "SAC '01",
acknowledgement = ack-nhfb,
keywords = "open systems, garbage collection, coordination
systems, Linda",
location = "Las Vegas, Nevada, USA",
numpages = "10",
}
@InProceedings{Reynolds:2002:ALG,
author = "John H. Reynolds",
booktitle = "Proceedings of the 34th Conference on Winter
Simulation: Exploring New Frontiers",
title = "Advancing learning goals: {Linda} arouses a sleeping
barber",
publisher = "Winter Simulation Conference",
pages = "1804--1808",
year = "2002",
ISBN = "0-7803-7615-3",
ISBN-13 = "978-0-7803-7615-1",
bibdate = "Fri Jun 12 08:26:17 2026",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib",
series = "WSC '02",
abstract = "This paper presents an approach that gives students
insights into parallelism and exposure to
discrete-event simulation techniques without requiring
that they have formal courses in either. I apply the
rather curious Linda coordination model to the classic
Sleeping Barber Problem used frequently to illustrate
inter-process communication activities in operating
system courses. Normally, customers seeking haircuts
are represented as processes spawned as faceless
entities with no regard to inter-arrival times or
proper ordering of departures for those who get cuts.
This paper uses elementary discrete-event simulation
techniques to introduce this sought for realism while
preserving the original motivation of using the
Sleeping Barber to demonstrate process concurrency.",
acknowledgement = ack-nhfb,
location = "San Diego, California",
numpages = "5",
}
@Article{Burke:2003:ECI,
author = "Kyle Burke",
title = "Extending {CSP} to investigate {Linda} ambiguities",
journal = "J. Comput. Sci. Coll.",
volume = "18",
number = "5",
publisher = "Consortium for Computing Sciences in Colleges",
address = "Evansville, IN, USA",
pages = "284--285",
month = may,
year = "2003",
ISSN = "1937-4771",
bibdate = "Fri Jun 12 08:26:17 2026",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib",
acknowledgement = ack-nhfb,
issue-date = "May 2003",
numpages = "2",
}
@InProceedings{Menezes:2003:NAS,
author = "Ronaldo Menezes and Robert Tolksdorf",
booktitle = "Proceedings of the 2003 {ACM} Symposium on Applied
Computing",
title = "A new approach to scalable {Linda}-systems based on
swarms",
publisher = pub-ACM,
address = pub-ACM:adr,
pages = "375--379",
year = "2003",
DOI = "https://doi.org/10.1145/952532.952607",
ISBN = "1-58113-624-2",
ISBN-13 = "978-1-58113-624-1",
bibdate = "Fri Jun 12 08:26:17 2026",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib",
series = "SAC '03",
abstract = "Natural forming multi-agent systems (aka Swarms) have
the ability to grow to enormous sizes without requiring
any of the agents to oversee the entire system. The
success of these systems comes from the fact that
agents are simple and the interaction with the
environment and neighboring agents is local in nature.
In this paper we look at abstractions in the field of
swarms and study their applicability in the context of
coordination systems. In particular, we focus on the
problematic issue of scalability of Linda systems.",
acknowledgement = ack-nhfb,
location = "Melbourne, Florida",
numpages = "5",
}
@InProceedings{Wells:2004:NIL,
author = "George C. Wells",
booktitle = "Proceedings of the 3rd International Symposium on
Principles and Practice of Programming in Java",
title = "New and improved: {Linda} in {Java}",
publisher = "Trinity College Dublin",
pages = "67--74",
year = "2004",
ISBN = "1-59593-171-6",
ISBN-13 = "978-1-59593-171-9",
bibdate = "Fri Jun 12 08:26:17 2026",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib;
https://www.math.utah.edu/pub/tex/bib/java2000.bib",
series = "PPPJ '04",
abstract = "This paper discusses the current resurgence of
interest in the Linda coordination language for
parallel and distributed programming. Particularly in
the Java field, there have been a number of
developments over the past few years. These
developments are summarised together with the
advantages of using Linda for programming concurrent
systems. Some problems with the basic Linda approach
are also discussed and a novel solution to these is
presented.",
acknowledgement = ack-nhfb,
location = "Las Vegas, Nevada, USA",
numpages = "8",
}
@InProceedings{Doutre:2005:LGL,
author = "Sylvie Doutre and Peter McBurney and Michael
Wooldridge",
booktitle = "Proceedings of the Fourth International Joint
Conference on Autonomous Agents and Multiagent
Systems",
title = "Law-governed {Linda} as a semantics for agent dialogue
protocols",
publisher = pub-ACM,
address = pub-ACM:adr,
pages = "1257--1258",
year = "2005",
DOI = "https://doi.org/10.1145/1082473.1082721",
ISBN = "1-59593-093-0",
ISBN-13 = "978-1-59593-093-4",
bibdate = "Fri Jun 12 08:26:17 2026",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib",
series = "AAMAS '05",
abstract = "Tuple spaces and the associated Linda language are a
popular model for distributed computation, and
Law-Governed Linda (LGL) is a variant allowing
processes to have differential and secure access to
tuple spaces. We propose a form of LGL as a means of
implementing a multi-agent dialogue game protocol, such
that utterances under the dialogue protocol are
interpreted as actions on particular tuple spaces
subject to certain laws. In this way, the tuple spaces,
their associated law and the actions on them may be
viewed as a semantics for the dialogue protocol
syntax.",
acknowledgement = ack-nhfb,
keywords = "semantics, dialogue",
location = "The Netherlands",
numpages = "2",
}
@InBook{Dukielska:2010:JNL,
author = "Magdalena Dukielska and Jacek Sroka",
booktitle = "Proceedings of the Fifteenth Annual Conference on
Innovation and Technology in Computer Science
Education",
title = "{JavaSpaces} {NetBeans}: a {Linda} workbench for
distributed programming course",
publisher = pub-ACM,
address = pub-ACM:adr,
pages = "23--27",
year = "2010",
DOI = "https://doi.org/10.1145/1822090.1822099",
ISBN = "1-60558-820-2",
ISBN-13 = "978-1-60558-820-9",
bibdate = "Fri Jun 12 08:26:17 2026",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib;
https://www.math.utah.edu/pub/tex/bib/java2010.bib",
abstract = "In this paper we introduce the JavaSpaces NetBeans IDE
(JSN) which integrates the JavaSpaces technology, an
implementation of Linda principles in Java, with the
NetBeans IDE. JSN is a didactic tool for practical
assignments during distributed programming courses. It
hides advanced aspects of JavaSpaces configuration and
lets students focus on interprocess coordination. An
important component of JSN is a distributed debugger
which can help to make concurrent programming classes
easier to understand and more compelling.",
acknowledgement = ack-nhfb,
numpages = "5",
}
@InProceedings{Bohm:2012:LDW,
author = "Christoph B{\"o}hm and Gerard de Melo and Felix
Naumann and Gerhard Weikum",
booktitle = "Proceedings of the 21st {ACM} International Conference
on Information and Knowledge Management",
title = "{LINDA}: distributed web-of-data-scale entity
matching",
publisher = pub-ACM,
address = pub-ACM:adr,
pages = "2104--2108",
year = "2012",
DOI = "https://doi.org/10.1145/2396761.2398582",
ISBN = "1-4503-1156-3",
ISBN-13 = "978-1-4503-1156-4",
bibdate = "Fri Jun 12 08:26:17 2026",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib",
series = "CIKM '12",
abstract = "Linked Data has emerged as a powerful way of
interconnecting structured data on the Web. However,
the cross-linkage between Linked Data sources is not as
extensive as one would hope for. In this paper, we
formalize the task of automatically creating ``sameAs''
links across data sources in a globally consistent
manner. Our algorithm, presented in a multi-core as
well as a distributed version, achieves this link
generation by accounting for joint evidence of a match.
Experiments confirm that our system scales beyond 100
million entities and delivers highly accurate results
despite the vast heterogeneity and daunting scale.",
acknowledgement = ack-nhfb,
keywords = "mapreduce, linked data, entity matching, distributed
entity matching",
location = "Maui, Hawaii, USA",
numpages = "5",
}
@InProceedings{Burgueno:2013:CEM,
author = "Loli Burgue{\~n}o and Javier Troya and Manuel Wimmer
and Antonio Vallecillo",
booktitle = "Proceedings of the Workshop on Scalability in Model
Driven Engineering",
title = "On the concurrent execution of model transformations
with {Linda}",
publisher = pub-ACM,
address = pub-ACM:adr,
year = "2013",
DOI = "https://doi.org/10.1145/2487766.2487770",
ISBN = "1-4503-2165-8",
ISBN-13 = "978-1-4503-2165-5",
bibdate = "Fri Jun 12 08:26:17 2026",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib",
series = "BigMDE '13",
abstract = "Nowadays there exists a wide variety of model
transformation languages. However, all of them present
limitations, mainly performance issues, when the
complexity and size of model transformations and models
grow. The problems arise due to the in-memory
allocation of large models as well as the time taken by
the execution engines for producing the output models.
This restricts the benefits of using model
transformations in different application fields of
model engineering where the complexity of the
transformation tasks exceeds the capabilities of
sequential execution engines. In this paper we tackle
these limitations by introducing concurrency for model
transformations to effectively improve the execution
performance. Instead of reinventing the wheel, we base
our approach on Linda, a mature coordination language
for parallel processes. We explore how model
transformations fit into Linda and show a set of basic
mechanisms to enable concurrent model transformations.
Initial results of applying our approach show a great
potential of using Linda to improve the execution
performance with respect to existing approaches.",
acknowledgement = ack-nhfb,
articleno = "3",
keywords = "tuple spaces, model transformation, concurrency,
Linda",
location = "Budapest, Hungary",
numpages = "10",
}
@InProceedings{Fongen:2015:DCA,
author = "Anders Fongen",
booktitle = "Proceedings of the 30th Annual {ACM} Symposium on
Applied Computing",
title = "Data-centric authorization and integrity control in a
{Linda} tuplespace",
publisher = pub-ACM,
address = pub-ACM:adr,
pages = "1827--1833",
year = "2015",
DOI = "https://doi.org/10.1145/2695664.2695681",
ISBN = "1-4503-3196-3",
ISBN-13 = "978-1-4503-3196-8",
bibdate = "Fri Jun 12 08:26:17 2026",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib",
series = "SAC '15",
abstract = "In tuplespace applications where flows of data need to
be kept separate for confidentiality reasons, there
must be a rights management arrangement to control the
access to tuples. Also, where the authorization of the
tuple creator needs to be controlled for integrity
reasons, the same requirement applies. This paper
describes the SmallSpaces tuplespace implementation and
how the implementation meets these requirements.
Firthermore, the arrangement for the protection from
covert channels during transaction processing is
discussed.",
acknowledgement = ack-nhfb,
keywords = "tuplespace, identity management, authorization
control",
location = "Salamanca, Spain",
numpages = "7",
}
@Book{Dijkstra:1962:PAR,
author = "Edsger W. Dijkstra",
booktitle = "A primer of {ALGOL 60}: report on the algorithmic
language {ALGOL 60}",
title = "A primer of {ALGOL 60}: report on the algorithmic
language {ALGOL 60}",
volume = "2",
publisher = pub-ACADEMIC,
address = pub-ACADEMIC:adr,
pages = "xi + 114",
year = "1962",
DOI = "https://doi.org/10.1002/bimj.19660080123",
ISBN = "0-12-216250-1",
ISBN-13 = "978-0-12-216250-3",
ISSN = "0067-2483",
ISSN-L = "0067-2483",
LCCN = "QA76.73.A24",
bibdate = "Tue Mar 17 15:48:54 2015",
bibsource = "fsz3950.oclc.org:210/WorldCat;
https://www.math.utah.edu/pub/bibnet/authors/b/backus-john-w.bib;
https://www.math.utah.edu/pub/bibnet/authors/b/bauer-friedrich-ludwig.bib;
https://www.math.utah.edu/pub/bibnet/authors/d/dijkstra-edsger-w.bib;
https://www.math.utah.edu/pub/bibnet/authors/n/naur-peter.bib;
https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib;
https://www.math.utah.edu/pub/bibnet/authors/r/rutishauser-heinz.bib;
https://www.math.utah.edu/pub/tex/bib/algol68.bib",
series = "APIC studies in data processing",
URL = "https://dn710009.ca.archive.org/0/items/a_primer_of_algol_60_programming/algol60_o.pdf",
acknowledgement = ack-nhfb # " and " # ack-pm,
author-dates = "Edsger Wybe Dijkstra (11 May 1930--6 August 2002)",
remark = "Reprinted at least 7 times, up to the 1978 printing.
Also contains \booktitle{Report on the Algorithmic
Language ALGOL 60}.",
tableofcontents = "Foreword / v \\
Preface / vii \\
Author's Preface to the English Edition / ix \\
I. Introduction / 1 \\
2. Assignment Statements / 3 \\ / 5 \\
3. Identifiers and Numbers 4. Expressions / 8 \\
5. Sequence of Statements / 12 \\
6. Statement Brackets / 13 \\
7. Type Declarations / 15 \\
8. 'go to' Statements / 20 \\
9. Conditional Statements / 22 \\
10. for Statements / 26 \\
11. Special Functions / 32 \\
12. Comments / 36 \\
13. Arrays / 37 \\
14. Uniqueness of Identifiers / 41 \\
15. Procedures / 42 \\
16. Local Quantities / 45 \\
I 7. Formal Parameters / 48 \\
18. Function Procedures / 51 \\
19. The Value List / 55 \\
20. Bound Variables / 57 \\
21. Blocks / 60 \\
22. Dynamic Arrays / 63 \\
23. Conditional Expressions / 64 \\
24. Logical Variables / 65 \\
25. Switch Declarations / 68 \\
26. The MC-Translator / 70 \\
27. Special Input--Output Procedures / 73 \\
Appendix: Report on the Algorithmic Language ALGOL 60 /
J. W. Backus, F. L. Bauer, J. Green, C. Katz, J.
McCarthy, P. Naur (Editor), A. J. Perlis, H.
Rutishauser, K. Samelson, B. Vauquois, J. H. Wegstein,
A. Van Wijngaarden, M. Woodger / 74--114",
}
@Book{Biggerstaff:1989:SRVa,
author = "Ted J. Biggerstaff and Alan J. Perlis",
title = "Software reusability. Vol. 1, Concepts and Models",
publisher = pub-ACM,
address = pub-ACM:adr,
pages = "xxv + 425",
year = "1989",
ISBN = "0-201-08017-6",
ISBN-13 = "978-0-201-08017-9",
LCCN = "????",
bibdate = "Thu Jun 11 16:50:47 MDT 2026",
bibsource = "fsz3950.oclc.org:210/WorldCat;
https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib",
series = "ACM Press Frontier Series",
ZMnumber = "0771.68021",
acknowledgement = ack-nhfb,
tableofcontents = "Ted. J. Biggerstaff and Charles Richter /
Reusability framework, assessment, and directions /
1--18 \\
Ellis Horowitz and John B. Munson / An expansive view
of reusable software / 19--42 \\
Peter Wegner / Capitan--intensive software technology /
43--98 \\
Rub{\'e}n Prieto--D{\'\i}az / Classification of
reusable modules / 99--124 \\
John Rice and Herb Schwetman / Interface issues in a
software parts technology / 125--140 \\
D. L. Parnas, P. C. Clements and D. M. Weiss /
Enhancing reusability with information hiding /
141--158 \\
Joseph A. Goguen / Principles of parametrized
programming / 159--226 \\
Steven D. Litvintchouk and Allen S. Matsumoto / Design
of Ada systems yielding reusable components: An
approach using structured algebraic specification /
227--246 \\
Dennis M. Volpano and Richard B. Kieburtz / The
templates approach to software reuse / 247--256 \\
Shmuel Katz, Charles A. Richter and Khe--Sing The /
PARIS: A system for reusing partially interpreted
schemas / 257--274 \\
Ed Dubinsky, Stefan Freudenberger, Edith Schonberg and
J. T. Schwartz / Reusability of design for large
software systems: An experiment with the SETL Optimizer
/ 275--294 \\
James M. Neighbors / Draco: A method for engineering
reusable software systems / 295--320 \\
Thomas E. Cheatham, Jr. / Reusability through program
transformations / 321--336 \\
Martin S. Feather / Reuse in the context of a
transformation--based methodology / 337--360 \\
James M. Boyle / Abstract programming and program
transformation An approach to reusing programs /
361--414",
}
@Book{Biggerstaff:1989:SRVb,
author = "Ted J. Biggerstaff and Alan J. Perlis",
booktitle = "Software Reusability. {Volume 2}: Applications and
Experience",
title = "Software Reusability. {Volume 2}: Applications and
Experience",
publisher = pub-AW,
address = pub-AW:adr,
pages = "xiii + 388",
year = "1989",
ISBN = "0-201-50018-3",
ISBN-13 = "978-0-201-50018-9",
LCCN = "QA76.76.R47 B543 1989; QA76.76.R47 S64 1989",
bibdate = "Sun Dec 30 00:20:53 MST 2007",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib;
https://www.math.utah.edu/pub/bibnet/authors/r/rice-john-r.bib;
melvyl.cdlib.org:210/CDL90",
acknowledgement = ack-nhfb,
author-dates = "Alan Jay Perlis (1 April 1922--7 February 1990)",
subject = "Computer software; Reusability",
}
@Proceedings{Kalenich:1965:IPP,
editor = "Wayne A. Kalenich",
booktitle = "{Information processing 1965: proceedings of IFIP
congress 65; organized by the International Federation
for Information Processing, New York City, May 24--29,
1965}",
title = "{Information processing 1965: proceedings of IFIP
congress 65; organized by the International Federation
for Information Processing, New York City, May 24--29,
1965}",
publisher = "Spartan Books",
address = "Washington, DC, USA",
pages = "????",
year = "1965",
bibdate = "Wed Jun 03 07:35:38 2026",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/n/naur-peter.bib;
https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib;
https://www.math.utah.edu/pub/tex/bib/algol68.bib",
acknowledgement = ack-nhfb,
}
@Proceedings{Finerman:1968:UEC,
editor = "Aaron Finerman",
booktitle = "University Education in Computing Science: Proceedings
of a Conference on Graduate Academic and Related
Research Programs in Computing Science, Held at the
{State University of New York at Stony Brook, June
1967}",
title = "University Education in Computing Science: Proceedings
of a Conference on Graduate Academic and Related
Research Programs in Computing Science, Held at the
{State University of New York at Stony Brook, June
1967}",
publisher = pub-ACADEMIC,
address = pub-ACADEMIC:adr,
pages = "xvi + 237",
year = "1968",
ISBN = "1-4831-9816-2 (print), 1-4832-2319-1 (e-book)",
ISBN-13 = "978-1-4831-9816-3 (print), 978-1-4832-2319-3
(e-book)",
LCCN = "QA76 .C5865 1967",
bibdate = "Thu Jun 11 17:19:30 MDT 2026",
bibsource = "fsz3950.oclc.org:210/WorldCat;
https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib",
ZMnumber = "0164.00202",
acknowledgement = ack-nhfb,
remark = "Authors: Finerman, Aaron; Pierce, John R.; Oettinger,
Anthony G.; Beckman, Frank S.; Zadeh, Lotfi A.; Perlis,
Alan J.; Slamecka, Vladimir; Gotlieb, Calvin C.; Weiss,
Eric A.; Gill, Stanley; Ashenhurst, Robert L.; Hull,
Thomas E.; Atchison, William F.; King, Kenneth",
subject = "business and economics / General",
tableofcontents = "Front Cover \\
University Education in Computing Science \\
Copyright Page \\
Dedication \\
Foreword and Acknowledgments \\
Welcoming Address \\
Participants \\
Table of Contents \\
1: University Education in Computing Science / Aaron
Finerman / 1 \\
2: Keynote Address / John R. Pierce / 5 \\
Discussion \\
3: Computers and Education / Anthony G. Oettinger / 27
\\
Discussion \\
4: Graduate Computer Science Programs at American
Universities / Frank S. Beckman / 39 \\
Introduction \\
Different Orientations \\
Subject Matter \\
Intellectual Respectability \\
Staffing Problems \\
Suitable Doctoral Thesis Projects \\
Organization \\
Discussion \\
5: The Dilemma of Computer Sciences / Lotfie A. Zadeh /
61\\
Discussion \\
6: Computer Science Is Neither Mathematics nor
Electrical Engineering / Alan J. Perlis / 69 \\
Appendix: What is Computer Science? \\
7: The Science and Engineering of Information /
Vladimir Slamecka / 81 \\
Structures of Ideas and Disciplines \\
A Structure of Information Science and Engineering \\
Structure of an Educational Program in Information
Science and Engineering \\
8: How Many Computers per University? / Calvin C.
Gotlieb / 93 \\
Centralization versus Decentralization \\
Limited Decentralization \\
The Case for Separate Facilities \\
Cooperation and Compatibility \\
Discussion \\
9: Industry's View of Computing Science / Eric A. Weiss
/ 105 \\
Discussion \\
10: Planning a Profession / Stanley Gill117 \\
11: The Master's Program in Computing Science / Robert
L. Ashenhurst / 123 \\
Introduction \\
The Needs of Industry, Government and Universities \\
Areas of Specialization on Master's Level \\
Curricula and Prerequisites \\
Capabilities \\
Preparation \\
Conclusions \\
Appendix A: Industry's Expectations of the
Qualification of MS Graduates in Computer Science \\
Appendix B: The Relation of the Master's Program to the
Requirements of Universities and Government Research
Laboratories \\
Appendix C: Theoretical Orientation for a Master's
Program \\
Appendix D: Guidelines for Designing a Master's Program
with Emphasis in Systems \\
Discussion \\
Undergraduate Program Discussion \\
12: The Doctoral Program in Computing Science / Thomas
E. Hull / 115 \\
Appendix A: Examples of Doctoral Theses Topics \\
Appendix B: Representative Computing Subjects in a NASA
Environment \\
Discussion \\
13: The Position of Computing Science in the University
Structure / William F. Atchison / 169 \\
Introduction \\
Existing Solutions to the Problem \\
The Needs for Computer Science Instruction and Research
\\
Computer Science as an Academic Discipline \\
The Computer Science Faculty \\
Academic, Administrative and Political Problems \\
Summary and Conclusions \\
14: The Computing Center and the Academic Program /
Kenneth King / 177 \\
Introduction \\
The Operating Policy of a Computing Center \\
University Support of a Computing Center \\
Computing Center Service Functions \\
The Relationship between Computing Centers and
Computing Science Departments \\
Joint Appointments between the Computing Center and
Academic Departments \\
Computer Center Directors \\
The Centralization of University Computing Facilities
in the Computing Center \\
Administrative Computing in a Computing Center \\
University education in computing science --- Summary /
Aaron Finerman / 193 \\
Computers in higher education / / 215 \\
References / / 231 \\
Index / / 233",
}
@Proceedings{Wexelblat:1981:HPL,
editor = "Richard L. Wexelblat",
booktitle = "History of programming languages. Proceedings of the
{ACM SIGPLAN} conference ({Los Angeles, Calif.}, {June}
1--3, 1978)",
title = "History of programming languages. Proceedings of the
{ACM SIGPLAN} conference ({Los Angeles, Calif.}, {June}
1--3, 1978)",
publisher = pub-ACADEMIC,
address = pub-ACADEMIC:adr,
pages = "xxiii + 758",
month = jun,
year = "1981",
DOI = "https://doi.org/10.1145/800025",
ISBN = "0-12-745040-8",
ISBN-13 = "978-0-12-745040-7",
LCCN = "QA76.7 .H56 1978",
bibdate = "Mon Aug 22 14:21:11 1994",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/n/naur-peter.bib;
https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib;
https://www.math.utah.edu/pub/tex/bib/algol68.bib;
https://www.math.utah.edu/pub/tex/bib/sigplan1980.bib",
URL = "https://dl.acm.org/doi/book/10.1145/800025",
acknowledgement = ack-nhfb,
author-dates = "Friedrich (``Fritz'') Ludwig Bauer (10 June 1924--26
March 2015); Klaus Samelson (21 December 1918--25 May
1980)",
keywords = "languages",
review = "ACM CR 39078, ACM CR 39079",
shorttableofcontents = "The opening session / conference chairman:
Jean E. Sammet \\
FORTRAN session / chairman: Jan Lee \\
ALGOL session / chairman: Thomas Cheatham \\
LISP session / chairman: Barbara Liskov \\
COBOL session / chairman: Michael Marcotty \\
APT session / chairman: John Goodenough \\
JOVIAL session / chairman: John Goodenough \\
GPSS session / chairman: Barbara Liskov \\
SIMULA session / chairman: Barbara Liskov \\
JOSS session / chairman: Thomas Cheatham \\
BASIC session / chairman: Thomas Cheatham \\
PL/1 session / chairman: Robert Rosin \\
SNOBOL session / chairman: Jan Lee \\
APL session / chairman: Jan Lee",
subject = "D.3 Software, PROGRAMMING LANGUAGES, General K.2
Computing Milieux, HISTORY OF COMPUTING, People K.2
Computing Milieux, HISTORY OF COMPUTING, Software",
tableofcontents = "Editor's Introduction/ Richard L. Wexelblat / xiii
\\
\\
Organization of the Conference/Jean E. Sammet \\
\\
On Doing Contemporary History / Henry Tropp \\
\\
I The Opening Session / Conference Chairman: Jean E.
Sammet / Speaker: Grace Murray Hopper \\
Conference Chairman's Opening Remarks / Jean E. Sammet
/ 1 \\
Introduction of Captain Grace Murray Hopper / Jean E.
Sammet / 5 \\
Keynote Address / Grace Murray Hopper / 7 \\
Transcript of Question and Answer Session / 20 \\
Full Text of All Questions Submitted / 23 \\
\\
FORTRAN Session / Chairman: Jan Lee / Speaker: John
Backus / Discussant: George Ryckman \\
Paper: The History of FORTRAN I, II, and III / John
Backus / 25 \\
1. Early Background and Environment / 25 \\
2. The Early Stages of the FORTRAN Project / 29 \\
3. The Construction of the Compiler / 33 \\
4. FORTRAN II / 41 \\
5. FORTRAN III / 42 \\
6. FORTRAN after 1958; Comments / 42 \\
References / 44 \\
Transcript of Presentation / John Backus / 45 \\
Transcript of Discussant's Remarks / George Ryckman /
66 \\
Transcript of Question and Answer Session / 68 \\
Full Text of All Questions Submitted / 71 \\
Biography of John Backus / 74 \\
\\
ALGOL Session / Chairman: Thomas Cheatham / Speakers:
Alan J. Perlis and Peter Naur \\
Paper: The American Side of the Development of ALGOL /
Alan J. Perlis / 75 \\
1. Before ALGOL 58 / 75 \\
2. The Zurich Meeting / 78 \\
3. ALGOL 58 / 80 \\
4. From Zurich to Paris / 82 \\
5. Paris and the ALGOL 60 Report / 88 \\
6. Post Paris / 89 \\
References / 91 \\
Paper: The European Side of the Last Phase of the
Development of ALGOL 60 / Peter Naur / 92 \\
Introduction / 92 \\
1. Background / 93 \\
2. Rationale of Content of Language / 101 \\
3. A Posteriori Evaluation / 113 \\
4. Implications for Current and Future Languages / 118
\\
Appendix 1. Centers and Individuals / 119 \\
Appendix 2. Backus' Syntax Notation and Its
Modification / 121 \\
Appendix 3. Quotations from the Zurich Report Relevant
to the Development of Blocks and Procedures / 122 \\
Appendix 4. Notes by J. H. Wegstein / 126 \\
Appendix 5. Notes by F. L. Bauer / 127 \\
Appendix 6. Notes by M. Woodger / 130 \\
Appendix 7. Comments by K. Samelson, 1978 December 1 /
131 \\
Appendix 8. Remarks to Samelson's Comments in Appendix
7 by P. Naur / 134 \\
References / 137 \\
Transcripts of Presentations / Alan J. Perlis / 139 \\
Transcripts of Presentations / Peter Naur / 147 \\
Transcript of Question and Answer Session / 161 \\
Full Text of All Questions Submitted / 167 \\
Biography of Alan J. Perlis / 171 \\
Biography of Peter Naur / 172 \\
\\
IV LISP Session / Chairman: Barbara Liskov / Speaker:
John WcCarthy / Discussant: Paul Abrahams \\
Paper: History of Lisp / John McCarthy / 173 \\
1. Introduction / 173 \\
2. LISP Prehistory Summer 1956 through Summer 1958 /
174 \\
3. The Implementation of LISP / 177 \\
4. From LISP I to LISP 1.5 / 179 \\
5. Beyond LISP 1.5 / 181 \\
6. Conclusions / 182 \\
Appendix. Humorous Anecdote / 183 \\
References / 183 \\
Transcript of Presentation / John McCarthy / 185 \\
Transcript of Discussant's Remarks / Paul Abrahams /
191 \\
Transcript of Question and Answer Session / 195 \\
Full Text of All Questions Submitted / 196 \\
Biography of John McCarthy / 197 \\
\\
V COBOL Session / Chairman: Michael Marcotty / Speaker:
Jean E. Sammet / Discussant: Betty Holberton \\
Paper: The Early History of COBOL / Jean E. Sammet \\
1. Introduction / 199 \\
2. Background / 200 \\
3. Rationale for Content of Language / 221 \\
4. A Posteriori Evaluation / 236 \\
5. Implications for Current and Future Languages / 239
\\
Appendix. List of Attendees at Pentagon Meeting, May
28--29, 1959 / 240 \\
References / 241 \\
Transcript of Presentation / Jean E. Sammet / 243 \\
Transcript of Discussant's Remarks / Betty Holberton /
260 \\
Transcript of Question and Answer Session / 263 \\
Full Text of All Questions Submitted / 270 \\
Biography of Jean E. Sammet / 277 \\
\\
VI APT Session / Chairman: John Goodenough / Speaker:
Douglas T. Ross \\
Paper: Origins of the APT Language for Automatically
Programmed Tools / Douglas T. Ross / 279 \\
1. Introduction / 279 \\
2. Background / 285 \\
3. Period 1. Initial APT Formulation (September 1956
through January 1957) / 288 \\
4. Period 2: Special N/C Course for the AIA (December
1956 through April 1957) / 296 \\
5. Period 3: The APT Joint Effort (January 1957 through
May 1957) / 300 \\
6. Period 4: The Origins of APT Language (May 24, 1957
to June 14, 1957) / 304 \\
7. Period 5: Evolution of the System (May 1957 through
May 1958) / 311 \\
8. Period 6: The Field Trial APT Language (November
1957 through April 1958) / 319 \\
9. Period 7: The Postcoordinator Report (July 1958) /
323 \\
10. Period 8: The First Real APT Language (August 1958
through November 1958) / 324 \\
11. Period 9: The Press Conference (November 1958
through February 1959) / 332 \\
12. Period 10: The MIT ARELEM Epilogue (July 1959
through July 1962) / 333 \\
References / 335 \\
Transcript of Presentation / Douglas T. Ross / 338 \\
Transcript of Question and Answer Session / 365 \\
Full Text of All Questions Submitted / 366 \\
Biography of Douglas T. Ross / 367 \\
\\
VII JOVIAL Session / Chairman: John Goodenough /
Speaker: Jules I. Schwartz \\
Paper: The Development of JOVIAL / Jules I. Schwartz /
369 \\
1. Background / 369 \\
2. Rationale of the Content of the Language / 375 \\
3. A Posteriori Evaluation / 382 \\
4. Implications for Current and Future Language / 386
\\
References / 387 \\
Transcript of Presentation / Jules I. Schwartz / 388
\\
Transcript of Question and Answer Session / 397 \\
Full Text of All Questions Submitted / 399 \\
Biography of Jules I. Schwartz / 401 \\
\\
VIII GPSS Session / Chairman: Barbara Liskov / Speaker:
Geoffrey Gordon \\
Paper: The Development of the General Purpose
Simulation System (GPSS) / Geoffrey Gordon / 403 \\
1. Background / 403 \\
2. Rationale and Content of the Language / 412 \\
3. Program Organization / 416 \\
4. A Posteriori Evaluation / 421 \\
References / 424 \\
Transcript of Presentation / Geoffrey Gordon / 426 \\
Transcript of Question and Answer Session / 435 \\
Full Text of All Questions Submitted / 436 \\
Biography of Geoffrey Gordon / 437 \\
\\
IX SIMULA Session / Chairman: Barbara Liskov / Speaker:
Kristen Nygaard / Discussant: Ole-Johan Dahl \\
Paper: The Development of the Simula Languages /
Kristen Nygaard and Ole-Johan Dahl / 439 \\
Preface / 439 \\
1. Background / 440 \\
2. Simula I / 441 \\
3. Simula 67 / 459 \\
4. Concluding Remarks / 476 \\
References / 478 \\
Transcript of Presentation / Kristen Nygaard / 480 \\
Transcript of Discussant's Remarks / Ole-Johan Dahl /
488 \\
Transcript of Question and Answer Session / 490 \\
Full Text of All Questions Submitted / 491 \\
Biography of Kristen Nygaard / 492 \\
Biography of Ole-Johan Dahl / 493 \\
\\
JOSS Session / Chairman: Thomas Cheatham / Speaker:
Charles L. Baker \\
Paper: JOSS JOHNNIAC Open-Shop System / Charles L.
Baker / 495 \\
1. The JOHNNIAC the Beginning of Joss / 495 \\
2. The JOSS Language / 499 \\
3. Philosophy of JOSS / 502 \\
4. Chronology JOSS Derivatives / 506 \\
References / 507 \\
Full Text of All Questions Submitted / 508 \\
Biography of Charles L. Baker / 512 \\
\\
XI BASIC Session / Chairman: Thomas Cheatham / Speaker:
Thomas E. Kurtz \\
Paper: Basic / Thomas E. Kurtz / 515 \\
1. Background / 515 \\
2. Rationale for Basic / 518 \\
3. Descriptions of Basic / 523 \\
4. Dartmouth and General Electric / 532 \\
5. Evaluation / 534 \\
6. Implications / 535 \\
References / 536 \\
Transcript of Presentation / Thomas E. Kurtz / 537 \\
Transcript of Question and Answer Session / 546 \\
Full Text of All Questions Submitted / 548 \\
Biography of Thomas E. Kurtz / 549 \\
\\
XII PL/I Session / Chairman: Robert Rosin / Speaker:
George Radin / Discussant: Bruce Rosenblatt \\
Paper: The Early History and Characteristics of PL/I /
George Radin / 551 \\
1. Introduction / 551 \\
2. Background / 552 \\
3. Design Criteria / 561 \\
4. Rationale and Evaluation of Contents of NPL-PL/I /
562 \\
5. Implications for Current and Future Languages / 572
\\
Appendix A / 573 \\
References / 574 \\
Transcript of Presentation / George Radin / 575 \\
Transcript of Discussant's Remarks / Bruce Rosenblatt /
589 \\
Transcript of Question and Answer Session / 592 \\
Full Text of All Questions Submitted / 596 \\
Biography of George Radin / 599 \\
\\
XIII SNOBOL Session / Chairman: Jan Lee / Speaker:
Ralph E. Griswold \\
Paper: A History of the SNOBOL Programming Languages /
Ralph E. Griswold / 601 \\
1. Background / 601 \\
2. Rationale for the Content of the Language / 614 \\
3. A Posteriori Evaluation / 624 \\
4. Implications for Current and Future Languages / 634
\\
References / 637 \\
Transcript of Presentation / Ralph E. Griswold / 645
\\
Transcript of Question and Answer Session / 657 \\
Full Text of All Questions Submitted / 659 \\
Biography of Ralph E. Griswold / 660 \\
\\
XIV APL Session / Chairman: Jan Lee / Speaker: Kenneth
E. Iverson / Discussant: Frederick Brooks \\
Paper: The Evolution of APL / Adin D. Falkoff and
Kenneth E. Iverson / 661 \\
1. Academic Use / 662 \\
2. Machine Description / 663 \\
3. Implementation / 664 \\
4. Systems / 669 \\
5. A Detailed Example / 670 \\
6. Conclusions / 670 \\
Appendix. Acknowledgments / 673 \\
References / 673 \\
Transcript of Presentation / Kenneth E. Iverson / 674
\\
Transcript of Discussant's Remarks / Frederick Brooks /
683 \\
Transcript of Question and Answer Session / 685 \\
Full Text of All Questions Submitted / 686 \\
Biography of Adin D. Falkoff / 690 \\
Biography of Kenneth E. Iverson / 691 \\
\\
Appendixes \\
\\
Appendix A. Language Summaries / 693 \\
APL / 693 \\
APT / 695 \\
ALGOL 60 / 696 \\
BASIC / 698 \\
COBOL 60 / 699 \\
FORTRAN / 701 \\
GPSS / 703 \\
JOSS / 705 \\
JOVIAL / 708 \\
A Micro-Manual for LISP / 710 \\
PL/I / 712 \\
SIMULA / 715 \\
SNOBOL / 718 \\
\\
Appendix B. Conference Organization / 721 \\
Major Elements / 721 \\
General Questions Asked of All Authors / 722 \\
\\
Appendix C. List of Attendees / 729 \\
Appendix D. Conference Publicity: Original
Announcement, Preliminary Program, and Final Program /
736 \\
Appendix E. Photographs From Conference / 741 \\
Appendix F. Conference Audio and Video Recordings / 745
\\
\\
Afterword / 747 \\
\\
Index / 749",
}
@Book{Abelson:1985:SIC,
author = "Harold Abelson and Gerald J. Sussman with Julie
Sussman",
booktitle = "Structure and Interpretation of Computer Programs",
title = "Structure and Interpretation of Computer Programs",
publisher = pub-MIT # " and " # pub-MCGRAW-HILL,
address = pub-MIT:adr,
pages = "xx + 542",
year = "1985",
ISBN = "0-262-01077-1 (MIT Press), 0-07-000422-6
(McGraw-Hill)",
ISBN-13 = "978-0-262-01077-1 (MIT Press), 978-0-07-000422-1
(McGraw-Hill)",
LCCN = "QA76.6 .A255 1984",
bibdate = "Sun Jul 10 01:18:51 1994",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib;
https://www.math.utah.edu/pub/tex/bib/texbook2.bib",
note = "This book was prepared with {\TeX80}. Foreword by Alan
J. Perlis.",
acknowledgement = ack-bkph,
shorttableofcontents = "Foreword (by Alan J. Perlis) / xi \\
Preface / xv \\
Acknowledgments / xix \\
1: Building abstractions with procedures \\
2: Building abstractions with data \\
3: Modularity, objects, and state \\
4: Metalinguistic abstraction \\
5: Computing with register machines",
tableofcontents = "Contents / vii \\
Foreword (by Alan J. Perlis) / xi \\
Preface to the Second Edition / xv \\
Preface to the First Edition / xvii \\
Acknowledgments / xxi \\
\\
1: Building Abstractions with Procedures \\
The Elements of Programming / 4 \\
Procedures and the Processes They Generate / 31 \\
Formulating Abstractions with Higher-Order Procedures /
56 \\
\\
2: Building Abstractions with Data / 79 \\
Introduction to Data Abstraction / 83 \\
Hierarchical Data and the Closure Property / 97 \\
Symbolic Data / 142 \\
Multiple Representations for Abstract Data / 169 \\
Systems with Generic Operations / 187 \\
\\
3: Modularity, Objects and State \\
Assignment and Local State / 218 \\
The Environmental Model of Evaluation / 236 \\
Modeling with Mutable Data / 251 \\
Concurrency: Time Is of the Essence / 297 \\
Streams / 316 \\
\\
4: Metalinguistic Abstraction \\
The Metaciricular Evaluator / 362 \\
Variations on a Scheme --- Lazy Evaluation / 398 \\
Variations on a Scheme --- Nondeterministic Computing /
412 \\
Logic Programming / 438 \\
\\
5: Computing with Register Machines / 491 \\
Designing Register Machines / 492 \\
A Register-Machine Simulator / 513 \\
Storage Allocation and Garbage Collection / 533 \\
The Explicit Control Evaluator / 547 \\
Compilation / 566 \\
References / 611 \\
List of Exercises / 619 \\
Index / 621",
}
@Book{Ashenhurst:1987:ATA,
editor = "Robert L. Ashenhurst",
booktitle = "{ACM Turing Award Lectures}: the first twenty years,
1966--1985",
title = "{ACM Turing Award Lectures}: the first twenty years,
1966--1985",
publisher = pub-ACM # " and " # pub-AW,
address = pub-ACM:adr # " and " # pub-AW:adr,
pages = "xviii + 483",
year = "1987",
ISBN = "0-201-07794-9",
ISBN-13 = "978-0-201-07794-0",
LCCN = "QA76.24 .A33 1987",
bibdate = "Tue Jun 21 11:01:04 2011",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/n/naur-peter.bib;
https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib;
https://www.math.utah.edu/pub/bibnet/authors/w/wilkes-maurice-v.bib;
https://www.math.utah.edu/pub/tex/bib/acm-turing-awards.bib;
z3950.loc.gov:7090/Voyager",
series = "ACM Press anthology series",
acknowledgement = ack-nhfb,
author-dates = "Charles Antony Richard Hoare (11 January 1934--5 March
2026)",
subject = "Electronic data processing; Computers",
tableofcontents = "The synthesis of algorithmic systems / Alan J.
Perlis \\
Computers then and now / Maurice V. Wilkes \\
One man's view of computer science / R. W. Hamming \\
Form and content in computer science / Marvin Minsky
\\
Some comments from a numerical analyst / J. H.
Wilkinson \\
Generality in artificial intelligence / John McCarthy
\\
The humble programmer / Edsger W. Dijkstra \\
The programmer as navigator / Charles W. Bachman \\
Computer programming as an art / Donald E. Knuth \\
Computer science as empirical inquiry: symbols and
search / Allen Newell and Herbert A. Simon \\
Complexity of computations / Michael O. Rabin \\
Logic and programming languages / Dana S. Scott \\
Can programming be liberated from the von Neumann
style?: a functional style and its algebra of programs
/ John Backus \\
The paradigms of programming / Robert W. Floyd \\
Notation as a tool of thought / Kenneth E. Iverson \\
The emperor's old clothes / Charles Antony Richard
Hoare \\
Relational database: a practical foundation for
productivity / E. F. Codd \\
An overview of computational complexity / Stephen A.
Cook \\
Reflections on software research / Dennis M. Ritchie
\\
Reflections on trusting trust / Ken Thompson \\
From programming language design to computer
construction / Niklaus Wirth \\
Combinatorics, complexity, and randomness / Richard M.
Karp \\
Algorithm design / Robert E. Tarjan \\
Computer science: the emergence of a discipline / John
E. Hopcroft \\
The search for performance in scientific processors /
John Cocke \\
Micropipelines / Ivan E. Sutherland \\
On building systems that will fail / Fernando J.
Corbat{\'o} \\
Elements of interaction / Robin Milner \\
Turing Award Lecture: it's time to reconsider time /
Richard Edwin Stearns \\
Turing Award Lecture: on computational complexity and
the nature of computer science / Juris Hartmanis \\
How the `what' becomes the `how' / Edward A. Feigenbaum
\\
To dream the possible dream / Raj Reddy \\
The Early Days of RSA: History and Lessons / Ronald L.
Rivest \\
Pre-RSA Days: History and Lessons / Leonard Adleman \\
Cryptography: State of the science / Adi Shamir \\
Turing Award Lecture / Alan Kay \\
Assessing the Internet: Lessons Learned, Strategies for
Evolution, and Future Possibilities / Vinton Cerf,
Robert E. Kahn \\
Computing vs. Human Thinking / Peter Naur \\
Compiling for Performance: A Personal Tour / Frances
Allen \\
Model checking: my 27-year quest to overcome the state
explosion problem / Edmund M. Clarke \\
Model checking: A Personal Perspective / E. Allen
Emerson \\
The Quest for Correctness Beyond Verification / Joseph
Sifakis \\
The Power of Abstraction / Barbara Liskov \\
Improving the Future by Examining the Past / Charles P.
Thacker",
}
@Book{Abelson:1996:SIC,
author = "Harold Abelson and Gerald Jay Sussman and Julie
Sussman",
booktitle = "Structure and Interpretation of Computer Programs",
title = "Structure and Interpretation of Computer Programs",
publisher = pub-MIT,
address = pub-MIT:adr,
edition = "Second",
pages = "xxiii + 657",
year = "1996",
ISBN = "0-262-01153-0 (MIT Press hardcover), 0-07-000484-6
(McGraw-Hill hardcover), 0-262-51087-1 (paperback)",
ISBN-13 = "978-0-262-01153-2 (MIT Press hardcover),
978-0-07-000484-9 (McGraw-Hill hardcover),
978-0-262-51087-5 (paperback)",
LCCN = "QA76.6 .A255 1996",
MRclass = "*68N01, 68-01, 68T99",
bibdate = "Wed Jul 12 16:49:12 MDT 2017",
bibsource = "fsz3950.oclc.org:210/WorldCat;
https://www.math.utah.edu/pub/bibnet/authors/p/perlis-alan-j.bib;
https://www.math.utah.edu/pub/tex/bib/jfunctprogram.bib;
library.mit.edu:9909/mit01",
note = "Foreword by Alan J. Perlis.",
series = "MIT electrical engineering and computer science",
URL = "http://catdir.loc.gov/catdir/description/mh022/96017756.html;
http://catdir.loc.gov/catdir/toc/mh022/96017756.html",
abstract = "\booktitle{Structure and Interpretation of Computer
Programs} has had a dramatic impact on computer science
curricula over the past decade. This long-awaited
revision contains changes throughout the text.\par
There are new implementations of most of the major
programming systems in the book, including the
interpreters and compilers, and the authors have
incorporated many small changes that reflect their
experience teaching the course at MIT since the first
edition was published.\par A new theme has been
introduced that emphasizes the central role played by
different approaches to dealing with time in
computational models: objects with state, concurrent
programming, functional programming and lazy
evaluation, and nondeterministic programming. There are
new example sections on higher-order procedures in
graphics and on applications of stream processing in
numerical programming, and many new exercises.\par In
addition, all the programs have been reworked to run in
any Scheme implementation that adheres to the IEEE
standard.",
acknowledgement = ack-nhfb,
subject = "Computer programming; LISP (Computer program
language)",
tableofcontents = "Contents / vii \\
Foreword / xi \\
Preface to the Second Edition / xv \\
Preface to the First Edition / xvii \\
Acknowledgments / xxi \\
Building Abstractions with Procedures \\
The Elements of Programming / 4 \\
Procedures and the Processes They Generate / 31 \\
Formulating Abstractions with Higher-Order Procedures /
56 \\
Building Abstractions with Data / 79 \\
Introduction to Data Abstraction / 83 \\
Hierarchical Data and the Closure Property / 97 \\
Symbolic Data / 142 \\
Multiple Representations for Abstract Data / 169 \\
Systems with Generic Operations / 187 \\
Modularity, Objects and State Assignment and Local
State / 218 \\
The Environmental Model of Evaluation / 236 \\
Modeling with Mutable Data / 251 \\
Concurrency: Time Is of the Essence / 297 \\
Streams / 316 \\
Metalinguistic Abstraction The Metaciricular Evaluator
/ 362 \\
Variations on a Scheme --- Lazy Evaluation / 398 \\
Variations on a Scheme --- Nondeterministic Computing /
412 \\
Logic Programming / 438 \\
Computing with Register Machines / 491 \\
Designing Register Machines / 492 \\
A Register-Machine Simulator / 513 \\
Storage Allocation and Garbage Collection / 533 \\
The Explicit Control Evaluator / 547 \\
Compilation / 566 \\
References / 611 \\
List of Exercises / 619 \\
Index / 621",
}