| This page will contain bibtex entries for all the papers we are
covering in this course. bibtex abbreviationsApr 12: Analysis and Proof
@TechReport{FlanaganFelleisen95,
author = {Cormac Flanagan and Matthias Felleisen},
title = {Set-based analysis for full scheme and its use in
soft-typing},
institution = {Department of Computer Science, Rice University},
year = {1995},
number = {COMP TR95-253},
}
@InProceedings{WandWilliamson02,
author = {Mitchell Wand and Galen B. Williamson},
title = {A Modular, Extensible Proof Method for Small-step Flow Analyses},
editor = {Daniel Le M{\'e}tayer},
booktitle = {Programming Languages and Systems, 11th European Symposium on
Programming, ESOP 2002, Proceedings},
publisher = springer,
series = {Lecture Notes in Computer Science},
volume = {2305},
year = {2002},
pages = {213-227},
}
Apr 12: Boxes and Lines
Missing in action: Greg
Apr 12: Metaframeworks
@inproceedings{ Pfenning96,
author = "Frank Pfenning",
title = "The Practice of Logical Frameworks",
booktitle = "Proceedings of the Colloquium on Trees in Algebra and
Programming",
publisher = "Springer-Verlag LNCS 1059",
address = "Link{\"o}ping, Sweden",
editor = "H{\'e}l{\`e}ne Kirchner",
pages = "119--134",
year = "1996",
url = "citeseer.ist.psu.edu/pfenning96practice.html"
}
@InBook{Pfenning01,
author = {Frank Pfenning},
editor = {Alan Robinson and Andrei Voronkov},
title = {Handbook of Automated Reasoning},
chapter = {17},
publisher = {Elsevier Science and MIT Press},
year = {2001},
pages = {1063--1147},
}
@incollection{Harper87,
author = "Robert Harper and Furio Honsell and Gordon Plotkin",
title = "A Framework for Defining Logics",
booktitle = "Proceedings 2nd Annual {IEEE} Symp.\ on Logic in Computer
Science, {LICS}'87, Ithaca, {NY}, {USA}, 22--25 June 1987",
publisher = "IEEE Computer Society Press",
address = "New York",
pages = "194--204",
year = "1987",
url = "citeseer.ist.psu.edu/harper87framework.html"
}
Apr 5: Theorem Provers, Second Generation
@Article{Robinson65,
author = {J. A. Robinson},
title = {A machine-oriented logic based on the resolution
principle},
journal = {J ACM},
year = {1965},
volume = {12},
pages = {23--41}
}
@Article{Bledsoe77,
author = {W. W. Bledsoe},
title = {Non-resolution Theorem Proving},
journal = {Artifical Intelligence},
year = {1977},
volume = {9},
pages = {1--35}
}
@InProceedings{Plotkin72,
author = {Gordon D. Plotkin},
title = {Building-in Equational Theories},
booktitle = {Machine Intelligence},
pages = {73--90},
year = {1972},
editor = {D. Michie and B. Meltzer},
volume = {7},
publisher = {Edinburgh University Press}
}
@Article{Burstall69,
author = {R.M. Burstall},
title = {Proving properties of programs by structural induction},
journal = {Computer Journal},
year = {1969},
volume = {12},
pages = {41--48}
}
@Article{BoyerMoore75,
author = {Robert S. Boyer and J Strother Moore},
title = {Proving Theorems About LISP Functions},
journal = {J ACM},
year = {1975},
volume = {22},
number = {1},
pages = {129--144}
}
Apr 5: Environmental Acquisition
@inproceedings{gil-96-environmental,
author = "Joseph Gil and David H. Lorenz",
title = "Environmental acquisition: a new inheritance-like
abstraction mechanism",
booktitle = "Proceedings of the Eleventh Annual Conference on
Object-Oriented Programming Systems, Languages, and Applications",
year = 1996,
isbn = "0-89791-788-X",
pages = "214--231",
location = "San Jose, California, United States",
doi = "\url{http://doi.acm.org/10.1145/236337.236358}",
publisher = "ACM Press",
}
@inproceedings{logan-02-environmental,
author = "Mark Logan and Matthias Felleisen and David Blank-Edelman",
title = "Environmental Acquisition in Network Management",
booktitle = "Proceedings of {LISA} 2002: Sixteenth Systems
Administration Conference",
year = 2002,
pages = "175--184",
publisher = "USENIX Association",
location = "Philadelphia, PA, USA",
url = "\url{http://www.usenix.org/publications/library/
proceedings/lisa02/tech/logan.html}",
}
@book{latteier-01-zope,
author = "Amos Latteier and Michel Pelletier and Chris McDonough and
Peter Sabaini",
title = "The {Zope} Book",
publisher = "SAMS",
year = 2001,
isbn = 0735711372,
note = "Also available on-line at
\url{http://zope.org/Documentation/Books/ZopeBook}",
}
@misc{mcdonough-04-zope,
author = "Chris McDonough and Michel Pelletier and Shane Hathaway",
title = "The {Zope} Developer's Guide (2.4 Edition)",
year = 2004,
howpublished = "\url{http://www.zope.org/Documentation/Books/ZDG/}",
}
Apr 5: Stepping
Missing in action: Ryan
Mar 29: Polytypic Programming
@incollection{ jeuring96polytypic,
author = "Johan Jeuring and Patrik Jansson",
title = "Polytypic Programming",
booktitle = "Tutorial Text 2nd Int.\ School on Advanced Functional Programming, Olympia, {WA}, {USA}, 26--30 Aug 1996",
volume = "1129",
publisher = "Springer-Verlag",
address = "Berlin",
editor = "J. Launchbury and E. Meijer and T. Sheard",
pages = "68--114",
year = "1996",
url = "citeseer.ist.psu.edu/jeuring96polytypic.html" }
@inproceedings{janssonjeuring1997a,
author ="P. Jansson and J. Jeuring",
title ="Poly{P} - a polytypic programming language extension",
booktitle ="{POPL} '97: The 24th {ACM SIGPLAN-SIGACT} {S}ymposium on {P}rinciples of {P}rogramming {L}anguages",
publisher ="ACM Press",
pages ="470--482",
year ="1997",
documentURL ="http://www.cs.chalmers.se/~patrikj/poly/polypPOPL97/"
}
@incollection{ meijer95bananas,
author = "Erik Meijer and Graham Hutton",
title = "Bananas in Space: Extending Fold and Unfold to Exponential Types",
booktitle = "Conf.\ Record 7th {ACM} {SIGPLAN}/{SIGARCH} and {IFIP} {WG} 2.8 Int.\ Conf.\ on Functional Programming Languages and Computer Architecture, {FPCA}'95, La Jolla, San Diego, {CA}, {USA}, 25--28 June 1995",
publisher = "ACM Press",
address = "New York",
pages = "324--333",
year = "1995",
url = "citeseer.ist.psu.edu/293490.html" }
@inproceedings{ jeuring95polytypic,
author = "Johan Jeuring",
title = "Polytypic Pattern Matching",
booktitle = "Functional Programming Languages and Computer Architecture",
pages = "238-248",
year = "1995",
url = "citeseer.ist.psu.edu/jeuring95polytypic.html" }
@inproceedings{ jay94shapely,
author = "C. Barry Jay and J. R. B. Cockett",
title = "Shapely Types and Shape Polymorphism",
booktitle = "Programming Languages and Systems --- Proc. 5th European Symp. Programming, {ESOP}",
number = "778",
month = "11--13~",
publisher = "Springer-Verlag",
editor = "D. Sannella",
pages = "302--316",
year = "1994",
url = "citeseer.ist.psu.edu/jay94shapely.html" }
@inproceedings{meijer91barbedwire,
author = {Erik Meijer and Maarten Fokkinga and Ross Paterson},
title = {Functional programming with bananas, lenses, envelopes and barbed wire},
booktitle = {Proceedings of the 5th ACM conference on Functional programming languages and computer architecture},
year = {1991},
isbn = {0-387-54396-1},
pages = {124--144},
location = {Cambridge, Massachusetts, United States},
publisher = {Springer-Verlag New York, Inc.},
}
Mar 29: Compilers from Attribute Grammars
@Book{Kastens82,
author = "Uwe Kastens and Brigitte Hutt and Erich Zimmermann",
title = "{GAG}: {A} Practical Compiler Generator",
series = "Lecture Notes in Computer Science",
volume = "141",
publisher = "Springer-Verlag",
address = "New York--Heidelberg--Berlin",
year = "1982",
keywords = "syst.GAG"
}
@InCollection{Kaiser86,
author = "Gail E. Kaiser",
title = "Generation of Run-time Environments",
booktitle = "ACM SIGPLAN '86 Symp. on Compiler Construction",
publisher = "ACM press",
pages = "51--57",
address = "Palo Alto, CA",
month = jun,
year = "1986",
keywords = "applic.edit",
mynote = "{\'E}tend les GAs avec des regles semantiques
commandees par des evenements, de facon a decrire la
semantique dynamique d'un langage et pouvoir construire
automatiquement un environnement d'execution. (mj)",
note = "Published as ACM SIGPLAN Notices, volume 21, number
7",
abstract = "Attribute grammars have been used for many years for
automated compiler construction. Attribute grammars
support the description of semantic analysis, code
generation and some code optimization in a formal
declarative style. Other tools support the automation
of lexical analysis and parsing. However, there is one
large part of compiler construction that is missing
from our toolkit: run-time environments. This paper
introduces an extension of attribute grammars that
supports the generation of run-time environments. The
extension also supports the generation of interpreters,
symbolic debugging tools, and other execution-time
facilities.",
}
@InCollection{Ganapathi82,
author = "Mahadevan Ganapathi and Charles N. Fischer",
title = "Description-driven Code Generation using Attribute Grammars",
booktitle = "9th ACM Symp. on Principles of Progr. Languages",
publisher = "ACM press",
pages = "108--119",
address = "Albuquerque, NM",
month = jan,
year = "1982",
keywords = "applic.GC",
}
@inproceedings{91978,
author = {Donald E. Knuth},
title = {The genesis of attribute grammars},
booktitle = {Proceedings of the international conference on Attribute grammars and their applications},
year = {1990},
isbn = {0-387-53101-7},
pages = {1--12},
location = {Paris, France},
publisher = {Springer-Verlag New York, Inc.}
}
@inproceedings{808247,
author = {Thomas Reps and Tim Teitelbaum},
title = {The synthesizer generator},
booktitle = {Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments},
year = {1984},
isbn = {0-89791-131-8},
pages = {42--48},
doi = {http://doi.acm.org/10.1145/800020.808247},
publisher = {ACM Press},
}
@inproceedings{582164,
author = {Rodney Farrow},
title = {Experience with an attribute grammar-based compiler},
booktitle = {Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
year = {1982},
isbn = {0-89791-065-6},
pages = {95--107},
location = {Albuquerque, Mexico},
doi = {http://doi.acm.org/10.1145/582153.582164},
publisher = {ACM Press},
}
@inproceedings{806991,
author = {Kai Koskimies and Kari-Jouko Rih and Matti Sarjakoski},
title = {Compiler construction using attribute grammars},
booktitle = {Proceedings of the 1982 SIGPLAN symposium on Compiler construction},
year = {1982},
isbn = {0-89791-074-5},
pages = {153--159},
location = {Boston, Massachusetts, United States},
publisher = {ACM Press},
}
@article{362902,
author = {Jerome Feldman and David Gries},
title = {Translator writing systems},
journal = {Commun. ACM},
volume = {11},
number = {2},
year = {1968},
issn = {0001-0782},
pages = {77--113},
doi = {http://doi.acm.org/10.1145/362896.362902},
publisher = {ACM Press}
}
Mar 29: Abstract Machines
@phdthesis{wadsworth:thesis
author = "Christopher P. Wadsworth",
title = "Semantics and Pragmatics of the Lambda-Calculus",
school = "Oxford University",
year = "1971"}
@inproceedings{turnerimpltechnique,
author = "D. A. Turner",
title = "A new implementation technique for applicative
languages",
booktitle = "Software - Practice and Experience",
volume = "9",
pages = "31--49",
year = "1979"}
@inproceedings{hughes:super,
title = "Super Combinators---A New Implementation Method for Applicative Languages",
author = "R. J. M. Hughes",
booktitle = "Proceedings of the 1982 ACM Symposium on Lisp and Functional Programming",
pages = "1-10",
address = "Pittsburgh",
year = "1982"}
@phdthesis{
title = "Thesis part C: Efficient Compilation of Lazy Evaluation"
name = "Thomas johnsson",
school = "Chalmers",
% Slightly improved version of paper in Proceedings of the SIGPLAN '84 Symposium on Compiler Construction,
year = "1984"}
@inproceedings{spinelessgmachine
author = "Burn, G.L. and Peyton Jones, S.L. and Robson, J.D",
title = "The spineless G-machine" ,
booktitle = "Proc. ACM Conf. on Lisp and Functional Programming",
year ="1988",
pages = "244-258"}
@article{joneslazy92,
author = "Simon Peyton Jones"
titile = "Implementing lazy functional languages on stock hardware: the Spineless Tagless G-machine",
journal = "Journal of Functional Programming",
volume = "2(2)",
month = "April",
year = "1992",
pages = "127-202"}
@inproceedings{nugmachine,
author = "Augustsson, L. and Johnsson, T.",
title = "The n,G-machine: An abstract machine for parallel graph reduction"
booktitle = "Proc. ACM Conf. on Functl. Prog. Langs. and C. Arch",
year = "1989",
pages = "202-213"}
Mar 25: Object-Oriented Reflection
@Article{Maes:3krs,
author = "Pattie Maes",
title = "Concepts and experiments in computational reflection",
journal = "ACM SIG{\-}PLAN Notices",
volume = "22",
number = "12",
pages = "147--155",
month = dec,
year = "1987",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Sun Dec 14 09:15:17 MST 2003",
acknowledgement = ack-nhfb,
keywords = "design; experimentation; languages; theory",
subject = "F.4.3 Theory of Computation, MATHEMATICAL LOGIC AND
FORMAL LANGUAGES, Formal Languages",
}
@inproceedings{Moon:Flavors,
author = {David A. Moon},
title = {Object-oriented programming with flavors},
booktitle = {Conference proceedings on Object-oriented programming systems, languages and applications},
year = {1986},
isbn = {0-89791-204-7},
pages = {1--8},
location = {Portland, Oregon, United States},
doi = {http://doi.acm.org/10.1145/28697.28698},
publisher = {ACM Press},
}
@inproceedings{CommonLoops,
author = {Daniel G. Bobrow and Kenneth Kahn and Gregor Kiczales and Larry Masinter and Mark Stefik and Frank Zdybel},
title = {CommonLoops: merging Lisp and object-oriented programming},
booktitle = {Conference proceedings on Object-oriented programming systems, languages and applications},
year = {1986},
isbn = {0-89791-204-7},
pages = {17--29},
location = {Portland, Oregon, United States},
doi = {http://doi.acm.org/10.1145/28697.28700},
publisher = {ACM Press},
}
@Article{Cointe:objvlisp,
author = "Pierre Cointe",
title = "Metaclasses are first class: {The ObjVlisp Model}",
journal = "ACM SIG{\-}PLAN Notices",
volume = "22",
number = "12",
pages = "156--162",
month = dec,
year = "1987",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Sun Dec 14 09:15:17 MST 2003",
acknowledgement = ack-nhfb,
keywords = "languages; theory",
subject = "F.4.3 Theory of Computation, MATHEMATICAL LOGIC AND
FORMAL LANGUAGES, Formal Languages \\ D.3.1 Software,
PROGRAMMING LANGUAGES, Formal Definitions and Theory,
Semantics \\ D.3.2 Software, PROGRAMMING LANGUAGES,
Language Classifications, Smalltalk-80 \\ I.2.7
Computing Methodologies, ARTIFICIAL INTELLIGENCE,
Natural Language Processing, Language models",
}
@inproceedings{broit:classtalk,
author = {J.-P. Briot and P. Cointe},
title = {Programming with explicit metaclasses in Smalltalk-80},
booktitle = {Conference proceedings on Object-oriented programming systems, languages and applications},
year = {1989},
isbn = {0-89791-333-7},
pages = {419--431},
location = {New Orleans, Louisiana, United States},
doi = {http://doi.acm.org/10.1145/74877.74921},
publisher = {ACM Press},
}
Mar 25: Proof Carrying Code (PCC)
@techreport{ yudidautomated,
author = "Yuan Yu",
title = "Automated Proofs of Object Code For a Widely Used Microprocessor",
number = "CS-TR-93-09",
url = "citeseer.nj.nec.com/article/yu92automated.html" }
@inproceedings{ necula96safe,
author = "George C. Necula and Peter Lee",
title = "Safe Kernel Extensions Without Run-Time Checking",
booktitle = "2nd Symposium on Operating Systems Design and Implementation ({OSDI} '96), October 28--31, 1996. Seattle, {WA}",
publisher = "USENIX",
address = "Berkeley, CA, USA",
editor = "{USENIX}",
pages = "229--243",
year = "1996",
url = "citeseer.nj.nec.com/necula96safe.html" }
@inproceedings{ necula98design,
author = "G. C. Necula and P. Lee",
title = "The Design and Implementation of a Certifying Compiler",
booktitle = "Proceedings of the 1998 {ACM} {SIGPLAN} Conference on Prgramming Language Design and Implementation ({PLDI})",
pages = "333--344",
year = "1998",
url = "citeseer.nj.nec.com/necula98design.html" }
Mar 25: TIL/TAL
@inproceedings{tarditi96til,
author = "D. Tarditi and G. Morrisett and P. Cheng and C. Stone and R. Harper and P. Lee",
title = "{TIL}: {A} Type-Directed Optimizing Compiler for {ML}",
booktitle = "Proc. {ACM} {SIGPLAN} '96 Conference on Programming Language Design and Implementation",
pages = "181--192",
year = "1996",
url = "citeseer.ist.psu.edu/tarditi95til.html"
}
@InProceedings{morrisett96tilml,
author = "G. Morrisett and D. Tarditi and P. Cheng and C. Stone and R. Harper and P. Lee",
title = "The {TIL}/{ML} Compiler: Performance and Safety through Types",
Booktitle = "1996 Workshop on Compiler Support for Systems Software",
month = feb,
year = "1996",
url = "citeseer.ist.psu.edu/morrisett96tilml.html"
}
@InProceedings{harper95intentional,
key = "R. Harper and G. Morrisett",
author = "Robert Harper and Greg Morrisett",
title = "Compiling Polymorphism Using Intentional Type
Analysis",
booktitle = "22nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming
Languages, San Francisco, Calif.",
month = jan,
year = "1995",
organization = "ACM",
address = "New York, NY",
pages = "130--141",
annote = "53 references.",
url = "www.cs.cornell.edu/Info/People/jgm/papers/ip-popl.ps"
}
@article{morrisett99tal1,
author = "Greg Morrisett and David Walker and Karl Crary and Neal Glew",
title = "From {System F} to typed assembly language",
journal = "ACM Transactions on Programming Languages and Systems",
volume = "21",
number = "3",
pages = "527--568",
year = "1999",
url = "citeseer.ist.psu.edu/article/morrisett98from.html"
}
@InProceedings{grossman00tal,
Title = "Scalable Certification for Typed Assembly Language",
Author = "Dan Grossman and Greg Morrisett",
Booktitle = "2000 ACM SIGPLAN Workshop on Types in Compilation",
Address = "Montreal, Canada",
Year = "2000",
Month = "September",
url = "citeseer.ist.psu.edu/tarditi95til.html"
}
Mar 22: The CHAMs
@inproceedings{96717,
author = {Gerard Berry and Gerard Boudol},
title = {The chemical abstract machine},
booktitle = {Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
year = {1990},
isbn = {0-89791-343-4},
pages = {81--94},
location = {San Francisco, California, United States},
doi = {http://doi.acm.org/10.1145/96709.96717},
publisher = {ACM Press},
}
@inproceedings{ pierce93typing,
author = "Benjamin C. Pierce and Davide Sangiorgi",
title = "Typing and Subtyping for Mobile Processes",
booktitle = "Proceedings 8th {IEEE} Logics in Computer Science",
address = "Montreal, Canada",
pages = "376--385",
year = "1993",
url = "citeseer.ist.psu.edu/pierce96typing.html" }
@phdthesis{ turner96polymorphic,
author = "David N. Turner",
title = "The Polymorphic Pi-Calculus: Theory and Implementation",
year = "1996",
url = "citeseer.ist.psu.edu/turner95polymorphic.html" }
@inproceedings{ fournet96reflexive,
author = "C\'edric Fournet and Georges Gonthier",
title = "The Reflexive {CHAM} and the Join-Calculus",
booktitle = "Proceedings of the 23rd {ACM} Symposium on Principles of Programming Languages",
publisher = "ACM Press",
pages = "372--385",
year = "1996",
url = "citeseer.ist.psu.edu/fournet95reflexive.html" }
@inproceedings{ fournet96calculus,
author = "C{\'e}dric Fournet and Georges Gonthier and Jean-Jacques L{\'e}vy and Luc Maranget and Didier R{\'e}my",
title = "A Calculus of Mobile Agents",
booktitle = "Proceedings of the 7th International Conference on Concurrency Theory ({CONCUR}'96)",
publisher = "Springer-Verlag",
pages = "406--421",
year = "1996",
url = "citeseer.ist.psu.edu/fournet96calculus.html" }
@inproceedings{ riely98typed,
author = "James Riely and Matthew Hennessy",
title = "A Typed Language for Distributed Mobile Processes",
booktitle = "Conference Record of {POPL} 98: The 25TH {ACM} {SIGPLAN}-{SIGACT} Symposium on Principles of Programming Languages, San Diego, California",
address = "New York, NY",
pages = "378--390",
year = "1998",
url = "citeseer.ist.psu.edu/riely98typed.html" }
@inproceedings{ cardelli98mobile,
author = "Luca Cardelli and Andrew D. Gordon",
title = "Mobile Ambients",
booktitle = "Foundations of Software Science and Computation Structures: First International Conference, {FOSSACS '98}",
publisher = "Springer-Verlag, Berlin Germany",
year = "1998",
url = "citeseer.ist.psu.edu/cardelli98mobile.html" }
@inproceedings{ conchon99jocaml,
author = "Sylvain Conchon and Fabrice Le Fessant",
title = "Jocaml: Mobile Agents for {Objective-Caml}",
booktitle = "First International Symposium on Agent Systems and Applications ({ASA}'99)/Third International Symposium on Mobile Agents ({MA}'99)",
address = "Palm Springs, CA, USA",
year = "1999",
url = "citeseer.ist.psu.edu/conchon99jocaml.html" }
Mar 22: Little Languages
@technical-report{felleisen,
author = "Matthas Felleisen",
title = "Transliterating Prolog into Scheme",
month = "October",
year = 1985}
@article{bentley,
author = "Jon Bentley",
title = "Programming pearls: Little Languages",
journal = "Communications of the ACM",
volume = 29,
issue = 8,
pages = "711 - 721",
month = "August",
year = 1986
}
@article{bartory2,
author = "Don Batory, Vivek Singhal, Jeff Thomas, Sankar Dasari, Bart Geraci, and Marty Sirkin.",
title = "The GenVoca Model of Software-System Generators",
journal = "IEEE Software",
month = "September",
year = "1994",
url = "ftp://ftp.cs.utexas.edu/pub/predator/ieee-sw-94.pdf"}
@inproceedings{shivers,
author = "Olin Shivers",
title = "A Universal Scripting Framework or Lambda: the ultimate 'little language' ",
journal = "Lecture Notes in Computer Science",
pages = "254-265",
year = 1996
}
@article{
author = "Paul Hudak",
title = "Building domain-specific embedded languages",
journal = "ACM Computing Surveys (CSUR)",
volume = 28,
month = "December",
year = 1996
}
@article{van-deursen1,
author = "A. van Deursen",
title = "Domain-specific languages versus object-oriented frameworks. A finantial engineering case study. In Smalltalk and Java Industry and Academia",
journal = "STJA",
pages = "35-39",
year = 1997,
url = "http://homepages.cwi.nl/~arie/papers/stja97.pdf"}
@article{van-deursen2,
author = "A. van Deursen",
title = "Little Languages: Little maintenance?",
journal = "Journal of Software Maintenance",
volume = 10,
pages = "75-92",
year = "1998",
url = "http://homepages.cwi.nl/~arie/papers/domain.pdf"}
@inproceedings{thibault,
author = "Scott Thibault,Charles Consel",
title = "A framework for application generator design"
}
@inproceedings{batory1,
author = "Don Batory, Bernie Lofaso, and Yannis Smaragdakis",
title = "JTS: Tools for Implementing Domain-Specific Languages",
journal = "5th International Conference on Software Reuse",
month = "June",
year = 1998,
url = "ftp://ftp.cs.utexas.edu/pub/predator/jts.pdf"}
@talk{krishnamurthi,
author = "Shriram Krishnamurthi",
title = "The Swine with in Perl",
conference = "Lightweight Languages",
year = 2001,
url = "http://lambda.pentaside.org/article/symbols.html"}
Mar 22: Domain-specific Languages
@inproceedings{faith97khepera,
author = "Rickard E. Faith, Lars S. Nyland, and Jan F. Prins",
title = "KHEPERA: A System for Rapid Implementation of Domain Specific Languages",
booktitle = "Proceedings of the Conference on Domain-Specific Languages",
publisher = "USENIX",
address ="Berkeley, CA, USA",
year = "1997",
url = "citeseer.nj.nec.com/369782.html" }
% Hudak's work on Modular DSLs
@inproceedings{ hudak98modular,
author = "Paul Hudak",
title = "Modular Domain Specific Languages and Tools",
booktitle = "Proceedings: Fifth International Conference on Software Reuse",
publisher = "IEEE Computer Society Press",
editor = "P. Devanbu and J. Poulin",
pages = "134--142",
year = "1998",
url = "citeseer.nj.nec.com/hudak98modular.html" }
% Additional work by Hudak
@article{ hudak96building,
author = "Paul Hudak",
title = "Building domain-specific embedded languages",
journal = "ACM Computing Surveys",
volume = "28",
number = "4es",
pages = "196--196",
year = "1996",
url = "citeseer.nj.nec.com/hudak96building.html" }
@InProceedings{gat97esl,
author = {Erann Gat},
title = {ESL: A Language for Supporting Robust Plan Execution in Embedded Autonomous Agents},
booktitle = {Proceedings of the IEEE Aerospace Conference},
year = 1997
}
% Erann Gat - later work on robot control languages
# ESL: A Language for Supporting Robust Plan Execution in Embedded Autonomous Agents. Proceedings of the IEEE Aerospace Conference, 1997.
% SCSH
@techreport{ shivers94scheme,
author = "O. Shivers",
title = "A Scheme Shell",
number = "MIT/LCS/TR-635",
pages = "42",
year = "1994",
url = "citeseer.nj.nec.com/shivers94scheme.html" }
% Lambda, the ultimate little language
@inproceedings{shivers96lambda,
author="Olin Shivers",
title="A Universal Scripting Framework or Lambda: The Ultimate "Little Language",
booktitle = {ASIAN},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {1179},
year = {1996},
isbn = {3-540-62031-1},
pages = 254--265,
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Mar 18: Macros for C Syntax
@inproceedings{ weise93cmacros,
author = "Daniel Weise and Roger Crew",
title = "Programmable syntax macros",
booktitle = "Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation",
year = {1993},
isbn = {0-89791-598-4},
pages = {156--165},
location = {Albuquerque, New Mexico, United States},
doi = {http://doi.acm.org/10.1145/155090.155105},
publisher = {ACM Press} }
@inproceedings{ batory98jts,
author = "Don Batory and Bernie Lofaso and Yannis Smaragdakis",
title = "{JTS}: tools for implementing domain-specific languages",
booktitle = "Proceedings Fifth International Conference on Software Reuse",
month = "2--5",
publisher = "IEEE",
address = "Victoria, BC, Canada",
pages = "143--153",
year = "1998",
url = "citeseer.ist.psu.edu/171171.html" }
@inproceedings{ bachrach01jse,
author = {Jonthan Bachrach and Keith Playford},
title = {The Java syntactic extender (JSE)},
booktitle = {Proceedings of the 16th ACM SIGPLAN conference on Object oriented programming, systems, languages, and applications},
year = {2001},
isbn = {1-58113-441-X},
pages = {31--42},
location = {Tampa Bay, FL, USA},
doi = {http://doi.acm.org/10.1145/504282.504285},
publisher = {ACM Press} }
@misc{ baker02maya,
author = "J. Baker and W. Hsieh",
title = "Maya: Multiple-dispatch syntax extension in Java",
year = "2002",
url = "citeseer.ist.psu.edu/baker02maya.html" }
Mar 18: Control Operators
@inproceedings{ danvy90abstracting,
author = "O. Danvy and A. Filinski",
title = "Abstracting Control",
booktitle = "Proceedings of the 1990 {ACM} Conference on {LISP} and
Functional Programming, Nice",
publisher = "ACM",
address = "New York, NY",
pages = "151--160",
year = "1990",
url = "citeseer.ist.psu.edu/danvy90abstracting.html" }
@inproceedings{ sitaram93handling,
author = "Dorai Sitaram",
title = "Handling Control",
booktitle = "{SIGPLAN} Conference on Programming Language Design and Implementation",
pages = "147-155",
year = "1993",
url = "citeseer.ist.psu.edu/sitaram93handling.html" }
@article{sitaram90control,
author = {Dorai Sitaram and Matthias Felleisen},
title = {Control delimiters and their hierarchies},
journal = {Lisp Symb. Comput.},
volume = {3},
number = {1},
year = {1990},
issn = {0892-4635},
pages = {67--99},
publisher = {Kluwer Academic Publishers}
}
@inproceedings{ queinnec91dynamic,
author = "Christian Queinnec and Bernard Serpette",
title = "A Dynamic Extent Control Operator for Partial
Continuations",
booktitle = "Conference Record of the Eighteenth Annual {ACM}
Symposium on Principles of Programming Languages",
address = "Orlando, Florida",
pages = "174--184",
year = "1991",
url = "citeseer.ist.psu.edu/queinnec91dynamic.html" }
@inproceedings{hieb90continuations,
author = {R. Hieb and R. Kent Dybvig},
title = {Continuations and concurrency},
booktitle = {Proceedings of the second ACM SIGPLAN Symposium on
Principles and Practice of Parallel Programming},
year = {1990},
isbn = {0-89791-350-7},
pages = {128--136},
location = {Seattle, Washington, United States},
doi = {http://doi.acm.org/10.1145/99163.99178},
publisher = {ACM Press},
}
@phdthesis{ sitaram94thesis,
author = "Dorai Sitaram",
title = "Control Operators and their impact on programming language
design",
school = "Rice University",
year = "1994"
}
@article{felleisen87syntactic,
author = {M. Felleisen and D. P. Friedman and E. Kohlbecker and B.
Duba},
title = {A syntactic theory of sequential control},
journal = {Theor. Comput. Sci.},
volume = {52},
number = {3},
year = {1987},
issn = {0304-3975},
pages = {205--237},
doi = {http://dx.doi.org/10.1016/0304-3975(87)90109-5},
publisher = {Elsevier Science Publishers Ltd.}
}
Mar 18: CSP, CCS
Missing in action: Greg
Mar 15: Second-Generatione Models of OO PLs
@article{ drossopoulou99is,
author = "Sophia Drossopoulou and Susan Eisenbach and Sarfraz Khurshid",
title = "Is the Java Type System Sound?",
journal = "Theory and Practice of Object Systems",
volume = "5",
number = "1",
pages = "3-24",
year = "1999",
url = "citeseer.nj.nec.com/drossopoulou97is.html" }
@incollection{fkf:classes-mixins-extended,
skpaper="true",
author="Matthew Flatt and Shriram Krishnamurthi and Matthias Felleisen",
title="A Programmer's Reduction Semantics for Classes and Mixins",
booktitle="Formal Syntax and Semantics of {J}ava",
publisher=springer,
year=1999,
pages="241--269",
editor="Jim Alves-Foss",
number=1523,
series=lncs}
@inbook{ drossopoulou98towards,
author = "S. Drossopoulou and S. Eisenbach",
title = "Towards an Operations Semantics and Proof of Type Soundness for {Java}",
publisher = "Springer-Verlag, Berlin Germany",
year = "1998",
url = "citeseer.nj.nec.com/drossopoulou98towards.html" }
@article{ drossopoulou97java,
author = "Sophia Drossopoulou and Susan Eisenbach",
title = "{Java} is Type Safe --- Probably",
journal = "Lecture Notes in Computer Science",
volume = "1241",
pages = "389--??",
year = "1997"
}
@inproceedings{ igarashi99featherweight,
author = "Atshushi Igarashi and Benjamin Pierce and Philip Wadler",
title = "{Featherweight Java}: {A} Minimal Core Calculus for {Java} and {GJ}",
booktitle = "Proceedings of the 1999 {ACM} {SIGPLAN} Conference on Object-Oriented Programming, Systems, Languages and Applications ({OOPSLA}`99)",
volume = "34(10)",
address = "N. Y.",
editor = "Loren Meissner",
pages = "132--146",
year = "1999",
url = "citeseer.nj.nec.com/igarashi99featherweight.html" }
@inproceedings{ flatt98classes,
author = "Matthew Flatt and Shriram Krishnamurthi and Matthias Felleisen",
title = "Classes and Mixins",
booktitle = "Conference Record of {POPL} 98: The 25TH {ACM} {SIGPLAN}-{SIGACT} Symposium on Principles of Programming Languages, San Diego, California",
address = "New York, NY",
pages = "171--183",
year = "1998",
url = "citeseer.nj.nec.com/flatt98classe.html" }
Mar 15: Current Work on Components and Contracts
Daniel?
Mar 15: First Models ML Modules
@inproceedings{512670,
author = {David B. MacQueen},
title = {Using dependent types to express modular structure},
booktitle = {Proceedings of the 13th annual ACM symposium on Principles of programming languages},
year = {1986},
pages = {277--286},
location = {St. Petersburg Beach, Florida},
doi = {http://doi.acm.org/10.1145/512644.512670},
publisher = {ACM Press},
}
@article{169696,
author = {Robert Harper and John C. Mitchell},
title = {On the type structure of standard {ML}},
journal = {ACM Transactions on Programming Languages and Systems (TOPLAS)},
volume = {15},
number = {2},
year = {1993},
issn = {0164-0925},
pages = {211--252},
doi = {http://doi.acm.org/10.1145/169701.169696},
publisher = {ACM Press},
}
@article{45065,
author = {John C. Mitchell and Gordon D. Plotkin},
title = {Abstract types have existential type},
journal = {ACM Transactions on Programming Languages and Systems (TOPLAS)},
volume = {10},
number = {3},
year = {1988},
issn = {0164-0925},
pages = {470--502},
doi = {http://doi.acm.org/10.1145/44501.45065},
publisher = {ACM Press},
}
@inproceedings{ harper94typetheoretic,
author = "Robert Harper and Mark Lillibridge",
title = "A type-theoretic approach to higher-order modules with sharing",
booktitle = "Conference record of {POPL '94}: 21st {ACM {SIGPLAN}-{SIGACT}} {S}ymposium on {P}rinciples of {P}rogramming {L}anguages",
month = "January",
address = "Portland, OR",
pages = "123--137",
year = "1994",
url = "citeseer.nj.nec.com/harper94typetheoretic.html" }
@inproceedings{176926,
author = {Xavier Leroy},
title = {Manifest types, modules, and separate compilation},
booktitle = {Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
year = {1994},
isbn = {0-89791-636-0},
pages = {109--122},
location = {Portland, Oregon, United States},
doi = {http://doi.acm.org/10.1145/174675.176926},
publisher = {ACM Press},
}
@InCollection{harper+:smltt-final,
author = {Robert Harper and Chris Stone},
title = {A Type-Theoretic Interpretation of {S}tandard {ML}},
booktitle = {Proof, Language, and Interaction: Essays in Honor of Robin Milner},
publisher = {MIT Press},
year = 2000,
editor = {Gordon Plotkin and Colin Stirling and Mads Tofte}
}
@inproceedings{96744,
author = {Robert Harper and John C. Mitchell and Eugenio Moggi},
title = {Higher-order modules and the phase distinction},
booktitle = {Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
year = {1990},
isbn = {0-89791-343-4},
pages = {341--354},
location = {San Francisco, California, United States},
doi = {http://doi.acm.org/10.1145/96709.96744},
publisher = {ACM Press},
}
@inproceedings{802036,
author = {David MacQueen},
title = {Modules for standard ML},
booktitle = {Proceedings of the 1984 ACM Symposium on LISP and functional programming},
year = {1984},
isbn = {0-89791-142-3},
pages = {198--207},
location = {Austin, Texas, United States},
}
Mar 11: Garbage Collection
@article{mccarthy-60-recursive,
author = "John McCarthy",
title = "Recursive functions of symbolic expressions and their
computation by machine, Part {I}",
journal = cacm,
volume = 3,
number = 4,
year = 1960,
issn = "0001-0782",
pages = "184--195",
doi = "\url{http://doi.acm.org/10.1145/367177.367199}",
publisher = "ACM Press",
notes = "early description of lisp; mark-and-sweep GC",
}
@article{collins-60-method,
author = "George E. Collins",
title = "A method for overlapping and erasure of lists",
journal = cacm,
volume = 3,
number = 12,
year = 1960,
issn = "0001-0782",
pages = "655--657",
doi = "\url{http://doi.acm.org/10.1145/367487.367501}",
publisher = "ACM Press",
notes = "refcount GC",
}
@techreport{minksy-63-lisp,
author = "Marvin L. Minsky",
title = "A {LISP} Garbage Collector Algorithm Using Serial
Secondary Storage",
institution = "MIT",
year = 1963,
number = "AIM-58",
notes = "early stop-and-copy; copy to drum",
}
@article{fenichel-69-lisp,
author = "Robert R. Fenichel and Jerome C. Yochelson",
title = "A {LISP} garbage-collector for virtual-memory computer systems",
journal = cacm,
volume = 12,
number = 11,
year = 1969,
issn = "0001-0782",
pages = "611--612",
doi = "\url{http://doi.acm.org/10.1145/363269.363280}",
publisher = "ACM Press",
notes = "standard DFS two-space stop-and-copy GC",
}
@article{cheney-70-nonrecursive,
author = "C. J. Cheney",
title = "A nonrecursive list compacting algorithm",
journal = cacm,
volume = 13,
number = 11,
year = 1970,
issn = "0001-0782",
pages = "677--678",
doi = "\url{http://doi.acm.org/10.1145/362790.362798}",
publisher = "ACM Press",
notes = "two-space BFS stop-and-copy GC",
}
Mar 11: Concurrent Garbage Collection
@article{stee75,
author = "Guy L. Steele",
title = "Multiprocessing Compactifying Garbage Collection",
journal = "Communications of the {ACM}",
publisher = ACM,
volume = 18,
number = 9,
pages = "495--508",
month = Sep,
year = "1975"}
@incollection{dijk76b,
author = "Edsgar W. Dijkstra and Leslie Lamport and A. J. Martin and C. S. Scholten and E. F. M. Steffens",
title = "On-The-Fly Garbage Collection: An Exercise in Cooperation",
booktitle = "Lecture Notes in Computer Science, No. 46",
publisher = SV,
address = "New York",
year = 1976,
}
@article{bake78,
author = "Henry G. Baker",
title = "List Processing in Real-Time on a Serial Computer",
journal = "Communications of the {ACM}",
publisher = ACM,
volume = 21,
number = 4,
pages = "280--94",
year = "1978",
note = "Also AI Laboratory Working Paper 139, 1977",
URL = "http://home.pipeline.com/~hbaker1/RealTimeGC.ps.Z"
}
@techreport{lieb81,
title = "A Real-Time Garbage Collector Based on the Lifetimes of Objects",
author = "Henry Lieberman and Carl E. Hewitt",
type = "{AI} Memo",
number = "569a",
institution = "{MIT}",
month = apr,
year = 1981,
URL = "ftp://publications.ai.mit.edu/ai-publications/pdf/AIM-569a.pdf",
}
@article{appe88,
title = "Real-Time Concurrent Collection on Stock Multiprocessors",
author = "Andrew W. Appel and John R. Ellis and Kai Li",
address = PRINCETON # " and Digital Equipment Corp, Systems Research Center, Palo Alto, CA",
journal = Sigplan,
publisher = ACM,
year = 1988,
volume = 23,
number = 7,
pages = "11--20"
}
@inproceedings{huel93,
author = "Lorenz Huelsbergen and James R. Larus",
title = "A Concurrent Copying Garbage Collector for Languages that Distinguish (Im)mutable Data",
booktitle = "Fourth Annual ACM Symposium on Principles and Practice of Parallel Programming",
address = "San Diego, CA",
month = may,
year = 1993,
publisher = ACM,
series = SIGPLAN,
volume = "28(7)",
pages = "73--82",
}
@techreport{nett93b,
title = "Concurrent Garbage Collection of Persistent Heaps",
author = "Scott M. Nettles and James W. O'Toole and David Gifford",
number = "MIT/LCS/TR--569 and CMU--CS--93--137",
institution = "Computer Science Department, Carnegie-Mellon University",
URL = "ftp://reports.adm.cs.cmu.edu/usr/anon/1993/CMU-CS-93-137.ps",
month = apr,
year = 1993,
}
Mar 8: Early Programming Testing
@inproceedings{gg:theory-of-test-data-selection,
author="John B. Goodenough and Susan L. Gerhart",
title="Toward a Theory of Test Data Selection",
booktitle=icrs,
year=1975,
pages="493--510"
}
@article{h:mutation-testing,
author="William E. Howden",
title="Weak Mutation Testing and Completeness of Test Sets",
journal=tose,
year=1982,
pages="371--379",
volume=8,
number=4
}
@InProceedings{FormalTesting,
author="Robert Cartwright",
title="Formal Program Testing",
booktitle=popl,
month=jan,
year="1981",
pages="125--132"
}
@inproceedings{completeness-criteria,
author="William E. Howden",
title="Completeness criteria for testing elementary program functions",
booktitle=icse,
year="1981"}
@book{functional-program-testing,
author="William E. Howden",
title="Functional program testing and analysis",
year="1986",
isbn=" ISBN:0-070-30550-1",
publisher=" McGraw-Hill, Inc."}
@inproceedings{program-mutation,
author="Timothy A. Budd",
title="Theoretical and empirical studies on using program mutation to test the functional correctness of programs",
booktitle="popl",
year="1980"
}
@inproceedings{approach-to-testing,
author="J. C. Huang",
title="An Approach to Program Testing",
booktitle="ACM Computing Surveys (CSUR)",
year="1975"
}
@inproceedings{methodology-generation,
author="William E. Howden",
title="Methodology for the generation of program test data.",
inbook="IEEE Transactions on Computers",
year="1975",
pages="554-560"}
@inproceedings{test-data-as-an-aid,
author="Matthew Geller",
title="Test data as an aid in proving program correctness",
inbook="Communications of the ACM, v.21 n.5",
pages="368-375",
month="May",
year="1978"
}
@inproceedings{prooving-lisp-programs,
author="Timothy A. Budd and Richard J. Lipton",
title="Proving LISP programs using test data.",
inbook="Digest for the workshop on Software Testing and Test Documentation",
year="1978",
pages="374-403"}
Mar 8: FP for Systolic Arrays
@inproceedings{5294,
author = {Mary Sheeran},
title = {Designing regular array architectures using higher order functions},
booktitle = {Proc. Functional Programming Languages and Computer Architecture},
year = {1985},
isbn = {3-387-15975-4},
pages = {220--237},
location = {Nancy, France},
publisher = {Springer-Verlag New York, Inc.},
}
@misc{ jones88timeless,
author = "G. Jones and M. Sheeran",
title = "Timeless truths about sequential circuits",
text = "Geraint Jones and Mary Sheeran. Timeless truths about sequential circuits.
In Tewksbury et al., editors, Concurrent Computations: Algorithms, Architectures
and Technology, New York, 1988. Plenum Press.",
year = "1988",
url = "citeseer.nj.nec.com/146224.html" }
@misc{ luk89computerbased,
author = "W. Luk and G. Jones and M. Sheeran",
title = "Computer-based tools for regular array design",
text = "Wayne Luk, Geraint Jones, and Mary Sheeran. Computer-based tools for regular
array design. In McCanny, McWhirter, and Schwartzlander, editors, Systolic
Array Processors. Prentice Hall, 1989.",
year = "1989",
url = "citeseer.nj.nec.com/73038.html" }
@inproceedings{802026,
author = {Mary Sheeran},
title = {muFP, a language for VLSI design},
booktitle = {Proc. 1984 ACM Symposium on LISP and Functional Programming},
year = {1984},
isbn = {0-89791-142-3},
pages = {104--112},
location = {Austin, Texas, United States},
publisher = {ACM Press},
}
Mar 8: Proving Theorems
@Article{Robinson65,
author = {J. A. Robinson},
title = {A machine-oriented logic based on the resolution
principle},
journal = {J ACM},
year = {1965},
volume = {12},
pages = {23--41}
}
@Article{Bledsoe77,
author = {W. W. Bledsoe},
title = {Non-resolution Theorem Proving},
journal = {Artifical Intelligence},
year = {1977},
volume = {9},
pages = {1--35}
}
@InProceedings{Plotkin72,
author = {Gordon D. Plotkin},
title = {Building-in Equational Theories},
booktitle = {Machine Intelligence},
pages = {73--90},
year = {1972},
editor = {D. Michie and B. Meltzer},
volume = {7},
publisher = {Edinburgh University Press}
}
@Article{Burstall69,
author = {R.M. Burstall},
title = {Proving properties of programs by structural induction},
journal = {Computer Journal},
year = {1969},
volume = {12},
pages = {41--48}
}
@Article{BoyerMoore75,
author = {Robert S. Boyer and J Strother Moore},
title = {Proving Theorems About LISP Functions},
journal = {J ACM},
year = {1975},
volume = {22},
number = {1},
pages = {129--144}
}
Feb 26: Macro Expansion
@inproceedings{kffd:hygiene,
author="Eugene E.~Kohlbecker and Daniel P.~Friedman and Matthias
Felleisen and Bruce F.~Duba",
title="Hygienic Macro Expansion",
booktitle=lfp,
year="1986",
pages="151--161"}
@inproceedings{br:synclo,
author="Alan Bawden and Jonathan Rees",
title="Syntactic Closures",
booktitle=lfp,
year="1988",
pages="86--95"}
@misc{ clinger91hygienic,
author = "W. Clinger",
title = "Hygienic macros through explicit renaming",
text = "William Clinger. Hygienic macros through explicit renaming. LISP Pointers,
4(4), 1991.",
year = "1991",
url = "citeseer.nj.nec.com/clinger91hygienic.html" }
@inproceedings{ cr:macros,
author = "W. Clinger and J. Rees",
title = "Macros that work",
booktitle = popl,
year = 1990,
pages = "155-162"
}
@article{dhb:sc,
author="R.~Kent Dybvig and Robert Hieb and Carl Bruggeman",
title="Syntactic abstraction in {S}cheme",
journal=lasc,
year="1993",
volume="5",
number="4",
pages="295--326",
month=dec}
Feb 26: Partial Evaluation
@ARTICLE{ Futamura:1971:Partial,
AUTHOR = "Y. Futamura",
TITLE = "Partial Evaluation of Computation Process -- An Approach
to a Compiler-Compiler",
JOURNAL = "Systems, Computers, Controls",
YEAR = "1971",
VOLUME = "2",
NUMBER = "5",
PAGES = "45-50",
ANNOTE = "This seminal paper defines partial evaluation and exposes
its applications to (among other things) compilation and
compiler generation. A brief discussion is given on the
feasibility in practice and of some conceptual and engineering
issues of partial evaluation."}
@ARTICLE{ Beckman:1976:APartial,
AUTHOR = "L. Beckman and others",
TITLE = "A Partial Evaluator, and Its Use as a Programming Tool",
JOURNAL = "Artificial Intelligence",
YEAR = "1976",
VOLUME = "7",
NUMBER = "4",
PAGES = "319-357",
ANNOTE = "The paper describes partial evaluation as a practical
tool in program development. It defines the concepts and
discusses a number of applications. A partial evaluator program
Redfun and a partial evaluator compiler Redcompile are
described."}
@ARTICLE{ Ershov:1982:MixedComputation,
AUTHOR = "A.P. Ershov",
TITLE = "Mixed Computation: Potential Applications and Problems
for Study",
JOURNAL = "Theoretical Computer Science",
YEAR = "1982",
VOLUME = "18",
PAGES = "41-67",
ANNOTE = "English version of
\cite{Ershov:1980:MixedComputation:Russian}."}
@Article{Bondorf:1991:AutomaticAutoprojection,
author = "A. Bondorf",
title = "Automatic Autoprojection of Recursive Equations with
Higher Order Functions",
journal = "Science of Computer Programming",
year = "1991",
volume = "17",
pages = "3-35",
OPTnote = ""}
@article{jones,
author = {Neil D. Jones},
title = {An introduction to partial evaluation},
journal = {ACM Computing Surveys (CSUR)},
volume = {28},
number = {3},
year = {1996},
issn = {0360-0300},
pages = {480--503},
doi = {http://doi.acm.org/10.1145/243439.243447},
publisher = {ACM Press},
}
Feb 26: Logic Programming
@InProceedings{kow74,
author = {Robert Kowalski},
title = {Predicate logic as a Programming Language},
pages = {569--574},
year = {1974},
organization = {IFIP},
publisher = {North-Holland Pub Co},
}
@article{kow79,
author = {Robert Kowalski},
title = {Algorithm = logic + control},
journal = {Commun. ACM},
volume = {22},
number = {7},
year = {1979},
issn = {0001-0782},
pages = {424--436},
doi = {http://doi.acm.org/10.1145/359131.359136},
publisher = {ACM Press}
}
@article{kow76,
author = {M. H. {Van Emden} and R. A. Kowalski},
title = {The Semantics of Predicate Logic as a Programming Language},
journal = {J. ACM},
volume = {23},
number = {4},
year = {1976},
issn = {0004-5411},
pages = {733--742},
doi = {http://doi.acm.org/10.1145/321978.321991},
publisher = {ACM Press}
}
@inproceedings{col93,
author = {Alain Colmerauer and Philippe Roussel},
title = {The birth of Prolog},
booktitle = {The second ACM SIGPLAN conference on History of programming languages},
year = {1993},
isbn = {0-89791-570-4},
pages = {37--52},
location = {Cambridge, Massachusetts, United States},
doi = {http://doi.acm.org/10.1145/154766.155362},
publisher = {ACM Press},
}
Feb 23: Types, Effects, and Regions
@inproceedings{lucassen88polyeffectsystems,
author = {J. M. Lucassen and D. K. Gifford},
title = {Polymorphic effect systems},
booktitle = {Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
year = {1988},
isbn = {0-89791-252-7},
pages = {47--57},
location = {San Diego, California, United States},
doi = {http://0-doi.acm.org.ilsprod.lib.neu.edu:80/10.1145/73560.73564},
publisher = {ACM Press},
}
@inproceedings{jouvelot91algrecontypeseffects,
author = {Pierre Jouvelot and David Gifford},
title = {Algebraic reconstruction of types and effects},
booktitle = {Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
year = {1991},
isbn = {0-89791-419-8},
pages = {303--310},
location = {Orlando, Florida, United States},
doi = {http://0-doi.acm.org.ilsprod.lib.neu.edu:80/10.1145/99583.99623},
publisher = {ACM Press},
}
@article{talpin92polymorphic,
author = "Jean-Pierre Talpin and Pierre Jouvelot",
title = "Polymorphic Type, Region and Effect Inference",
journal = "Journal of Functional Programming",
volume = "2",
number = "3",
publisher = "Cambridge University Press",
pages = "245--271",
month = "July",
year = "1992",
url = "citeseer.nj.nec.com/talpin92polymorphic.html"
}
@inproceedings{tofte94typedlcregionstack,
author = {Mads Tofte and Jean-Pierre Talpin},
title = {Implementation of the typed call-by-value $\lambda$-calculus using a stack of regions},
booktitle = {Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
year = {1994},
isbn = {0-89791-636-0},
pages = {188--201},
location = {Portland, Oregon, United States},
doi = {http://0-doi.acm.org.ilsprod.lib.neu.edu:80/10.1145/174675.177855},
publisher = {ACM Press},
}
@inproceedings{tofte94typedlcregionstack,
author = {Mads Tofte and Jean-Pierre Talpin},
title = {Implementation of the typed call-by-value $\lambda$-calculus using a stack of regions},
booktitle = {Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
year = {1994},
isbn = {0-89791-636-0},
pages = {188--201},
location = {Portland, Oregon, United States},
doi = {http://0-doi.acm.org.ilsprod.lib.neu.edu:80/10.1145/174675.177855},
publisher = {ACM Press},
}
Feb 23: Dependent Types
@incollection{ barendregt92lambda,
author = "Henk Barendregt",
title = " Lambda Calculi with Types ",
booktitle = "Handbook of Logic in Computer Science, Volumes 1 (Background: Mathematical Structures) and 2 (Background: Computational Structures), Abramsky and Gabbay and (Eds.), Clarendon",
volume = "2",
year = "1992",
url = "citeseer.nj.nec.com/barendregt92lambda.html"
}
@phdthesis{ xi98practical,
author = "Hongwei Xi",
title = "Dependent Types in Practical Programming",
school = "Carnegie Mellon University",
year = "1998",
url = "http://citeseer.nj.nec.com/xi98dependent.html" }
@inproceedings{ xi98eliminating,
author = "Hongwei Xi and Frank Pfenning",
title = " Eliminating Array Bound Checking Through Dependent Types ",
booktitle = "{SIGPLAN} Conference on Programming Language Design and Implementation",
pages = "249-257",
year = "1998",
url = "citeseer.nj.nec.com/xi98eliminating.html" }
@inproceedings{ augustsson98cayenne,
author = "Lennart Augustsson",
title = " Cayenne - a Language with Dependent Types ",
booktitle = "International Conference on Functional Programming",
pages = "239--250",
year = "1998",
url = "citeseer.nj.nec.com/augustsson98cayenne.html" }
Feb 23: The Curry-Howard Isomorphism
@book{ curry58,
title = "Combinatory Logic, Volume I",
author = "Curry, Haskell Brookes and Feys, Robert",
year = 1958,
series = "Studies in Logic and the Foundations of Mathematics",
pages = "xvi+417",
publisher = "North-Holland",
address = "Amsterdam",
note = "Second printing 1968"
}
@inproceedings{ martin85,
author = {P. Martin-L\"of},
title = "Constructive mathematics and computer programming",
booktitle = "Proc. of a discussion meeting of the Royal Society of London on Mathematical logic and programming languages",
year = 1985,
pages = "167--184",
location = "London, United Kingdom",
publisher = "Prentice-Hall, Inc."
}
@inproceedings{ griffin90,
author = "Timothy G. Griffin",
title = "A formulae-as-type notion of control",
booktitle = "Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages",
year = 1990,
location = "San Francisco, California, United States",
pages = "47--58",
publisher = "ACM Press"
}
@incollection{ howard69,
author = "W. A. Howard",
title = "The Formulae-As-Types Notion Of Construction",
booktitle = "To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism",
publisher = "Academic Press, Inc.",
year = 1980,
editor = "J. P. Seldin and J. R. Hindley",
pages = "479--490",
address = "New York, N.Y."
}
@book{ girard89,
author = "Jean-Yves Girard and Paul Taylor and Yves Lafont",
title = "Proofs and types",
year = 1989,
publisher = "Cambridge University Press"
}
Feb 9: Semantics of OOPLs (early)
@article{ cardelli85understanding,
author = "Luca Cardelli and Peter Wegner",
title = "On Understanding Types, Data Abstraction, and Polymorphism",
journal = "ACM Computing Surveys",
volume = "17",
number = "4",
pages = "471--522",
year = "1985",
url = "citeseer.nj.nec.com/cardelli85understanding.html"
}
@inproceedings{ cook89denotational-a,
author = "William Cook and Jens Palsberg",
title = "A denotational semantics of inheritance and its correctness",
booktitle = "Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications ({OOPSLA})",
journal = "SIGPLAN Notices",
volume = "24",
number = "10",
publisher = "ACM Press",
address = "New York, NY",
editor = "Norman Meyrowitz",
pages = "433--444",
year = "1989",
url = "citeseer.nj.nec.com/article/cook94denotational.html"
}
@inproceedings{reddy88closures,
author = "U. S. Reddy",
title = "Objects as closures: Abstract semantics of
object-oriented languages",
booktitle = lfp,
pages = "289--297"
year = "1998"
}
@inproceedings{kamin88smalltalk,
author = "S. N. Kamin",
title = "Inheritance in {SMALLTALK-80}: A denotational definition",
booktitle = popl,
pages = "80--87"
year = "1998"
}
@incollection{kamin-reddy88oo-sem,
author = "S. N. Kamin and U. S. Reddy",
title = "Two semantic models of object-oriented languages",
booktitle = "Theoretical Aspects of Object-Oriented Languages",
publisher = "MIT Press",
address = "Boston",
editor = "C. A. Gunter and J. C. Mitchell",
pages = "463-495",
year = "1994"
}
Feb 9: Functional Reflection
@TechReport{smith_bc:1984a2,
author = "Brian C. Smith",
title = "Reflection and Semantics in {LISP}",
institution = "Center for the Study of Language and Information",
number = "CSLI-84-8",
year = "1984",
address = "Palo Alto",
}
@InProceedings{Danvy:Malmkjaer:acm:lfp:1988,
author = "Oliver Danvy and Karoline Malmkj{\ae}r",
email = "{danvy,karoline}@diku.dk",
title = "Intensions and Extensions in a Reflective Tower",
booktitle = "Proceedings of the 1988 {ACM} Conference on Lisp and
Functional Programming",
organization = "ACM",
publisher = "ACM",
month = jul,
year = "1988",
pages = "327--341"
}
@InProceedings{Friedman:Wand:acm:lfp:1984,
author = "Daniel P. Friedman and Mitchell Wand",
title = "Reification: Reflection without Metaphysics",
booktitle = "Conference Record of the 1984 {ACM} Symposium on Lisp
and Functional Programming",
organization = "ACM",
publisher = "ACM",
month = aug,
year = "1984",
pages = "348--355"
}
@InCollection{Wand88,
author = "Mitchell Wand and Daniel P. Friedman",
editor = "P. Maes and D. Nardi",
title = "The Mystery of the Tower Revealed: {A} Non-Reflective
Description of the Reflective Tower",
booktitle = "Meta-Level Architectures and Reflection",
pages = "111--134",
publisher = "Elsevier Sci. Publishers B.V. (North Holland)",
year = "1988",
note = "Also to appear in Lisp and Symbolic Computation",
}
Feb 9: Early Work on Program Design
@article{knuthgoto,
author = {Donald E. Knuth},
title = {Structured Programming with go to Statements},
journal = {ACM Comput. Surv.},
volume = {6},
number = {4},
year = {1974},
issn = {0360-0300},
pages = {261--301},
doi = {http://doi.acm.org/10.1145/356635.356640},
publisher = {ACM Press},
}
@article{gotoharm,
author = {Edsger W. Dijkstra},
title = {Letters to the editor: go to statement considered harmful},
journal = {Commun. ACM},
volume = {11},
number = {3},
year = {1968},
issn = {0001-0782},
pages = {147--148},
doi = {http://doi.acm.org/10.1145/362929.362947},
publisher = {ACM Press},
}
@article{knuthart,
author = {Donald E. Knuth},
title = {Computer programming as an art},
journal = {Commun. ACM},
volume = {17},
number = {12},
year = {1974},
issn = {0001-0782},
pages = {667--673},
doi = {http://doi.acm.org/10.1145/361604.361612},
publisher = {ACM Press},
}
@Book{structprog,
author = {O.-J. Dahl and E. W. Dijkstra and C. A. R. Hoare},
ALTeditor = {},
title = {Structured Programming},
publisher = {Academic Press},
year = {1972},
}
@Book{elementsfirst,
author = {Brian W. Kernighan and P.J. Plauger},
ALTeditor = {},
title = {The Elements of Programming Style},
publisher = {McGraw-Hill Book Company},
year = {1974},
}
@Book{elementssecond,
author = {Brian W. Kernighan and P.J. Plauger},
ALTeditor = {},
title = {The Elements of Programming Style},
publisher = {McGraw-Hill Book Company},
year = {1978},
}
@Book{popd,
author = {Michael A. Jackson},
ALTeditor = {},
title = {Principles of Program Design},
publisher = {Academic Press},
year = {1975},
}
Feb 2: Value Inference via Set-Based Analysis
@inproceedings{ aiken94soft,
author = "Alexander Aiken and Edward L. Wimmers and T. K. Lakshman",
title = "Soft Typing with Conditional Types",
booktitle = "Conference Record of {POPL} '94: 21ST {ACM} {SIGPLAN}-{SIGACT} Symposium on Principles of Programming Languages, Portland, Oregon",
address = "New York, NY",
pages = "163--173",
year = "1994",
url = "citeseer.nj.nec.com/aiken94soft.html" }
@inproceedings{ heintze94set,
author = "Nevin Heintze and Joxan Jaffar",
title = "Set Constraints and Set-Based Analysis",
booktitle = "Principles and Practice of Constraint Programming",
pages = "281-298",
year = "1994",
url = "citeseer.nj.nec.com/heintze94set.html" }
@inproceedings{aiken99,
author = "A. Aiken",
title = "Introduction to Set Constraint-Based Program Analysis",
booktitle = "Science of Computer Programming (SCP)",
volume = "35",
number = "2",
pages = "79-111",
year = "1999" }
@techreport{ heintze93set,
author = "Nevin Heintze",
title = "Set Based Analysis of {ML} Programs (Extended Abstract)",
institution = "Carnegie Mellon University",
number = "CS-93-193",
pages = "20",
year = "1993",
url = "citeseer.nj.nec.com/article/heintze93set.html" }
@inproceedings{ heintze92engine,
author = "Nevin Heintze and Joxan Jaffar",
title = "An Engine for Logic Program Analysis",
booktitle = "Logic in Computer Science",
pages = "318-328",
year = "1992",
url = "citeseer.nj.nec.com/heintze92engine.html" }
Feb 2: Type Inference for ML
@InProceedings{Damas:Milner:1982:Principal,
author = "Luis Damas and Robin Milner",
title = "Principal Type-Schemes for Functional Programs",
booktitle = "Conference Record of the Ninth Annual {ACM} Symposium
on Principles of Programming Languages",
organization = "ACM",
publisher = "ACM",
month = jan,
year = "1982",
pages = "207--212"
}
@PhdThesis{Tofte:1988:phd,
author = "Mads Tofte",
title = "Operational semantics and polymorphic type inference",
school = "University of Edinburgh",
year = "1988"
}
@InProceedings{Leroy:1991:Polymorphic,
author = "X. Leroy and P. Weis",
title = "Polymorphic type inference and assignment",
booktitle = "Conference Record of the Eighteenth Annual {ACM}
Symposium on Principles of Programming Languages",
organization = "ACM",
publisher = "ACM",
month = jan,
year = "1991",
pages = "291--302"
}
@InProceedings{Wright:1992:Effect,
author = "Andrew K. Wright",
title = "Typing References by Effect Inference",
booktitle = "{ESOP '92}, {$4^{th}$} European Symposium on Programming",
editor = "Bernd Krieg-Br{\"u}ckner",
year = "1992",
series = "LNCS",
volume = "582",
publisher = "Springer",
pages = "473--491"
}
@Article{Wright:1995:Polymorphism,
author = "Andrew K. Wright",
title = "Simple Imperative Polymorphism",
journal = "Lisp and Symbolic Computation",
volume = "8",
number = "4",
pages = "343--355",
month = dec,
year = "1995",
CODEN = "LSCOEX",
ISSN = "0892-4635"
}
Feb 2: Type Soundness
@article{milner-78-theory,
author = "Milner, R.",
title = "A Theory of Type Polymorphism in Programming",
journal = "Journal of Computer and Systems Science",
year = "1978",
month = dec,
volume = "17",
pages = "348--375",
}
@article{tofte-90-type,
author = "Mads Tofte",
title = "Type Inference for Polymorphic References",
journal = "Information and Computation",
year = 1990,
pages = "1--34",
volume = 89,
number = 1,
month = nov,
editor = "Albert Meyer",
publisher = "Academic Press, Inc."
}
@article{wright-94-syntactic,
author = "Andrew K. Wright and Matthias Felleisen",
title = "A Syntactic Approach to Type Soundness",
journal = "Information and Computation",
volume = "115",
number = "1",
pages = "38--94",
year = "1994",
url = "\url{http://citeseer.nj.nec.com/wright92syntactic.html}",
note="{F}irst appeared as Technical Report TR160, Rice University, 1991"
}
Jan 26: Operational Semantics (Afternoon)
@article{mt:state,
title="Inferring the equivalence of functional programs that mutate data",
author="Ian A. Mason and Carolyn Talcott",
journal=tcs,
volume=105,
issue=2,
year=1992,
pages="167--215",
notes="Preliminary version in: {\it Proc. Symposium on Logic in Computer
Science\/}. Computer Society Press, Washington, D.C., 1989, 284--293."
}
@article{wf:type-soundness,
author="Andrew Wright and Matthias Felleisen",
title="A syntactic approach to type soundness.",
journal="Information and Computation",
vol=115,
num=1,
year=1994,
pages="38--94",
note="{F}irst appeared as Technical Report TR160, Rice University, 1991"}
@techreport{ gp:sos,
author="Gordon Plotkin",
title="A structural approach to operational semantics",
institution="{A}arhus {U}niversity, {C}omputer {S}cience {D}epartment",
type=tr,
number="DAIMI FN-19",
year=1981
}
@inproceedings{ cddkm:miniml,
author="D. Clement and J. Despeyroux and T. Despeyroux and G. Kahn",
title="A simple applicative language: {M}ini-{ML}",
booktitle=lfp,
year="1986",
pages="13--28"
}
@phdthesis{m:lc-models,
title="Lambda-Calculus Models of Programming Languages",
author="Morris, J. H.",
school="{Massachusetts Institute of Technology}",
year=1968}
@article{ gdp:cbn-cbv,
author="Gordon D.~Plotkin",
title="Call-by-name, call-by-value, and the $\lambda$-calculus",
journal=tcs,
year=1975,
pages="125--159"
}
Jan 12: Denotational Semantics (High Noon, Parts 1, 2, and 3)
@inproceedings{ cd:grad,
author="Robert Cartwright and Alan Demers",
title="The topology of program termination",
booktitle="Proceedings of the Symposium on Logic in Computer Science",
year=1988,
pages="296--308"
}
@article{ gp:t-omega,
author="Gordon Plotkin",
title="{${\bf T}^\omega$} as a Universal Domain",
journal="Journal of Computers Systems Science",
volume=17,
year=1978,
pages="209--236"
}
@article{rm:pcf,
author="Robin Milner",
title="Fully abstract models of typed {$\lambda$}-calculi.",
journal=tcs,
volume=4,
year=1977,
pages="1--22"}
Scott-Strachey (denotational semantics: I need to find a copy)
@article{gdp:lcf-as-pl,
author="Gordon D.~Plotkin",
title="{LCF} Considered as a Programming Language",
journal=tcs,
year="1977",
pages="223--255"}
@inproceedings{dss:domains-denot-sem,
author="Dana S.~Scott",
title="Domains for Denotational Semantics",
booktitle=icalp,
year="1982"}
@article{ ds:datatypes-as-lattices,
author="Dana S. Scott",
title="Data types as lattices",
journal="SIAM Journal of Computing",
volume=5
issue=3,
year=1976,
pages="522--587"
}
@techreport{ sw:continuations,
author="C. Strachey and C.P. Wadsworth",
title="Continuations: A mathematical semantics for handling full jumps",
institution="{O}xford {U}niversity {C}omputing {L}aboratory",
type=tr,
number="PRG-11",
year=1974
}
Jan 5: Prehistory (Administrivia, Dawn, Morning)
@article{algol60,
author = "Naur, P. (Ed.)",
title = "Rev\-ised report on the algorithmic language ALGOL 60",
journal = cacm,
volume = 6,
number = 1,
year = 1963,
pages = "1--17"
}
@article{ pl:secd,
author="Peter J. Landin",
title="The mechanical evaluation of expressions",
journal="Computer Journal",
year=1964,
volume=6,
issue=4,
pages="308--320"
}
@article{ pl:algol,
author="Peter J. Landin",
title="A correspondence between {ALGOL} 60 and {Church's} lambda
notation",
journal=cacm,
year=1965,
volume=8,
issue=2,
pages="89--101; 158--165"
}
@inproceedings{ pl:algol0,
author="Peter J. Landin",
title="A formal description of {ALGOL} 60",
booktitle=
"Formal Language Description Languages for Computer Programming",
year=1966,
pages="266--294",
}
@article{ pl:iswim,
author="Peter J. Landin",
title="The next 700 programming languages",
journal=cacm,
year=1966,
volume=9,
issue=3,
pages="157--166"
}
@inproceedings{ jmc:basis,
author="John McCarthy",
title="A basis for a mathematical theory of computations",
booktitle="Computer Programming and Formal Systems",
editor="Braffort and Hershberg",
year=1963,
pages="33--70"
}
@inproceedings{ jmc:toward,
author="John McCarthy",
title="Towards a mathematical science of computation",
booktitle="Information Processing: The 1962 IFIP Congress",
year=1963,
pages="21--28"
}
@inproceedings{ jmc:algol,
author="John McCarthy",
title="A formal description of a subset of {ALGOL}",
booktitle=
"Formal Language Description Languages for Computer Programming",
year=1966,
pages="1--12"
}
@phdthesis{m:lc-models,
title="Lambda-Calculus Models of Programming Languages",
author="Morris, J. H.",
school="{Massachusetts Institute of Technology}",
year=1968}
@article{ gdp:cbn-cbv,
author="Gordon D.~Plotkin",
title="Call-by-name, call-by-value, and the $\lambda$-calculus",
journal=tcs,
year=1975,
pages="125--159"
}
|