Research bibliography database
Reuben Thomas 2/96-3/4/01

Macros

@string{mit = {Massachusetts Institute of Technology}}
@string{spe = {Software---Practice and Experience}}
@string{oreilly = {O'Reilly & Associates}}

Virtual machines

Execution environments

@Misc{java,
  author = "James Gosling and Henry McGilton",
  title = "The {J}ava Language Environment: A White Paper",
  note = "url{http://java.sun.com/}",
  month = may,
  year = 1996}

@Book{jvm,
  author = "Tim Lindholm and Frank Yellin",
  title = "The {J}ava Virtual Machine Specification",
  edition = "Second",
  publisher = "Addison-Wesley",
  year = 1999}

@Book{jvmsem,
  editor = "J. Alves-Foss",
  title = "Formal Syntax and Semantics of {J}ava",
  series = "Lecture Notes in Computer Science",
  volume = 1523,
  publisher = "Springer-Verlag",
  year = 1999}

@InProceedings{cacao,
  author = "Andreas Krall",
  title = "Efficient {JavaVM} Just-In-Time Compilation",
  booktitle = "{PACT} '98 proceedings",
  year = 1998}

@Misc{dis,
  author = "Phil Winterbottom and Rob Pike",
  title = "The design of the {I}nferno virtual machine",
  note = "Lucent Technologies",
  url = "url{http://plan9.bell-labs.com/cm/cs/who/rob/hotchips.html}",
  year = 1997}

@InCollection{disspec,
  title = "Dis Virtual Machine Specification",
  booktitle = "Inferno User's Guide",
  publisher = "Lucent Technologies",
  key = "Lucent Technologies",
  chapter = "7",
  year = 1997}

@Misc{disspeed,
  author = "Rob Pike",
  note = "{L}ucent {T}echnologies",
  howpublished = "Private communication",
  year = 1997}

@InProceedings{inferno,
  author = "S. Dorward and others",
  title = "{I}nferno",
  booktitle = "IEEE Compcon~'97 Proceedings",
  year = 1997}

@Misc{juice,
  author = "Michael Franz and Thomas Kistler",
  title = "Introducing {J}uice",
  note = "url{http://caesar.ics.uci.edu/juice/intro.html}",
  year = 1996}

@Misc{practical,
  title = "The {PRACTICAL} Virtual Machine Architecture",
  author = "MicroProcessor Engineering",
  year = 1998}

@Misc{elate,
  title = "Elate",
  key = "Tao Systems",
  author = "Tao Systems",
  year = 1999,
  note = "url{http://www.tao.co.uk/}"}

@InProceedings{omniware,
  author = "S. Lucco and O. Sharp and R. Wahbe",
  title = "Omniware: A Universal Substrate for Mobile Code",
  booktitle = "Proceedings of Fourth International World Wide Web
               Conference",
  address = mit,
  year = 1995,
  note = "url{http://www.w3.org/pub/Conferences/WWW4/Papers/165/}"}

@InProceedings{omniware2,
  author = "A. Adl-Tabatabai and G. Langdale and S. Lucco and R. Wahbe",
  title = "Efficient and Language-Independent Mobile Programs",
  booktitle = "Proceedings of the {ACM} {SIGPLAN} Symposium on Programming
               Language Design and Implementation ({PLDI}~'96)",
  publisher = "ACM",
  address = "Philadelphia, PA",
  pages = "127--136",
  month = may,
  year = 1996}

@Misc{origin,
  author = "180 Software Ltd",
  title = "{ORIGIN} White Paper",
  note = "url{http://www.180sw.com/}",
  year = 2000}

@Misc{lightning,
  author = "Paulo Bonzini",
  title = "Using and porting {GNU} textit{lightning}",
  note = "url{ftp://alpha.gnu.org/gnu/}",
  year = 2000}

Poplog

@TechReport{pop2level,
  author = "Robert Smith and Aaron Sloman and John Gibson",
  title = "{P}oplog's Two-Level Virtual Machine Support for Interactive
           Languages",
  institution = "University of Sussex",
  number = "CSRP~153",
  year = 1990}

@TechReport{pophigh,
  author = "Robert M. Smith",
  title = "A High Performance Version of the {POPLOG} Virtual Machine",
  institution = "University of Sussex",
  number = "CSRP~117",
  year = 1988}

@TechReport{poplog,
  author = "Steven Hardy",
  title = "The {POPLOG} Programming System",
  institution = "University of Sussex",
  number = "CSRP~003",
  year = 1982}

@TechReport{stacksemant,
  author = "Robin Popplestone",
  title = "A Typed Operational Semantics Based on Grammatical
        Characterisation of an Abstract Machine",
  institution = "University of Glasgow",
  number = "FP-94-02",
  year = 1994}

@TechReport{stacktype,
  author = "Robin Popplestone",
  title = "Specifying Types by Grammars: A Polymorphic Static Type Checker
        Operating at a Stack Machine Level",
  institution = "University of Glasgow",
  number = "FP-94-01",
  year = 1994}

Cintcode and BCPL

@Book{bcpl,
  author = "Martin Richards and Colin Whitby-Strevens",
  title = "BCPL---the language and its compiler",
  publisher = "Cambridge University Press",
  year = 1979}

@TechReport{intcode,
  author = "Martin Richards",
  title = "Intcode: an Interpretive Machine Code for {BCPL}",
  institution = "University of Cambridge Computer Laboratory",
  month = dec,
  year = 1972,
  note = "Revised " # aug # " 1975"}

@Manual{cintcode,
  author = "Chris Jobson and John Richards",
  title = "{BCPL} for the {BBC} Microcomputer",
  publisher = "Acornsoft",
  year = 1983}

@Misc{cintweb,
  author = "Martin Richards",
  title = "{C}intcode distribution",
  note = "url{http://www.cl.cam.ac.uk/~mr/BCPL.html}",
  year = 2000}

C--
  
@InProceedings{c--,
  author = "Peyton Jones, Simon and Thomas Nordia and Dino Oliva",
  title = "texttt{C-{}-}: A Portable Assembly Language",
  booktitle = "Proceedings of the 1997 Workshop on Implementing Functional
               Languages",
  year = 1997}

@InProceedings{c--gc,
  author = "Peyton Jones, Simon and Norman Ramsey and Fermin Reig",
  title = "texttt{C-/-}: a portable assembly language that supports garbage
           collection",
  booktitle = "Proceedings of {PPDP} '99",
  year = 1999}

@InProceedings{c--except,
  author = "Norman Ramsey and Peyton Jones, Simon",
  title = "A Single Intermediate Language That Supports Multiple
           Implementations of Exceptions",
  booktitle = "Proceedings of {PLDI} '00",
  year = 2000}

@Misc{c--conc,
  author = "Peyton Jones, Simon and Norman Ramsey",
  title = "The texttt{C-/-} run-time interface for concurrency",
  note = "url{http://www.cminusminus.org/abstracts/c--concurrency.html}",
  year = 2000}

Miscellaneous

@InProceedings{twolevel,
  author = "Thomas Pittman",
  title = "Two-level Hybrid Interpreter/Native Code Execution for Combined
    Space-Time Program Efficiency",
  booktitle = "Symposium on Interpreters and Interpretive Techniques
               (SIGPLAN~'87)",
  pages = "150--152",
  year = 1987}

@InCollection{pcode,
  author = "Nori, K. V. and Ammann, U. and Nabeli, H. H. and Jacobi, Ch.",
  title = "{P}ascal {P} Implementation notes",
  editor = "Barron, D. W.",
  booktitle = "Pascal---The Language and its Implementation",
  publisher = "Wiley",
  year = 1981,
  pages = "125--170"}

@Book{pcode4,
  author = "S. Pemberton and M. C. Daniels",
  title = "Pascal implementation: the {P}4 compiler",
  publisher = "John Wiley {&} Sons",
  year = 1982}

@Article{oovm,
  author = "David W. Sandberg",
  title = "Experience With an Object-Oriented Virtual Machine",
  journal = spe,
  volume = 18,
  number = 5,
  year = 1988,
  pages = "415--425"}

@InProceedings{virttime,
  author = "Richard M. Fujimoto",
  title = "The Virtual Time Machine",
  editor = "Leighton, F.",
  booktitle = "Proceedings of the 1989 {ACM} Symposium",
  address = "Santa Fe, Mexico",
  pages = "35--44",
  year = 1989}

@Book{intcoproc,
  author = "Eddy H. Debaere and Van Campenhout, Jan M.",
  title = "Interpretation and Instruction Path Coprocessing",
  publisher = "{MIT} Press",
  year = 1990}

@Book{intcomp,
  author = "P. J. Brown",
  title = "Writing Interactive Compilers and Interpreters",
  publisher = "Wiley",
  year = 1979}

@Article{uncol,
  author = "Steel, Jr., T. B.",
  title = "{UNCOL}",
  journal = "Ann. Rev. Auto. Prog.",
  volume = 2,
  year = 1960,
  pages = "325--344"}

@Misc{sod,
  author = "Lennart Benschop",
  title = "SOD32",
  year = 1995,
  note = "Posted to url{comp.sources.misc}, Volume 46, Issue 7"}

@TechReport{wam,
  author = "D. H. D. Warren",
  title = "An Abstract {P}rolog Instruction Set",
  institution = "SRI International",
  type = "Technical Note",
  number = 300,
  year = 1983}

@Article{interptechniq,
  author = "Paul Klint",
  title = "Interpretation Techniques",
  journal = spe,
  volume = 11,
  year = 1981,
  pages = "963--973"}

@Article{interpclass,
  author = "Rolf Hoffmann",
  title = "A Classification of Interpreter Systems",
  journal = "Microprocessing and Microprogramming",
  volume = 12,
  year = 1983,
  pages = "3--8"}

@InProceedings{interpperf,
  author = "Theodore H. Romer and Geoffrey M. Voelker and Alec Wolman and
            Wayne A. Wong and Jean-Loup Baer and Brian N. Bershad and
            Henry M. Levy",
  title = "The Structure and Performance of Interpreters",
  booktitle = "Proceedings of {ASPLOS} {VII}",
  pages = "150--159",
  address = "University of Washington, Seattle"}

@Manual{andf,
  title = "Architecture Neutral Distribution Format ({XANDF}) Specification",
  organization = "The Open Group",
  note = "Preliminary Specification P527",
  month = jan,
  year = 1996}

@Misc{andfdist,
  title = "TenDRA Home Page",
  key = "TenDRA",
  note = "url{http://alph.dra.hmg.gb/TenDRA/}",
  year = 1998}
  
@Misc{andfinfo,
  author = "Nic Peeling",
  title = "{ANDF}---some information",
  note = "url{comp.compilers}",
  month = nov # "~18th",
  year = 1993}

@InProceedings{talx86,
  author = "Greg Morrisett and Karl Crary and Neal Glew and Dan Grossman and
            Richard Samuels and Frederick Smith and David Walker and
            Stephanie Weirich and Steve Zdancewic",
  title = "{TALx86}: A Realistic Typed Assembly Language",
  booktitle = "1999 {ACM} {SIGPLAN} Workshop on Compiler Support for System
               Software",
  pages = "25--35",
  address = "Atlanta, GA, USA",
  month = may,
  year = 1999}

@Book{pvm,
  author = "Al Geist and Adam Beguelin and Jack Dongarra and Weicheng Jiang
            and Robert Manchek and Vaidy Sunderam",
  title = "Parallel Virtual Machine: A Users' Guide and Tutorial for
           Networked Parallel Computing",
  publisher = "{MIT} Press",
  year = 1994}

Code generators

@InProceedings{vcode,
  author = "Dawson R. Engler",
  title = "textsc{vcode}: A Retargetable, Extensible, Very Fast Dynamic
           Code Generation System",
  booktitle = "Proceedings of the 23rd Annual {ACM} Conference on Programming
               Language Design and Implementation",
  note = "url{http://www.pdos.lcs.mit.edu/~engler/}",
  year = 1996}

@InProceedings{tickclang,
  author = "Dawson R. Engler and Wilson C. Hsieh and M. Frans Kaashoek",
  title = "`{C}: A Language for High-Level, Efficient, and
           Machine-Independent Dynamic Code Generation",
  booktitle = "Proceedings of the 23rd Annual {ACM} Symposium on Principles
               of Programming Languages",
  year = 1996}

@InProceedings{tickccomp,
  author = "Massimiliano Poletto and Dawson R. Engler and M. Frans Kaashoek",
  title = "tcc: A System for Fast, Flexible and High-level Dynamic Code
           Generation",
  booktitle = "Proceedings of the {ACM} {SIGPLAN} Conference on Programming
           Language Design and Implementation~'97",
  year = 1997}

@Misc{pasm,
  author = "Michael Brown",
  title = "textsc{pasm}---Portable runtime assembler",
  note = "url{http://www.washery.com/projects/pasm/}"}

@TechReport{mlrisc,
  author = "L. George",
  title = "{MLRISC}: Customizable and reusable code generators",
  institution = "AT{&}T Bell Laboratories, Murray Hill, NJ",
  year = 1997}

@Misc{crt,
  organization = "Microsoft Corporation",
  key = "Microsoft Corporation",
  title = ".{NET} Framework {SDK} Technology Preview",
  note = "url{http://msdn.microsoft.com/downloads/}"}

Real machines

@Manual{alpha,
  author = "Richard L. Sites",
  title = "{A}lpha architecture reference manual",
  organization = "Digital Equipment Corporation",
  year = 1992}

@Book{arm,
  author = "David Jaggar",
  title = "{ARM} Architectural Reference Manual",
  publisher = "Prentice Hall Europe",
  year = 1996}

@Manual{apcs,
  title = "The {ARM}--{THUMB} Procedure Call Standard",
  organization = "Arm Limited",
  year = 1998,
  note = "url{http://www.arm.com/}"}

@Book{motorola,
  author = "Steve Williams",
  title = "{68030} Assembly Language Reference",
  publisher = "Addison-Wesley",
  year = 1989}

@Book{ia32,
  author = "Barry B. Brey",
  title = "Programming the 80286, 80386, 80486 and Pentium-based Personal
           Computer",
  publisher = "Prentice-Hall",
  year = 1996}

@Book{mips,
  author = "Gerry Kane and Joe Heinrich",
  title = "{MIPS} {RISC} Architecture",
  publisher = "Prentice-Hall",
  year = 1992}

@Book{sparc,
  editor = "David L. Weaver and Tom Gamond",
  title = "The {SPARC} Architecture Manual",
  publisher = "Prentice-Hall",
  year = 1994}

OSs

@TechReport{mach,
  author = "Mike Acetta and Robert Baron and David Golub and Richard Rashid
            and Avadis Tevanian and Michael Young",
  title = "{M}ach: a new kernel foundation for {UNIX} development",
  institution = "Carnegie Mellon University",
  year = 1986}

@InProceedings{beowulf,
  author = "Daniel Ridge and Donald Becker and Phillip Merkey and Thomas
            Sterling",
  title = "Beowulf: Harnessing the Power of Parallelism in a Pile-of-{PC}s",
  booktitle = "Proceedings of {IEEE} Aerospace",
  year = 1997}

Silicon compilation

@InCollection{occamfpga,
  author = "Ian Page and Wayne Luk",
  title = "Compiling Occam into {FPGAs}",
  editor = "W. R. Moore and W. Luk",
  booktitle = "{FPGAs}",
  chapter = "5.3",
  publisher = "Abingdon EE{&}CS Books",
  year = 1991}

@InCollection{comppar,
  author = "Wayne Luk and David Ferguson and Ian Page",
  title = "Structured Hardware Compilation of Parallel Programs",
  editor = "W. Moore and W. Luk",
  booktitle = {More {FPGAs}},
  pages = "213--224",
  publisher = "Abingdon EE{&}CS Books",
  year = 1994}

@InCollection{paramfpga,
  author = "Wayne Luk and Ian Page",
  title = "Parameterising Designs for {FPGAs}",
  editor = "W. R. Moore and W. Luk",
  booktitle = "{FPGAs}",
  chapter = "5.4",
  publisher = "Abingdon EE{&}CS Books",
  year = 1991}

Code Generation

@Book{reddragon,
  author = "Alfred V. Aho and Ravi Sethi and Jeffrey D. Ullman",
  title = "Compilers: Principles, Techniques and Tools",
  publisher = "Addison-Wesley",
  year = 1986}

@InProceedings{globalopt,
  author = "Manuel E. Benitez and Jack W. Davidson",
  title = "The advantages of machine-dependent global optimization",
  booktitle = "International Conference on Programming Language and
               Architectures ({PLSA}~'94)",
  pages = "105--123",
  year = 1994}

@InProceedings{runtimeopt,
  author = "Mark Leone and Peter Lee",
  title = "Lightweight Run-Time Code Generation",
  booktitle = "Proceedings of the {ACM} {SIGPLAN} Workshop on Partial
               Evaluation and Semantics-Based Program Manipulation",
  pages = "97--106",
  month = jun,
  year = 1994}

@TechReport{deferredcomp,
  author = "Mark Leone and Peter Lee",
  title = "Deferred Compilation: The Automation of Run-Time Code Generation",
  number = "CMU-CS-93-225",
  institution = "School of Computer Science, Carnegie Mellon University",
  month = dec,
  year = 1993}

@Article{minloadstore,
  author = "Wei-Chung Hsu and Charles N. Fischer and James R. Goodman",
  title = "On the Minimization of Loads/Stores in Local Register Allocation",
  journal = "{IEEE} Transactions on Software Engineering",
  volume = 15,
  number = 10,
  pages = "1252--1260",
  month = oct,
  year = 1989}

@InProceedings{binpacking,
  author = "Omri Traub and Glenn Holloway and Michael D. Smith",
  title = "Quality and speed in linear-scan register allocation",
  booktitle = "Proceedings of the ACM SIGPLAN '98 conference on
               Programming language design and implementation",
  pages = "142--151",
  year = 1998}

@TechReport{proofcarry,
  author = "George Necula",
  title = "Compiling with Proofs",
  number = "CMU-CS-98-154",
  institution = "School of Computer Science, Carnegie Mellon University",
  month = sep,
  year = 1998}

Languages and formal notations

ML

@Book{ml,
  author = "Robin Milner and Mads Tofte and Robert Harper",
  title = "The definition of {S}tandard {ML}",
  publisher = "MIT Press",
  address = "Cambridge, MA",
  year = 1990}

@Book{mlcomm,
  author = "Robin Milner and Mads Tofte",
  title = "Commentary on {S}tandard {ML}",
  publisher = "MIT Press",
  address = "Cambridge, MA",
  year = 1991}

@Misc{mljava,
  author = "MLj team",
  title = "The {ML}j compiler",
  year = 1999,
  note = "url{http://www.dcs.ed.ac.uk/~mlj/}"}

@Article{secd,
  author = "P. J. Landin",
  title = "The Mechanical Evaluation of Expressions",
  journal = "Computer Journal",
  volume = 6,
  pages = "308--320",
  month = jan,
  year = 1964}

Pict & Pi-calculus

@InCollection{picalc,
  author = "Robin Milner",
  title = "The Polyadic {$pi$}-Calculus: A Tutorial",
  editor = "F. L. Bauer and W. Brauer and H. Schwichtenberg",
  booktitle = "Logic and Algebra of Specification",
  pages = "203--246",
  publisher = "Springer Verlag",
  year = 1993}

@Misc{pict,
  author = "Benjamin C. Pierce",
  title = "The Pict Programming Language",
  year = 1995,
  note = "url{http://www.cis.upenn.edu/~bcpierce/}"}

LISP & Scheme

@Manual{lisp,
  author = "J. McCarthy",
  title = "{LISP} programmers' manual",
  organization = "MIT Computation Center",
  address = "Cambridge, MA",
  year = 1960}

@InProceedings{lispemul,
  author = "Harold Carr and Robert R. Kessler",
  title = "An Emulator for {U}tah {C}ommon {L}isp's Abstract Virtual Register
        Machine",
  booktitle = "Proceedings of the 1987 Rochester Forth Conference",
  pages = "113--116",
  address = "Rochester, NY",
  year = 1987}

@InProceedings{parscheme,
  author = "Marc Feeley and James S. Miller",
  title = "A Parallel Virtual Machine for Efficient {S}cheme Compilation",
  booktitle = "Proceedings of the 1990 {ACM} Conference",
  address = "Nice, France",
  pages = "119--130",
  year = 1990}

@Article{scheme5,
  author = "Richard Kelsey and William Clinger and Jonathan Rees and others",
  title = "Revised$^5$ Report on the Algorithmic Language {S}cheme",
  journal = "Higher-Order and Symbolic Computation",
  volume = 11,
  number = 1,
  pages = "7--105",
  note = "url{http://www.swiss.ai.mit.edu/projects/scheme/}",
  month = aug,
  year = 1998}

@InProceedings{scheme81,
  author = "John Batali and Edmund Goodhue and Chris Hanson and Howie Shrobe
         and Richard M. Stallman and Gerald Jay Sussman",
  title = "The {S}cheme-81 architecture---system and chip",
  booktitle = "Proceedings of the {MIT} Conference on Advanced Research in
               {VLSI}",
  editor = "Penfield, Jr., Paul",
  address = "Dedham, Mass.",
  year = 1982}

@Manual{lispmach,
  author = "Daniel Weinreb and David Moon",
  title = "{LISP} Machine Manual",
  organization = mit,
  year = 1979}

Miranda

@Book{miranda,
  author = "Ian Holyer",
  title = "Functional Programming with {M}iranda",
  publisher = "Pitman",
  year = 1991}

@Article{combreduc,
  author = "David A. Turner",
  title = "A New Implementation Technique for Applicative Languages",
  journal = spe,
  volume = 9,
  pages = "31--49",
  year = 1979}

Forth

@InProceedings{stackcache,
  author = "M. Anton Ertl",
  title = "Stack Caching for Interpreters",
  booktitle = "{E}uro{F}orth~'94 Conference proceedings",
  pages = "3--12",
  address = "Winchester, UK",
  year = 1994}

@InProceedings{portforth,
  author = "M. Anton Ertl",
  title = "A Portable {F}orth Engine",
  booktitle = "{E}uro{FORTH}~'93 conference proceedings",
  address = "Mari{'a}nsk{'e} L{'a}zn{`e} (Marienbad)",
  year = 1993}

@Book{threaded,
  author = "R. G. Loeliger",
  title = "Threaded Interpretive Languages: Their Design and Implementation",
  publisher = "{BYTE} Books",
  address = "Peterborough, NH",
  year = 1981}

@Misc{mf,
  author = "Charles Moore and Jeff Fox",
  title = "Preliminary specification of the {F21}",
  year = 1998,
  note = "url{http://www.ultratechnology.com/f21data.pdf}"}

@Article{forthjavamb,
  author = "Mark Roulo",
  title = "{M}isty {B}each {F}orth: An Implementation in {J}ava",
  journal = "Forth Dimensions",
  volume = "XIX",
  number = 4,
  month = nov # "--" # dec,
  year = 1997}

@Misc{forthjavad,
  author = "Valer Bocan",
  title = "DELTA Forth",
  year = 1999,
  note = "url{http://www.dataman.ro/dforth/}"}

@Book{starting4th,
  author = "Leo Brodie",
  title = "Starting {FORTH}",
  publisher = "Prentice-Hall",
  edition = "Second",
  year = 1987}

@Book{thinking4th,
  author = "Leo Brodie",
  title = "Thinking {FORTH}",
  publisher = "Prentice-Hall",
  year = 1984}

@Manual{ANSIforth,
  organization = "American National Standards Institute",
  title = "ANS~X3.215-1994: Programming Languages---Forth",
  year = 1994}

@Article{forthsieve,
  author = "Jim Galbreath",
  title = "A High-Level Language Benchmark",
  journal = "BYTE",
  volume = "6",
  number = 9,
  pages = "180--198",
  year = 1989}

C

@Manual{ANSIC,
  organization = "American National Standards Institute",
  title = "ANS~X3.159-1989: Programming Languages---C",
  month = dec,
  year = 1989}

@Manual{ISOC,
  organization = "International Organization for Standardization",
  title = "ISO/IEC~9899-1999: Programming Languages---C",
  month = dec,
  year = 1999}

Others

@Book{smalltalk,
  editor = "Glenn Krasner",
  title = "{S}malltalk-80: Bits of History, Words of Advice",
  publisher = "Addison-Wesley",
  year = 1983}

@Article{aplgen,
  author = "M. Alfonseca and D. Selby and R. Wilks",
  title = "The {APL} {IL} Interpreter Generator",
  journal = "{IBM} Systems Journal",
  volume = 30,
  number = 4,
  year = 1991,
  pages = "490--497"}

@TechReport{occam,
  author = "A. W. Roscoe and C. A. R. Hoare",
  title = "The laws of occam programming",
  institution = "University of Oxford Computer Laboratory",
  type = "Technical monograph",
  number = "PRG-53",
  year = 1986}

@Article{floydhoare,
  author = "C. A. R. Hoare",
  title = "An Axiomatic Basis for Computer Programming",
  journal = "Communications of the {ACM}",
  volume = 12,
  year = 1969,
  pages = "576--583"}

@Book{lcc,
  author = "Christopher Fraser and David Hanson",
  title = "A Retargetable {C} Compiler: Design and Implementation",
  publisher = "Addison-Wesley",
  year = 1995}

@InBook{krc,
  author = "David A. Turner",
  title = "Recursion equations as a programming language",
  booktitle = "Functional Programming and its Applications",
  publisher = "Cambridge University Press",
  pages = "1--28",
  month = jan,
  year = 1981}

@Misc{haskell,
  editor = "Peyton Jones, Simon and John Hughes",
  key = "Peyton Jones, Simon and John Hughes",
  title = "Haskell 98: A Non-strict, Purely Functional Language",
  note = "url{http://www.haskell.org/definition/}",
  year = 1999}

@Book{camel,
  author = "Larry Wall and Tom Christiansen and Randal L. Schwartz",
  title = "Programming Perl",
  edition = "Second",
  publisher = oreilly,
  month = sep,
  year = 1996}

@Book{python,
  author = "Mark Lutz",
  title = "Programming Python",
  publisher = oreilly,
  month = oct,
  year = 1996}

@Book{oberon,
  author = "N. Wirth and M. Reiser",
  title = "Programming in {O}beron---Steps Beyond {P}ascal and {M}odula",
  publisher = "Addison-Wesley",
  year = 1992}

Miscellaneous

@Article{romcompress,
  author = "Earle, W.",
  title = "Compress {ROM} Programs With a Math-Function Interpreter",
  journal = "Electronic Design News",
  month = mar # "~31st",
  year = 1982}

@InProceedings{ssd,
  author = "Steven Lucco",
  title = "Split-Stream Dictionary Program Compression",
  booktitle = "Proceedings of the ACM SIGPLAN '00 conference on
               Programming language design and implementation",
  pages = "27--34",
  year = 2000}

@Misc{LZOlib,
  author = "Markus F. X. J. Oberhumer",
  title = "{LZO} data compression library",
  note = "url{http://wildsau.idv.uni-linz.ac.at/mfx/lzo.html}",
  year = 1999}

@Manual{stanbench,
  author = "J. Hennessy and P. Nye",
  title = "Stanford Integer Benchmarks",
  address = "Stanford University",
  note = "url{ftp://ftp.complang.tuwien.ac.at/pub/forth/}"}

@Article{dhrystone,
  author = "Reinhold P. Weicker",
  title = "{D}hrystone Benchmark: Rationale for Version 2 and
           Measurement Rules",
  journal = "{SIGPLAN} Notices",
  volume = 23,
  number = 8,
  pages = "49--62",
  month = aug,
  year = 1988}

@Book{garbage,
  author = "Richard Jones and Rafael Lins",
  title = "Garbage Collection",
  publisher = "John Wiley and Sons Ltd",
  year = 1996}

@Article{boehmdw,
  author = "Hans-Juergen Boehm and Mark Weiser",
  title = "Garbage collection in an uncooperative environment",
  journal = spe,
  volume = 18,
  number = 9,
  pages = "807--820",
  year = 1988}

@Article{arenas,
  author = "David R. Hanson",
  title = "Fast allocation and deallocation of memory based on object
           lifetimes",
  journal = spe,
  volume = 20,
  number = 1,
  pages = "5--12",
  year = 1990}

@Misc{v,
  author = "Bruce E. Wampler",
  title = "The {V} Reference Manual",
  note = "url{ftp://objectcentral.com/vref.pdf}",
  year = 1999}

@Book{javaawt,
  author = "John Zukowski",
  title = "Java {AWT} Reference",
  series = "Java Series",
  publisher = oreilly,
  year = 1997}

@Misc{seh,
  author = "Matt Pietrek",
  title = "A Crash Course on the Depths of {Win32} Structured Exception
           Handling",
  note = "url{http://www.microsoft.com/msj/0197/exception/exception.htm}",
  year = 1997}

@Misc{naglib,
  author = "Numerical Algorithms Group",
  title = "{NAG} {FORTRAN} Library",
  note = "url{http://www.nag.com/}"}

@Misc{gcc,
  author = "Free Software Foundation",
  title = "{GCC} Compiler Collection",
  note = "url{http://www.gnu.org/software/gcc/}"}

@Misc{glibc,
  author = "Free Software Foundation",
  title = "{GNU} {C} Library",
  note = "url{http://www.gnu.org/software/libc/}"}

@Misc{distnet,
  key = "distributed.net",
  title = "distributed.net",
  note = "url{http://www.distributed.net/}"}

Standards

@Manual{ASCII,
  organization = "American National Standards Institute",
  title = "ANS~X3.4-1986(R1997): Information Systems: Coded Character
           Sets---7-Bit American National Standard Code for Information
    Interchange",
  year = 1997}

@Manual{UTF-8,
  organization = "International Organization for Standardization",
  title = "ISO/IEC~10646-1:1993 Information technology---Universal
           Multiple-Octet Coded Character Set (UCS)---Part 1: Architecture
    and Basic Multilingual Plane",
  year = 1993}

@Manual{IEEEfp,
  organization = "Institute of Electrical and Electronics Engineers",
  title ="IEEE~754-1985(R1994): IEEE Standard for Binary Floating-Point
          Arithmetic",
  year = 1994}

@Manual{elf,
  organization = "Tools Interface Standards Committee",
  title = "Executable and Linkable Format ({ELF})",
  note = "url{http://developer.intel.com/vtune/tis.htm}"}