Mark Leone maintains a <a href="http://www.cs.cmu.edu/~mleone/language-research.html">programming
languages research nexus</a>.
<p>















<p>
<h2>References</h2><dl>
<a name="Alpha"><dt>Alpha<dd>Richard L Sites. Alpha AXP architecture. <em>CACM</em>36:?.</a>
<a name="Appel"><dt>Appel<dd>Andrew Appel. <em>Compiling with Continuations</em>. Cambridge University Press 1992.</a>
<a name="Apply"><dt>Apply<dd>L G C Hamey, J A Webb, I-Chien Wu. An Architecture Independent Programming Language for Low-Level Vision. <em>Computer Vision, Graphics, and Image Processing</em>48?:.</a>
<a name="Blit"><dt>Blit<dd>Rob Pike, Bart Locanthi, John Reiser. Hardware/Software Trade-offs for Bitmap Graphics on the Blit. <em>Software-Practice and Experience</em>15:131-151.</a>
<a name="Cellang"><dt>Cellang<dd>Cellang. ? 1995. <a href="http://rucs2.sunlab.cs.runet.edu/~dana/ca/cellular.html">original</a>.</a>
<a name="chip-architecture-intro"><dt>chip-architecture-intro<dd>John L Hennessy, David A Patterson. <em>Computer Architecture: A Quantitative Approach</em>. Morgan Kaufmann 1990.</a>
<a name="CLtL"><dt>CLtL<dd>Guy Steele. <em>Common Lisp the Language</em>. Digital Press 1990. <a href="http://www.cs.cmu.edu/afs/cs.cmu.edu/project/ai-repository/ai/html/cltl/cltl2.html">original</a>.</a>
<a name="cmix"><dt>cmix<dd>Lars Ole Andersen. <em>Program Analysis and Specialization for the C Programming Language</em>. DIKU 1994.</a>
<a name="collection-oriented-languages"><dt>collection-oriented-languages<dd>Jay M Sipelstein, Guy E Blelloch. Collection-Oriented Languages. <em>Proceedings of the IEEE</em>?:?.</a>
<a name="Consel90"><dt>Consel90<dd>Charles Consel. Binding Time Analysis for Higher Order Untyped Functional Languages. <em>ACM Conference on Lisp and Functional Programming</em>, 1990.</a>
<a name="DCG"><dt>DCG<dd>Dawson Englar, Todd Proebsting. DCG: An Efficient, Retargetable Dynamic Code Generation System. <em>ASPLOS</em>, 1994. <a href="http://amsterdam.lcs.mit.edu/~engler/dcg.ps">original</a>.</a>
<a name="DeRe93"><dt>DeRe93<dd>N Dershowitz, U Reddy. Deductive and Inductive Synthesis of Equational Programs. <em>Journal of Symbolic Computation</em>15:467-494.</a>
<a name="DOOM"><dt>DOOM<dd>DOOM. id Software 1993. <a href="http://www.idsoftware.com/">original</a>.</a>
<a name="Dragon"><dt>Dragon<dd>A V Aho, R Sethi, J D Ullman. <em>Compilers: Principles, Techniques, and Tools</em>. Addison-Wesley 1986.</a>
<a name="Draves95"><dt>Draves95<dd>Scott Draves. Lightweight Languages for Interactive Graphics. CMU-CS-95-148. <a href="http://hopeless.mess.cs.cmu.edu:8001/HyperNews/get/nitrous-feedback.html">original</a>.</a>
<a name="Elf"><dt>Elf<dd>Frank Pfenning. Logic Programming in the LF Logical Framework. <em>Logical Frameworks</em>, 1991.</a>
<a name="elisp"><dt>elisp<dd>Richard Stallman. <em>GNU Emacs Manual</em>. Free Software Foundation 1987. <a href="http://www.ai.mit.edu/!info/lispref/!!first">original</a>.</a>
<a name="Explorer"><dt>Explorer<dd>IRIS Explorer. Numerical Algorithms Group, Ltd 1995. <a href="http://www.nag.co.uk:70/1h/Welcome_IEC">original</a>.</a>
<a name="Fabius"><dt>Fabius<dd>Mark Leone, Peter Lee. Lightweight Run-Time Code Generation. <em>Partial Evaluation and Semantics-Based Program
       Manipulation</em>, 1994. <a href="http://www.cs.cmu.edu/~mleone/papers/lw-rtcg.ps">original</a>. <a href="refs/lw-rtcg.ps.gz">local</a>.</a>
<a name="FFvDH"><dt>FFvDH<dd>Foley, Feiner, Andries van Dam, John Hughes. <em>Computer Graphics: Principles and Practice</em>. Addison-Wesley 1990.</a>
<a name="fnord"><dt>fnord<dd>Fnord:  a Visualization System for Differential Geometry. Brown University 1991. <a href="http://www.cs.cmu.edu/~spot/fnord.html">original</a>.</a>
<a name="FriedmanWand84"><dt>FriedmanWand84<dd>Daniel P Friedman, Mitchell Wand. Reification: Reflection without Metaphysics. <em>ACM Conference on Lisp and Functional Programming</em>, 1984.</a>
<a name="GCC"><dt>GCC<dd>R M Stallman. <em>Using and Porting GNU CC</em>. Free Software Foundation 1989. <a href="http://www.ai.mit.edu/!info/gcc.info">original</a>.</a>
<a name="GluJo94"><dt>GluJo94<dd>R Gl&uuml;ck, J J&oslash;rgensen. Generating Optimizing Specializers. <em>IEEE Computer Society International Conference on
            Computer Languages</em>, 1994.</a>
<a name="GluJo95"><dt>GluJo95<dd>R Gl&uuml;ck, J J&oslash;rgensen. Efficient Multi-Level Generating Extensions for Program Specialization. <em>Programming Language Implementation and Logic
             Programming</em>, 1995.</a>
<a name="Henglein91"><dt>Henglein91<dd>Fritz Henglein. Efficient Type Inference for Higher-Order Binding-Time Analysis. <em>International Conference on Functional
            Programming Languages and Computer Architecture</em>, 1991.</a>
<a name="implementation-functional-languages"><dt>implementation-functional-languages<dd>Simon L Peyton Jones. <em>The Implementation of Functional Programming Languages</em>. Prentice-Hall 1987.</a>
<a name="JoGoSe93"><dt>JoGoSe93<dd>N Jones, C K Gomard, P Sestoft. <em>Partial Evaluation and Automatic Program Generation</em>. Prentice-Hall 1993.</a>
<a name="JoSche86"><dt>JoSche86<dd>Ulric J&oslash;rring, William Scherlis. Compilers and Staging Transformations. <em>Principles of Programming Languages</em>, 1986.</a>
<a name="KeEgHe91"><dt>KeEgHe91<dd>D Keppel, S J Eggers, R R Henry. A Case for Runtime Code Generation. UW-CSE-91-11-04. <a href="ftp://ftp.cs.washington.edu/tr/1991/11/UW-CSE-91-11-04.PS.Z">original</a>.</a>
<a name="KeEgHe93"><dt>KeEgHe93<dd>D Keppel, S J Eggers, R R Henry. Evaluating Runtime-Compiled Value-Specific Optimizations. UW-CSE-91-11-04. <a href="ftp://ftp.cs.washington.edu/tr/1993/11/UW-CSE-93-11-02.PS.Z">original</a>. <a href="refs/a-case-for-rtcg.ps.gz">local</a>.</a>
<a name="Kiczales92"><dt>Kiczales92<dd>Gregor Kiczales. Towards a New Model of Abstraction in the Engineering of Software. <em>IMSA</em>, 1992. <a href="http://www.xerox.com/PARC/spl/eca/oi/gregor-invite/transcript.html">original</a>.</a>
<a name="MediaProcessor"><dt>MediaProcessor<dd>John Moussouris, Craig Hansen. Architecture of a Broadband Media Processor. <em>Microprocessor Forum</em>?:?. <a href="http://192.216.206.4/www/announce.html">original</a>.</a>
<a name="MINT"><dt>MINT<dd>J E Veenstra, R J Fowler. MINT: a front end for efficient simulation of shared-memory
         multiprocessors. <em>Modeling and Simulation of Computers and
              Tlecommunications Systems</em>, 1994.</a>
<a name="Mogensen89"><dt>Mogensen89<dd>Torben Mogensen. <em>Binding Time Aspects of Partial Evaluation</em>. DIKU 1989.</a>
<a name="Netscape"><dt>Netscape<dd>Netscape Navigator. Netscape Communications Corporation 1995. <a href="http://home.netscape.com/">original</a>.</a>
<a name="OmniVM"><dt>OmniVM<dd>Colusa Software. Omniware: A Universal Substrate for Mobile Code. <em>WWW</em>, 1995.</a>
<a name="Photoshop"><dt>Photoshop<dd>PhotoShop 3.0. Adobe Systems, Inc 1995. <a href="http://www.adobe.com/Apps/Photoshop.html">original</a>.</a>
<a name="PostScript"><dt>PostScript<dd>Adobe Systems, Inc. <em>PostScript Language Reference Manual</em>. Addison-Wesley 1990.</a>
<a name="pre-scheme"><dt>pre-scheme<dd>Richard Kelsey. Pre-Scheme: A Scheme Dialect for Systems Programming. ?.</a>
<a name="QD"><dt>QD<dd>QuickDraw GX. Apple Computer, Inc 1995. <a href="http://www.info.apple.com/gx/gx.html">original</a>.</a>
<a name="R4RS"><dt>R4RS<dd>William Clinger, Jonathan Rees. Revised<img WIDTH=12 HEIGHT=13 align=absmiddle src="dag.texhtml.8.gif" alt="{}^4"> Report on the Algorithmic Language Scheme. <em>LISP Pointers</em>IV:1-55.</a>
<a name="RenderMan"><dt>RenderMan<dd>Steve Upstill. <em>The RenderMan Companion: A Programmer's Guide to Realistic Computer Graphics</em>. Addison-Wesley 1989.</a>
<a name="Scheme48"><dt>Scheme48<dd>Richard Kelsey, Jonathan Rees. A Tractable Scheme Implementation. <em>Lisp and Symbolic Computation</em>?:?. <a href="http:/ftpdir/users/jar/lsc.ps">original</a>.</a>
<a name="Schism"><dt>Schism<dd>Charles Consel. New Insights into Partial Evaluation: The Schism Experiment. <em>European Symposium on Programming</em>, 1988.</a>
<a name="ScriptX"><dt>ScriptX<dd>ScriptX. Kaleida Labs, Inc 1995. <a href="http://www.kaleida.com/products/sx-tech-overview.html">original</a>.</a>
<a name="Similix"><dt>Similix<dd>A Bondorf, O Danvy. Automatic Autoprojection of Recursive Equations with Global
         Variables and Abstract Data Types. <em>Science of Computer Programming</em>16:151-195.</a>
<a name="Slicing"><dt>Slicing<dd>Susan Horwitz, Thomas Reps. The Use of Program Dependence Graphs in Software Engineering. <em>ICSE</em>, 1992. <a href="http://www.cs.wisc.edu/wpis/html/#icse92">original</a>. <a href="refs/slicing.ps.gz">local</a>.</a>
<a name="Synthesis"><dt>Synthesis<dd>Henry Massalin. <em>Efficient Implementation of Fundamental Operating System Services</em>. Columbia 1992.</a>
<a name="tcltk"><dt>tcltk<dd>John Ousterhout. <em>Tcl and the Tk Toolkit</em>. Addison-Wesley 1994. <a href="http://www.sunlabs.com/research/tcl/">original</a>.</a>
<a name="tempo"><dt>tempo<dd>Charles Consel, Luke Hornof, Francois No&euml;l, Jacque Noy&eacute;, Nicolae Volanschi. A Uniform Approach for Compile-Time and Run-Time Specialization. <em>Dagstuhl Workshop on Partial Evaluation</em>, 1996.</a>
<a name="tick-C"><dt>tick-C<dd>Dawson Engler, Wilson Hsieh, M Frans Kaashoek. `C: A Language for High-Level, Efficient, and
         Machine-independent Dynamic Code Generation. <em>Conference on Programming Language Design and
            Implementation</em>, 1995. <a href="http://amsterdam.lcs.mit.edu/~engler/pldi-tickc.ps">original</a>. <a href="refs/backquote-c.ps.gz">local</a>.</a>
<a name="Visual-Basic"><dt>Visual-Basic<dd>Visual Basic v3.0 for Windows. Microsoft 1995. <a href="http://www.microsoft.com/pages/sales/vbwin30.htm">original</a>.</a>
<a name="WoLa91"><dt>WoLa91<dd>Michael Wolf, Monica Lam. A Data Locality Optimizing Algorithm. <em>Conference on Programming Language Design and
            Implementation</em>, 1991.</a>
<a name="yacc"><dt>yacc<dd>Stephen C Johnson. YACC - Yet Another Compiler-Compiler. Bell Labs 1975.</a>
</dl>

<br>
<p>
<br>
<p>
<br>
<p>
<br>
<p>
<br>
<p>
<br>
<p>
<br>
<p>
<br>
<p>