Mark Leone maintains a programming
languages research nexus.
References
- Alpha
- Richard L Sites. Alpha AXP architecture. CACM36:?.
- Appel
- Andrew Appel. Compiling with Continuations. Cambridge University Press 1992.
- Apply
- L G C Hamey, J A Webb, I-Chien Wu. An Architecture Independent Programming Language for Low-Level Vision. Computer Vision, Graphics, and Image Processing48?:.
- Blit
- Rob Pike, Bart Locanthi, John Reiser. Hardware/Software Trade-offs for Bitmap Graphics on the Blit. Software-Practice and Experience15:131-151.
- Cellang
- Cellang. ? 1995. original.
- chip-architecture-intro
- John L Hennessy, David A Patterson. Computer Architecture: A Quantitative Approach. Morgan Kaufmann 1990.
- CLtL
- Guy Steele. Common Lisp the Language. Digital Press 1990. original.
- cmix
- Lars Ole Andersen. Program Analysis and Specialization for the C Programming Language. DIKU 1994.
- collection-oriented-languages
- Jay M Sipelstein, Guy E Blelloch. Collection-Oriented Languages. Proceedings of the IEEE?:?.
- Consel90
- Charles Consel. Binding Time Analysis for Higher Order Untyped Functional Languages. ACM Conference on Lisp and Functional Programming, 1990.
- DCG
- Dawson Englar, Todd Proebsting. DCG: An Efficient, Retargetable Dynamic Code Generation System. ASPLOS, 1994. original.
- DeRe93
- N Dershowitz, U Reddy. Deductive and Inductive Synthesis of Equational Programs. Journal of Symbolic Computation15:467-494.
- DOOM
- DOOM. id Software 1993. original.
- Dragon
- A V Aho, R Sethi, J D Ullman. Compilers: Principles, Techniques, and Tools. Addison-Wesley 1986.
- Draves95
- Scott Draves. Lightweight Languages for Interactive Graphics. CMU-CS-95-148. original.
- Elf
- Frank Pfenning. Logic Programming in the LF Logical Framework. Logical Frameworks, 1991.
- elisp
- Richard Stallman. GNU Emacs Manual. Free Software Foundation 1987. original.
- Explorer
- IRIS Explorer. Numerical Algorithms Group, Ltd 1995. original.
- Fabius
- Mark Leone, Peter Lee. Lightweight Run-Time Code Generation. Partial Evaluation and Semantics-Based Program
Manipulation, 1994. original. local.
- FFvDH
- Foley, Feiner, Andries van Dam, John Hughes. Computer Graphics: Principles and Practice. Addison-Wesley 1990.
- fnord
- Fnord: a Visualization System for Differential Geometry. Brown University 1991. original.
- FriedmanWand84
- Daniel P Friedman, Mitchell Wand. Reification: Reflection without Metaphysics. ACM Conference on Lisp and Functional Programming, 1984.
- GCC
- R M Stallman. Using and Porting GNU CC. Free Software Foundation 1989. original.
- GluJo94
- R Glück, J Jørgensen. Generating Optimizing Specializers. IEEE Computer Society International Conference on
Computer Languages, 1994.
- GluJo95
- R Glück, J Jørgensen. Efficient Multi-Level Generating Extensions for Program Specialization. Programming Language Implementation and Logic
Programming, 1995.
- Henglein91
- Fritz Henglein. Efficient Type Inference for Higher-Order Binding-Time Analysis. International Conference on Functional
Programming Languages and Computer Architecture, 1991.
- implementation-functional-languages
- Simon L Peyton Jones. The Implementation of Functional Programming Languages. Prentice-Hall 1987.
- JoGoSe93
- N Jones, C K Gomard, P Sestoft. Partial Evaluation and Automatic Program Generation. Prentice-Hall 1993.
- JoSche86
- Ulric Jørring, William Scherlis. Compilers and Staging Transformations. Principles of Programming Languages, 1986.
- KeEgHe91
- D Keppel, S J Eggers, R R Henry. A Case for Runtime Code Generation. UW-CSE-91-11-04. original.
- KeEgHe93
- D Keppel, S J Eggers, R R Henry. Evaluating Runtime-Compiled Value-Specific Optimizations. UW-CSE-91-11-04. original. local.
- Kiczales92
- Gregor Kiczales. Towards a New Model of Abstraction in the Engineering of Software. IMSA, 1992. original.
- MediaProcessor
- John Moussouris, Craig Hansen. Architecture of a Broadband Media Processor. Microprocessor Forum?:?. original.
- MINT
- J E Veenstra, R J Fowler. MINT: a front end for efficient simulation of shared-memory
multiprocessors. Modeling and Simulation of Computers and
Tlecommunications Systems, 1994.
- Mogensen89
- Torben Mogensen. Binding Time Aspects of Partial Evaluation. DIKU 1989.
- Netscape
- Netscape Navigator. Netscape Communications Corporation 1995. original.
- OmniVM
- Colusa Software. Omniware: A Universal Substrate for Mobile Code. WWW, 1995.
- Photoshop
- PhotoShop 3.0. Adobe Systems, Inc 1995. original.
- PostScript
- Adobe Systems, Inc. PostScript Language Reference Manual. Addison-Wesley 1990.
- pre-scheme
- Richard Kelsey. Pre-Scheme: A Scheme Dialect for Systems Programming. ?.
- QD
- QuickDraw GX. Apple Computer, Inc 1995. original.
- R4RS
- William Clinger, Jonathan Rees. Revised
Report on the Algorithmic Language Scheme. LISP PointersIV:1-55.
- RenderMan
- Steve Upstill. The RenderMan Companion: A Programmer's Guide to Realistic Computer Graphics. Addison-Wesley 1989.
- Scheme48
- Richard Kelsey, Jonathan Rees. A Tractable Scheme Implementation. Lisp and Symbolic Computation?:?. original.
- Schism
- Charles Consel. New Insights into Partial Evaluation: The Schism Experiment. European Symposium on Programming, 1988.
- ScriptX
- ScriptX. Kaleida Labs, Inc 1995. original.
- Similix
- A Bondorf, O Danvy. Automatic Autoprojection of Recursive Equations with Global
Variables and Abstract Data Types. Science of Computer Programming16:151-195.
- Slicing
- Susan Horwitz, Thomas Reps. The Use of Program Dependence Graphs in Software Engineering. ICSE, 1992. original. local.
- Synthesis
- Henry Massalin. Efficient Implementation of Fundamental Operating System Services. Columbia 1992.
- tcltk
- John Ousterhout. Tcl and the Tk Toolkit. Addison-Wesley 1994. original.
- tempo
- Charles Consel, Luke Hornof, Francois Noël, Jacque Noyé, Nicolae Volanschi. A Uniform Approach for Compile-Time and Run-Time Specialization. Dagstuhl Workshop on Partial Evaluation, 1996.
- tick-C
- Dawson Engler, Wilson Hsieh, M Frans Kaashoek. `C: A Language for High-Level, Efficient, and
Machine-independent Dynamic Code Generation. Conference on Programming Language Design and
Implementation, 1995. original. local.
- Visual-Basic
- Visual Basic v3.0 for Windows. Microsoft 1995. original.
- WoLa91
- Michael Wolf, Monica Lam. A Data Locality Optimizing Algorithm. Conference on Programming Language Design and
Implementation, 1991.
- yacc
- Stephen C Johnson. YACC - Yet Another Compiler-Compiler. Bell Labs 1975.