%%% -*-BibTeX-*-
%%% ====================================================================
%%%  BibTeX-file{
%%%     author          = "Nelson H. F. Beebe",
%%%     version         = "1.03",
%%%     date            = "09 October 1999",
%%%     time            = "07:48:01 MDT",
%%%     filename        = "lispsymbcomput.bib",
%%%     address         = "Center for Scientific Computing
%%%                        University of Utah
%%%                        Department of Mathematics, 322 INSCC
%%%                        155 S 1400 E RM 233
%%%                        Salt Lake City, UT 84112-0090
%%%                        USA",
%%%     telephone       = "+1 801 581 5254",
%%%     FAX             = "+1 801 585 1640, +1 801 581 4148",
%%%     URL             = "http://www.math.utah.edu/~beebe",
%%%     checksum        = "09560 3318 12416 124904",
%%%     email           = "beebe at math.utah.edu, beebe at acm.org,
%%%                        beebe at ieee.org (Internet)",
%%%     codetable       = "ISO/ASCII",
%%%     keywords        = "bibliography, BibTeX, Lisp and Symbolic
%%%                        Computation",
%%%     supported       = "no",
%%%     docstring       = "This is a COMPLETE bibliography of the
%%%                        journal Lisp and Symbolic Computation
%%%                        (CODEN LSCOEX, ISSN 0892-4635),
%%%                        published by Kluwer Academic Publishers.
%%%
%%%                        Publication began with volume 1, number 1,
%%%                        in June, 1988, and ceased with volume 10,
%%%                        number 4 in 1998, when the journal was
%%%                        renamed Higher-Order and Symbolic
%%%                        Computation.  That new journal is covered
%%%                        in a separate companion bibliography,
%%%                        higherordersymbcomput.bib.  The final issue
%%%                        includes abstracts of almost all papers
%%%                        published in the journal.
%%%
%%%                        The two journals share a World-Wide Web
%%%                        site at
%%%
%%%                            http://www.wkap.nl/jrnltoc.htm/1388-3690
%%%
%%%                        with tables of contents for 1995--date, and
%%%                        pointers to abstracts, keywords, and, for
%%%                        qualified subscribers only, full text of
%%%                        articles in PDF form.  URL values in the
%%%                        entries below point to these documents.
%%%
%%%                        There is additional data available at
%%%
%%%                            http://www.ref.oclc.org:2000/journal=0892-4635;screen=info;
%%%
%%%                        At version 1.03, the year coverage looked
%%%                        like this:
%%%
%%%                             1985 (   2)    1990 (  15)    1995 (  15)
%%%                             1986 (   0)    1991 (  11)    1996 (  10)
%%%                             1987 (   0)    1992 (  18)    1997 (   7)
%%%                             1988 (  12)    1993 (  14)    1998 (  17)
%%%                             1989 (   8)    1994 (  15)
%%%
%%%                             Article:        141
%%%                             Book:             1
%%%                             InProceedings:    1
%%%                             Proceedings:      1
%%%
%%%                             Total entries:  144
%%%
%%%                        The initial draft of this bibliography was
%%%                        constructed from the journal Web site, the
%%%                        Compendex database, and from the OCLC
%%%                        Contents1st database.  There is no coverage
%%%                        of this journal in the MathSciNet database.
%%%                        The collection was then augmented with
%%%                        entries from the author's personal
%%%                        bibliography files, and from the very large
%%%                        computer science bibliography collection at
%%%                        the University of Karlsruhe in
%%%                        http://liinwww.ira.uka.de/bibliography/ and
%%%                        ftp://ftp.ira.uka.de/pub/bibliography to
%%%                        which many people of have
%%%                        contributed. Finally, all of the entries in
%%%                        the cumulative abstracts in volume 10, number
%%%                        4, were examined, and from that data, missing
%%%                        entries were generated as needed, and
%%%                        discrepancies in many others were resolved.
%%%
%%%                        Numerous errors in the sources noted above
%%%                        have been corrected.   Spelling has been
%%%                        verified with the UNIX spell and GNU ispell
%%%                        programs using the exception dictionary
%%%                        stored in the companion file with extension
%%%                        .sok.
%%%
%%%                        BibTeX citation tags are uniformly chosen
%%%                        as name:year:abbrev, where name is the
%%%                        family name of the first author or editor,
%%%                        year is a 4-digit number, and abbrev is a
%%%                        3-letter condensation of important title
%%%                        words. Citation tags were automatically
%%%                        generated by software developed for the
%%%                        BibNet Project.
%%%
%%%                        In this bibliography, entries are sorted in
%%%                        publication order using bibsort -byvolume.
%%%
%%%                        The checksum field above contains a CRC-16
%%%                        checksum as the first value, followed by the
%%%                        equivalent of the standard UNIX wc (word
%%%                        count) utility output of lines, words, and
%%%                        characters.  This is produced by Robert
%%%                        Solovay's checksum utility.",
%%%  }
%%% ====================================================================

%%----------------------------------------------------------------------
%% Acknowledgement abbreviations:

@String{ack-nhfb = "Nelson H. F. Beebe,
                    Center for Scientific Computing,
                    University of Utah,
                    Department of Mathematics, 322 INSCC,
                    155 S 1400 E RM 233,
                    Salt Lake City, UT 84112-0090, USA,
                    Tel: +1 801 581 5254,
                    FAX: +1 801 585 1640, +1 801 581 4148,
                    e-mail: \path|beebe@math.utah.edu|,
                            \path|beebe@acm.org|,
                            \path|beebe@ieee.org| (Internet),
                    URL: \path|http://www.math.utah.edu/~beebe/|"}

%%----------------------------------------------------------------------
%% Journal abbreviations:

@String{j-LISP-SYMB-COMPUT      = "Lisp and Symbolic Computation"}

%%----------------------------------------------------------------------
%% Publisher abbreviations:

@String{pub-KLUWER              = "Kluwer Academic Publishers Group"}

@String{pub-KLUWER:adr          = "Norwell, MA, USA, and Dordrecht,
                                  The Netherlands"}

@String{pub-SV                  = "Spring{\-}er-Ver{\-}lag"}

@String{pub-SV:adr              = "Berlin, Germany~/ Heidelberg,
                                  Germany~/ London, UK~/ etc."}

%%----------------------------------------------------------------------
%% Series abbreviations:

@String{ser-LNCS                = "Lecture Notes in Computer Science"}

%%----------------------------------------------------------------------
%% Bibliography entries:

@Article{Wand:1988:MTR,
  author =       "Mitchell Wand and Daniel P. Friedman",
  title =        "The Mystery of the Tower Revealed: {A} Non-Reflective
                 Description of the Reflective Tower",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "1",
  number =       "1",
  pages =        "11--37",
  month =        jun,
  year =         "1988",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibsource =    "ftp://ftp.ira.uka.de/pub/bibliography/Compiler/semantics.bib;
                 ftp://ftp.ira.uka.de/pub/bibliography/Misc/Hypatia/W/WandM.bib",
  note =         "Reprinted in {\em Meta-Level Architectures and
                 Reflection} (P. Maes and D. Nardi, eds.) North-Holland,
                 Amsterdam, 1988, pp. 111--134. Preliminary version
                 appeared in {\em Proc. 1986 ACM Conf. on Lisp and
                 Functional Programming,\/} 298--307.",
  abstract =     "In an important series of papers [8,9], Brian Smith
                 has discussed the nature of programs that know about
                 their text and the context in which they are executed.
                 He called this kind of knowledge reflection. Smith
                 proposed a programming language, called 3-LISP, which
                 embodied such self-knowledge in the domain of
                 metacircular interpreters. Every 3-LISP program is
                 interpreted by a metacircular interpreter, also written
                 in 3-LISP. This gives rise to a picture of an infinite
                 tower of metacircular interpreters, each being
                 interpreted by the one above it. Such a metaphor poses
                 a serious challenge for conventional modes of
                 understanding of programming languages. In our earlier
                 work on reflection [4], we showed how a useful species
                 of reflection could be modeled without the use of
                 towers. In this paper, we give a semantic account of
                 the reflective tower. This account is self-contained in
                 the sense that it does not employ reflection to explain
                 reflection.",
}

@Article{Lang:1988:OOO,
  author =       "Kevin J. Lang and Barak A. Pearlmutter",
  title =        "Oaklisp: An Object-Oriented Dialect of Scheme",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "1",
  number =       "1",
  pages =        "39--51",
  month =        jun,
  year =         "1988",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibsource =    "ftp://ftp.ira.uka.de/pub/bibliography/Ai/scheme.bib;
                 ftp://ftp.ira.uka.de/pub/bibliography/Compiler/semantics.bib;
                 ftp://ftp.ira.uka.de/pub/bibliography/Object/Nierstrasz.bib",
  abstract =     "This paper contains a description of Oaklisp, a
                 dialect of Lisp incorporating lexical scoping, multiple
                 inheritance, and first-class types. This description is
                 followed by a revisionist history of the Oaklisp
                 design, in which a crude map of the space of
                 object-oriented Lisps is drawn and some advantages of
                 first-class types are explored. Scoping issues are
                 discussed, with a particular emphasis on instance
                 variables and top-level namespaces. The question of
                 which should come first, the lambda or the object is
                 addressed, with Oaklisp providing support for the
                 latter approach.",
  keywords =     "oaklisp; olit-oopl oaklisp lisp (smc)",
}

@Article{Dybvig:1988:EPS,
  author =       "R. Kent Dybvig and Daniel P. Friedman and Christopher
                 T. Haynes",
  title =        "Expansion-Passing Style: {A} General Macro Mechanism",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "1",
  number =       "1",
  pages =        "53--75",
  month =        jun,
  year =         "1988",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibsource =    "ftp://ftp.ira.uka.de/pub/bibliography/Ai/scheme.bib",
}

@Article{Anonymous:1988:BRL,
  author =       "Anonymous",
  title =        "Book Review: {{\em {Lisp} Lore: A Guide to Programming
                 the Lisp Machine}}, 2d ed., {Hank Bromley} and {Richard
                 Lamson}, {Boston: Kluwer}. 1987. 337 pages hardbound.
                 \$47.50",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "1",
  number =       "1",
  pages =        "77--79",
  month =        jun,
  year =         "1988",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 06:09:25 1999",
  acknowledgement = ack-nhfb,
}

@Article{Gabriel:1988:ETI,
  author =       "Richard P. Gabriel and Kent M. Pitman",
  title =        "Endpaper: Technical Issues of Separation in Function
                 Cells and Value Cells",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "1",
  number =       "1",
  pages =        "81--101",
  month =        jun,
  year =         "1988",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 06:09:25 1999",
  acknowledgement = ack-nhfb,
}

@Article{ODonnell:1988:DAL,
  author =       "John T. O'Donnell and Cordelia V. Hall",
  title =        "Debugging in Applicative Languages",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "1",
  number =       "2",
  pages =        "113--145",
  month =        sep,
  year =         "1988",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 08:11:22 MST 1999",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliation =  "Indiana Univ",
  affiliationaddress = "Bloomington, USA",
  classification = "723",
  journalabr =   "LISP Symb Comput",
  keywords =     "Applicative Programming; Computer Programming
                 Languages; Computer Programming--Program Debugging;
                 Functional Programming; Programming Environment",
}

@Article{Bloss:1988:COL,
  author =       "Adrienne Bloss and Paul R. Hudak and Jonathan H.
                 Young",
  title =        "Code Optimizations for Lazy Evaluation",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "1",
  number =       "2",
  pages =        "147--164",
  month =        sep,
  year =         "1988",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 08:11:22 MST 1999",
  bibsource =    "Compendex database;
                 ftp://ftp.ira.uka.de/pub/bibliography/Compiler/Functional.bib;
                 ftp://ftp.ira.uka.de/pub/bibliography/Misc/Functional.bib",
  abstract =     "Implementations of lazy evaluation for nonstrict
                 functional languages usually involve the notion of a
                 delayed representation of the value of an expression,
                 which the authors call a thunk. Several techniques are
                 presented for implementing thunks and a class of
                 optimizations if formalized that reduce both the space
                 and time overhead of these techniques. The
                 optimizations depend on a compile-time inferencing
                 strategy called path analysis, a generalization of
                 strictness analysis that uncovers order-of-evaluation
                 information.",
  acknowledgement = ack-nhfb,
  affiliation =  "Yale Univ",
  affiliationaddress = "New Haven, USA",
  classification = "723",
  journalabr =   "LISP Symb Comput",
  keywords =     "Code Optimization; Computer Operating Systems--Program
                 Compilers; Computer Programming Languages; Functional
                 Languages; functional path analysis; Functional
                 Programming",
}

@Article{Giuse:1988:LRP,
  author =       "Dario Giuse",
  title =        "{LISP} as a Rapid Prototyping Environment: The
                 {Chinese} Tutor",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "1",
  number =       "2",
  pages =        "165--184",
  month =        sep,
  year =         "1988",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 08:11:22 MST 1999",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliation =  "Carnegie-Mellon Univ",
  affiliationaddress = "Pittsburgh, USA",
  classification = "723",
  journalabr =   "LISP Symb Comput",
  keywords =     "Computer Programming Languages; Computer
                 Software--Software Engineering; Computer-Aided Tutoring
                 Systems; Software Development",
}

@Article{Lieberherr:1988:OOP,
  author =       "Karl J. Lieberherr",
  title =        "Object-Oriented Programming with Class Dictionaries",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "1",
  number =       "2",
  pages =        "185--212",
  month =        sep,
  year =         "1988",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 08:11:22 MST 1999",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliation =  "Northeastern Univ",
  affiliationaddress = "Boston, USA",
  classification = "723",
  journalabr =   "LISP Symb Comput",
  keywords =     "Computer Programming; Computer Programming
                 languages--lisp; Data Processing--Data Structures;
                 Object Oriented Programming",
}

@Article{Demichiel:1988:OCL,
  author =       "Linda G. Demichiel",
  title =        "Overview: The {Common Lisp Object System}",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "1",
  number =       "2",
  pages =        "227--244",
  month =        sep,
  year =         "1988",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 06:09:25 1999",
  acknowledgement = ack-nhfb,
}

@Article{Bobrow:1988:CLOa,
  author =       "Daniel G. Bobrow and Linda G. Demichiel and Richard P.
                 Gabriel and Sonya E. Keene and Gregor Kiczales And
                 David A. Moon",
  title =        "{Common Lisp Object System} Specification 1.
                 Programmer Interface Concepts",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "1",
  number =       "2",
  pages =        "245--298",
  month =        sep,
  year =         "1988",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 06:09:25 1999",
  acknowledgement = ack-nhfb,
}

@Article{Bobrow:1988:CLOb,
  author =       "Daniel G. Bobrow and Linda G. Demichiel and Richard P.
                 Gabriel and Sonya E. Keene and Gregor Kiczales And
                 David A. Moon",
  title =        "{Common Lisp Object System} Specification 2. Functions
                 in the Programmer Interface",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "1",
  number =       "2",
  pages =        "299--394",
  month =        sep,
  year =         "1988",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 06:09:25 1999",
  acknowledgement = ack-nhfb,
}

@Article{Jones:1989:MSA,
  author =       "Neil D. Jones and Peter Sestoft and Harald
                 S{\o}ndergaard",
  title =        "{Mix}: {A} Self-Applicable Partial Evaluator for
                 Experiments in Compiler Generation",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "2",
  number =       "1",
  pages =        "9--50",
  month =        feb,
  year =         "1989",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibsource =    "ftp://ftp.ira.uka.de/pub/bibliography/Ai/pennbib.bib;
                 ftp://ftp.ira.uka.de/pub/bibliography/Compiler/absint.bib;
                 ftp://ftp.ira.uka.de/pub/bibliography/Compiler/partial-eval.bib;
                 ftp://ftp.ira.uka.de/pub/bibliography/Compiler/semantics.bib;
                 ftp://ftp.ira.uka.de/pub/bibliography/Compiler/TOPPS.bib;
                 ftp://ftp.ira.uka.de/pub/bibliography/Misc/Hypatia/S/SestoftP.bib;
                 ftp://ftp.ira.uka.de/pub/bibliography/Theory/CLiCS.bib",
  note =         "DIKU Report 91/12",
  annote =       "A comprehensive discussion of partial evaluation, its
                 applications to generation of compilers and compiler
                 generators, and of engineering problems is given. A
                 fully automatic version of the partial evaluator
                 discussed in \cite{Jones:1985:EPE} is described
                 and results from its use are reported.",
  keywords =     "partial evaluation, program specialization, compilers,
                 interpreters, compiler generation, self-applications
                 mix",
  semno =        "D-28",
  summary =      "This paper gives an introduction to partial evaluation
                 and its applications to compiling and compiler
                 generation, and describes a self- applicable partial
                 evaluator called Mix.",
}

@Article{Ait-kaci:1989:ILF,
  author =       "Hassan Ait-kaci and Roger Nasr",
  title =        "Integrating Logic and Functional Programming",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "2",
  number =       "1",
  pages =        "51--89",
  month =        feb,
  year =         "1989",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 06:09:25 1999",
  acknowledgement = ack-nhfb,
}

@Article{Anonymous:1989:BRA,
  author =       "Anonymous",
  title =        "Book Review: {{\em Artificial Intelligence
                 Programming}}, 2d ed. {Charniak}, {Riesbeck},
                 {McDermott}, and {Meehan}. {New Jersey}: {Lawrence
                 Erlbaum Associates}, 1987. 533 pages hardbound",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "2",
  number =       "1",
  pages =        "91--93",
  month =        feb,
  year =         "1989",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 06:09:25 1999",
  acknowledgement = ack-nhfb,
}

@Article{Grue:1989:APF,
  author =       "Klaus E. Grue",
  title =        "Arrays in Pure Functional Programming Languages",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "2",
  number =       "1",
  pages =        "105--113",
  month =        feb,
  year =         "1989",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 06:09:25 1999",
  acknowledgement = ack-nhfb,
}

@Article{Olthoff:1989:ASM,
  author =       "Walter Olthoff and James Kempf",
  title =        "An Algebraic Specification of Method Combination for
                 the {Common Lisp Object System}",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "2",
  number =       "1",
  pages =        "115--152",
  month =        feb,
  year =         "1989",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 06:09:25 1999",
  bibsource =    "ftp://ftp.ira.uka.de/pub/bibliography/Misc/leavens.bib",
  acknowledgement = ack-nhfb,
}

@Article{Appel:1989:RTA,
  author =       "Andrew W. Appel",
  title =        "Runtime Tags Aren't Necessary",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "2",
  number =       "2",
  pages =        "153--162",
  month =        jun,
  year =         "1989",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibsource =    "ftp://ftp.ira.uka.de/pub/bibliography/Compiler/garbage.collection.bib;
                 ftp://ftp.ira.uka.de/pub/bibliography/Compiler/Heaps.bib;
                 ftp://ftp.ira.uka.de/pub/bibliography/Compiler/ml.bib;
                 ftp://ftp.ira.uka.de/pub/bibliography/Compiler/semantics.bib;
                 ftp://ftp.ira.uka.de/pub/bibliography/Misc/allison.bib;
                 ftp://ftp.ira.uka.de/pub/bibliography/Misc/Hypatia/A/AppelAW.bib",
  note =         "I have the techreport {CS-TR-142-88}, Princeton
                 University, March 88",
  abstract =     "Hargrave 005.13305 277I",
  keywords =     "FP, functional programming, garbage collection, GC,
                 polymorphic type, tag",
}

@Article{Anonymous:1989:BRO,
  author =       "Anonymous",
  title =        "Book Review: {{\em Object-Oriented Programming in
                 Common LISP: A Programmer's Guide to CLOS}}, {Sonya E.
                 Keene}, {Massachusetts}: {Addison-Wesley}, 1989",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "2",
  number =       "2",
  pages =        "163--165",
  month =        jun,
  year =         "1989",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 06:09:25 1999",
  acknowledgement = ack-nhfb,
}

@Article{Harrison:1989:IAA,
  author =       "Williams Ludwell {Harrison, III}",
  title =        "The Interprocedural Analysis and Automatic
                 Parallellization of {Scheme} Programs",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "2",
  number =       "3/4",
  pages =        "179--396",
  month =        oct,
  year =         "1989",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibsource =    "ftp://ftp.ira.uka.de/pub/bibliography/Ai/scheme.bib",
}

@Article{Zorn:1990:DFC,
  author =       "Benjamin Zorn and Paul Hilfinger",
  title =        "Direct Function Calls in {Lisp}",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "3",
  number =       "1",
  pages =        "13--20",
  month =        jan,
  year =         "1990",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Thu Feb 11 17:40:08 MST 1999",
  bibsource =    "OCLC Contents1st database.",
  acknowledgement = ack-nhfb,
}

@Article{Runciman:1990:RST,
  author =       "Colin Runciman and Nigel Jagger",
  title =        "Relative Specification and Transformational Reuse of
                 Functional Programs",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "3",
  number =       "1",
  pages =        "21--37",
  month =        jan,
  year =         "1990",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Thu Feb 11 17:40:08 MST 1999",
  bibsource =    "OCLC Contents1st database.",
  acknowledgement = ack-nhfb,
}

@Article{Pourheidari:1990:MPD,
  author =       "Mohammad Pourheidari and Robert R. Kessler and Harold
                 Carr",
  title =        "{Moped} ({A} Portable Debugger)",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "3",
  number =       "1",
  pages =        "39--65",
  month =        jan,
  year =         "1990",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Thu Feb 11 17:40:08 MST 1999",
  bibsource =    "OCLC Contents1st database.",
  acknowledgement = ack-nhfb,
}

@Article{Sitaram:1990:CDT,
  author =       "Dorai Sitaram and Matthias Felleisen",
  title =        "Control Delimiters and Their Hierarchies",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "3",
  number =       "1",
  pages =        "67--99",
  month =        jan,
  year =         "1990",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Thu Feb 11 17:40:08 MST 1999",
  bibsource =    "ftp://ftp.ira.uka.de/pub/bibliography/Ai/scheme.bib;
                 OCLC Contents1st database.",
  acknowledgement = ack-nhfb,
  keywords =     "ctrldelim",
}

@Article{Touretzky:1990:BRC,
  author =       "David S. Touretzky",
  title =        "Book Review: {{\em Common Lisp: the Reference}}, by
                 {Franz, Inc}. {Addison-Wesley Publishing Company},
                 1988. Softcover; 919 pages",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "3",
  number =       "1",
  pages =        "101--102",
  month =        jan,
  year =         "1990",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Thu Feb 11 17:40:08 MST 1999",
  bibsource =    "OCLC Contents1st database.",
  acknowledgement = ack-nhfb,
}

@Article{Bonzon:1990:MEL,
  author =       "Pierre E. Bonzon",
  title =        "A Metacircular Evaluator for a Logical Extension of
                 {Scheme}",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "3",
  number =       "2",
  pages =        "113--133",
  month =        apr,
  year =         "1990",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Thu Feb 11 17:40:08 MST 1999",
  bibsource =    "ftp://ftp.ira.uka.de/pub/bibliography/Ai/scheme.bib;
                 OCLC Contents1st database.",
  acknowledgement = ack-nhfb,
}

@Article{Derbyshire:1990:MSG,
  author =       "Margaret H. Derbyshire",
  title =        "Mark Scan Garbage Collection on a Distributed
                 Architecture",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "3",
  number =       "2",
  pages =        "135--170",
  month =        apr,
  year =         "1990",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Thu Feb 11 17:40:08 MST 1999",
  bibsource =    "ftp://ftp.ira.uka.de/pub/bibliography/Compiler/garbage.collection.bib;
                 ftp://ftp.ira.uka.de/pub/bibliography/Compiler/Heaps.bib;
                 OCLC Contents1st database.",
  acknowledgement = ack-nhfb,
}

@Article{Acuff:1990:EPT,
  author =       "Richard Acuff",
  title =        "Endpaper: Performance of Two {Common Lisp} Programs On
                 Several Systems",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "3",
  number =       "2",
  pages =        "171--204",
  month =        apr,
  year =         "1990",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Thu Feb 11 17:40:08 MST 1999",
  bibsource =    "ftp://ftp.ira.uka.de/pub/bibliography/Compiler/common-lisp.bib;
                 ftp://ftp.math.utah.edu/pub/tex/bib/common-lisp.bib;
                 OCLC Contents1st database.",
  acknowledgement = ack-nhfb,
}

@Article{Diamant:1990:PBI,
  author =       "John R. Diamant and Gerald P. Duggan",
  title =        "A Preprocessor Based Implementation of {Common Lisp}",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "3",
  number =       "3",
  pages =        "211--228",
  month =        sep,
  year =         "1990",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Thu Feb 11 17:40:08 MST 1999",
  bibsource =    "ftp://ftp.ira.uka.de/pub/bibliography/Compiler/common-lisp.bib;
                 ftp://ftp.math.utah.edu/pub/tex/bib/common-lisp.bib;
                 OCLC Contents1st database.",
  acknowledgement = ack-nhfb,
}

@Article{Dybvig:1990:NAP,
  author =       "R. Kent Dybvig and Robert Hieb",
  title =        "A New Approach to Procedures with Variable Arity",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "3",
  number =       "3",
  pages =        "229--244",
  month =        sep,
  year =         "1990",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Thu Feb 11 17:40:08 MST 1999",
  bibsource =    "ftp://ftp.ira.uka.de/pub/bibliography/Ai/scheme.bib;
                 OCLC Contents1st database.",
  acknowledgement = ack-nhfb,
}

@Article{Ruf:1990:LIL,
  author =       "Erik Ruf and Daniel Weise",
  title =        "{LogScheme}: Integrating Logic Programming into
                 {Scheme}",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "3",
  number =       "3",
  pages =        "245--288",
  month =        sep,
  year =         "1990",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Thu Feb 11 17:40:08 MST 1999",
  bibsource =    "OCLC Contents1st database.",
  acknowledgement = ack-nhfb,
}

@Article{Bage:1990:CEF,
  author =       "G{\"o}ran Bage and Gary Lindstrom",
  title =        "Combinator Evaluation of Functional Programs With
                 Logical Variables",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "3",
  number =       "3",
  pages =        "289--320",
  month =        sep,
  year =         "1990",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Thu Feb 11 17:40:08 MST 1999",
  bibsource =    "OCLC Contents1st database.",
  acknowledgement = ack-nhfb,
}

@Article{Anonymous:1990:BRC,
  author =       "Anonymous",
  title =        "Book Review: {{\em Common Lisp: A Tutorial}}, by
                 {Wendy L. Milner}. {Prentice Hall}, 1988. Softcover;
                 519 pages",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "3",
  number =       "3",
  pages =        "321--325",
  month =        sep,
  year =         "1990",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 06:09:25 1999",
  acknowledgement = ack-nhfb,
}

@Article{Appel:1990:RS,
  author =       "Andrew W. Appel",
  title =        "A Runtime System",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "3",
  number =       "4",
  pages =        "343--380",
  month =        nov,
  year =         "1990",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Thu Feb 11 17:40:08 MST 1999",
  bibsource =    "ftp://ftp.ira.uka.de/pub/bibliography/Compiler/Functional.bib;
                 ftp://ftp.ira.uka.de/pub/bibliography/Compiler/ml.bib;
                 ftp://ftp.ira.uka.de/pub/bibliography/Misc/Functional.bib;
                 OCLC Contents1st database.",
  acknowledgement = ack-nhfb,
  keywords =     "functional",
}

@Article{Ghosh-Roy:1990:CSM,
  author =       "R. Ghosh-Roy",
  title =        "Conjunction-Type {Standard ML} Polymorphism",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "3",
  number =       "4",
  pages =        "381--409",
  month =        nov,
  year =         "1990",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Thu Feb 11 17:40:08 MST 1999",
  bibsource =    "OCLC Contents1st database.",
  acknowledgement = ack-nhfb,
}

@Article{Kessler:1991:LAP,
  author =       "Robert R. Kessler and Jed J. Krohnfeldt",
  title =        "A Logical Approach to Program Analysis",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "4",
  number =       "1",
  pages =        "5--27",
  month =        jan,
  year =         "1991",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 08:11:22 MST 1999",
  bibsource =    "Compendex database;
                 ftp://ftp.ira.uka.de/pub/bibliography/Compiler/absint.bib;
                 OCLC Contents1st database.",
  acknowledgement = ack-nhfb,
  journalabr =   "LISP Symb Comput",
}

@Article{Larus:1991:CLP,
  author =       "James R. Larus",
  title =        "Compiling {Lisp} Programs for Parallel Execution",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "4",
  number =       "1",
  pages =        "29--99",
  month =        jan,
  year =         "1991",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 08:11:22 MST 1999",
  bibsource =    "Compendex database;
                 ftp://ftp.ira.uka.de/pub/bibliography/Parallel/RISC.parlab.bib;
                 OCLC Contents1st database.",
  acknowledgement = ack-nhfb,
  descr =        "pllsp",
  journalabr =   "LISP Symb Comput",
  owner =        "pcl",
}

@Article{Miller:1991:FVF,
  author =       "James S. Miller and Guillermo J. Rozas",
  title =        "Free Variables and First-Class Environments",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "4",
  number =       "2",
  pages =        "107--141",
  month =        apr,
  year =         "1991",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 08:11:22 MST 1999",
  bibsource =    "Compendex database;
                 ftp://ftp.ira.uka.de/pub/bibliography/Ai/scheme.bib;
                 OCLC Contents1st database",
  acknowledgement = ack-nhfb,
  journalabr =   "LISP Symb Comput",
}

@Article{Koschmann:1991:DBS,
  author =       "Timothy Koschmann",
  title =        "Designing a Browser to Support Multimethods and Method
                 Combination",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "4",
  number =       "2",
  pages =        "143--154",
  month =        apr,
  year =         "1991",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 08:11:22 MST 1999",
  bibsource =    "Compendex database; OCLC Contents1st database.",
  acknowledgement = ack-nhfb,
  journalabr =   "LISP Symb Comput",
}

@Article{Fateman:1991:EFB,
  author =       "Richard J. Fateman",
  title =        "Endpaper: {FRPOLY}: {A} Benchmark Revisited",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "4",
  number =       "2",
  pages =        "155--164",
  month =        apr,
  year =         "1991",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 08:11:22 MST 1999",
  bibsource =    "Compendex database; OCLC Contents1st database.",
  acknowledgement = ack-nhfb,
  journalabr =   "LISP Symb Comput",
}

@Article{White:1991:BRK,
  author =       "Jon L. White",
  title =        "Book Review: {{\em A ``Kinder, Gentler LISP?'' COMMON
                 LISP: A Gentle Introduction to Symbolic Computation}},
                 by {David S. Touretzky}. {Benjamin/Cummings Publishing
                 Company} 1990",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "4",
  number =       "2",
  pages =        "165--177",
  month =        apr,
  year =         "1991",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 08:11:22 MST 1999",
  bibsource =    "Compendex database; OCLC Contents1st database.",
  acknowledgement = ack-nhfb,
  journalabr =   "LISP Symb Comput",
}

@Article{Ungar:1991:SPS,
  author =       "David Ungar and Randall B. Smith",
  title =        "{SELF}. The power of simplicity",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "4",
  number =       "3",
  pages =        "187--205",
  month =        jul,
  year =         "1991",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 08:11:22 MST 1999",
  bibsource =    "Compendex database;
                 ftp://ftp.ira.uka.de/pub/bibliography/Compiler/prog.lang.theory.bib;
                 OCLC Contents1st database.",
  note =         "Preliminary version appeared in {\em Proc. ACM Symp.
                 on Object-Oriented Programming: Systems, Languages, and
                 Applications,} 1987, 227-241.",
  acknowledgement = ack-nhfb,
  journalabr =   "LISP Symb Comput",
}

@Article{Chambers:1991:PSP,
  author =       "Craig Chambers and David Ungar and Bay-Wei Chang and
                 Urs H{\"o}lzle",
  title =        "Parents are Shared Parts of Objects: Inheritance and
                 Encapsulation in {SELF}",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "4",
  number =       "3",
  pages =        "207--222",
  month =        jul,
  year =         "1991",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 08:11:22 MST 1999",
  bibsource =    "Compendex database; OCLC Contents1st database.",
  acknowledgement = ack-nhfb,
  journalabr =   "LISP Symb Comput",
}

@Article{Ungar:1991:OPC,
  author =       "David Ungar and Craig Chambers and Bay-Wei Chang and
                 Urs H{\"o}lzle",
  title =        "Organizing Programs Without Classes",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "4",
  number =       "3",
  pages =        "223--242",
  month =        jul,
  year =         "1991",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 08:11:22 MST 1999",
  bibsource =    "Compendex database;
                 ftp://ftp.ira.uka.de/pub/bibliography/Misc/leavens.bib;
                 OCLC Contents1st database.",
  acknowledgement = ack-nhfb,
  journalabr =   "LISP Symb Comput",
}

@Article{Chambers:1991:EIS,
  author =       "Craig Chambers and David Ungar and Elgin Lee",
  title =        "An Efficient Implementation of {SELF}, a
                 Dynamically-Typed Object-Oriented Language Based on
                 Prototypes",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "4",
  number =       "3",
  pages =        "243--281",
  month =        jul,
  year =         "1991",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 08:11:22 MST 1999",
  bibsource =    "Compendex database;
                 ftp://ftp.ira.uka.de/pub/bibliography/Compiler/Functional.bib;
                 ftp://ftp.ira.uka.de/pub/bibliography/Misc/Functional.bib;
                 OCLC Contents1st database.",
  acknowledgement = ack-nhfb,
  journalabr =   "LISP Symb Comput",
  keywords =     "functional",
}

@Article{Chambers:1991:ITA,
  author =       "Craig Chambers and David Ungar",
  title =        "Iterative Type Analysis and Extended Message
                 Splitting: Optimizing Dynamically-Typed Object-Oriented
                 Programs",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "4",
  number =       "3",
  pages =        "283--310",
  month =        jul,
  year =         "1991",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 08:11:22 MST 1999",
  bibsource =    "Compendex database; OCLC Contents1st database.",
  acknowledgement = ack-nhfb,
  journalabr =   "LISP Symb Comput",
}

@Article{Anonymous:1992:Ia,
  author =       "Anonymous",
  title =        "Introduction",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "4",
  number =       "4",
  pages =        "317--??",
  month =        mar,
  year =         "1992",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 08:11:22 MST 1999",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  journalabr =   "LISP Symb Comput",
}

@Article{Cengarle:1992:ADK,
  author =       "Mar{\'\i}a Victoria Cengarle and Luis Mandel and
                 Martin Wirsing and Heiner Brand and Klaus
                 D{\"a}{\ss}ler and Thekla Schneider",
  title =        "An Approach to the {DIN Kernel Lisp} Definition",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "4",
  number =       "4",
  pages =        "319--369",
  month =        mar,
  year =         "1992",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 08:11:22 MST 1999",
  bibsource =    "Compendex database; OCLC Contents1st database.",
  acknowledgement = ack-nhfb,
  journalabr =   "LISP Symb Comput",
}

@Article{Baker:1992:CDK,
  author =       "Henry G. Baker",
  title =        "Critique of {DIN Kernel Lisp} Definition Version 1.2",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "4",
  number =       "4",
  pages =        "371--398",
  month =        mar,
  year =         "1992",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 08:11:22 MST 1999",
  bibsource =    "Compendex database; OCLC Contents1st database.",
  acknowledgement = ack-nhfb,
  journalabr =   "LISP Symb Comput",
}

@Article{Cengarle:1992:ABR,
  author =       "Mar{\'\i}a Victoria Cengarle and Luis Mandel and
                 Martin Wirsing and Heiner Brand and Klaus
                 D{\"a}{\ss}ler and Thekla Schneider",
  title =        "Answer to {Baker}'s Remarks of {July 1991} on Version
                 1.0",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "4",
  number =       "4",
  pages =        "399--404",
  month =        mar,
  year =         "1992",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 08:11:22 MST 1999",
  bibsource =    "Compendex database; OCLC Contents1st database.",
  acknowledgement = ack-nhfb,
  journalabr =   "LISP Symb Comput",
}

@Article{Anonymous:1992:Ib,
  author =       "Anonymous",
  title =        "Introduction",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "5",
  number =       "1/2",
  pages =        "5--??",
  month =        may,
  year =         "1992",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 08:11:22 MST 1999",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  journalabr =   "LISP Symb Comput",
}

@Article{Davis:1992:MGP,
  author =       "Al Davis",
  title =        "{Mayfly}: {A} General-Purpose, Scalable, Parallel
                 Processing Architecture",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "5",
  number =       "1/2",
  pages =        "7--48",
  month =        may,
  year =         "1992",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 08:11:22 MST 1999",
  bibsource =    "Compendex database;
                 ftp://ftp.ira.uka.de/pub/bibliography/Parallel/RISC.parlab.bib;
                 OCLC Contents1st database.",
  acknowledgement = ack-nhfb,
  descr =        "phdmm",
  journalabr =   "LISP Symb Comput",
  owner =        "risc",
}

@Article{Conery:1992:PLP,
  author =       "John S. Conery",
  title =        "Parallel Logic Programs on the {Mayfly}",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "5",
  number =       "1/2",
  pages =        "49--72",
  month =        may,
  year =         "1992",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 08:11:22 MST 1999",
  bibsource =    "Compendex database;
                 ftp://ftp.ira.uka.de/pub/bibliography/Parallel/RISC.parlab.bib;
                 OCLC Contents1st database.",
  acknowledgement = ack-nhfb,
  descr =        "pllog",
  journalabr =   "LISP Symb Comput",
  owner =        "risc",
}

@Article{Kessler:1992:ICS,
  author =       "R. Kessler and H. Carr and L. Stoller and M. Swanson",
  title =        "Implementing {Concurrent Scheme} for the {Mayfly}
                 Distributed Parallel Processing System",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "5",
  number =       "1/2",
  pages =        "73--93",
  month =        may,
  year =         "1992",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 08:11:22 MST 1999",
  bibsource =    "Compendex database;
                 ftp://ftp.ira.uka.de/pub/bibliography/Compiler/garbage.collection.bib;
                 ftp://ftp.ira.uka.de/pub/bibliography/Parallel/RISC.parlab.bib;
                 OCLC Contents1st database.",
  acknowledgement = ack-nhfb,
  descr =        "pllsp",
  journalabr =   "LISP Symb Comput",
  owner =        "risc",
}

@Article{Swanson:1992:CSR,
  author =       "Mark R. Swanson",
  title =        "{Concurrent Scheme} Reference",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "5",
  number =       "1/2",
  pages =        "95--104",
  month =        may,
  year =         "1992",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 08:11:22 MST 1999",
  bibsource =    "Compendex database;
                 ftp://ftp.ira.uka.de/pub/bibliography/Parallel/RISC.parlab.bib;
                 OCLC Contents1st database.",
  acknowledgement = ack-nhfb,
  descr =        "pllsp",
  journalabr =   "LISP Symb Comput",
  owner =        "risc",
}

@Article{Evans:1992:DMP,
  author =       "John D. Evans and Robert R. Kessler",
  title =        "{DPOS}: {A} Metalanguage and Programming Environment
                 for Parallel Processing",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "5",
  number =       "1/2",
  pages =        "105--123",
  month =        may,
  year =         "1992",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 08:11:22 MST 1999",
  bibsource =    "Compendex database;
                 ftp://ftp.ira.uka.de/pub/bibliography/Parallel/RISC.parlab.bib;
                 OCLC Contents1st database.",
  acknowledgement = ack-nhfb,
  descr =        "psdeb",
  journalabr =   "LISP Symb Comput",
  owner =        "risc",
}

@Article{Gang:1992:FLP,
  author =       "Cheng Gang and Yun-Zheng Zhang",
  title =        "A ``Functional + Logic'' Programming Language in
                 Interpretation-Compilation Implementation",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "5",
  number =       "3",
  pages =        "133--156",
  month =        sep,
  year =         "1992",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 08:11:22 MST 1999",
  bibsource =    "Compendex database;
                 ftp://ftp.ira.uka.de/pub/bibliography/Misc/allison.bib;
                 ftp://ftp.ira.uka.de/pub/bibliography/Parallel/RISC.parlab.bib;
                 OCLC Contents1st database.",
  abstract =     "Lisp + Prolog has (ALL X, Y p(X,Y) \& q( ... )) all
                 solutions (ANY k X, Y p(...)...) first k solutions (THE
                 X, Y p(...)...) one solution has assert",
  acknowledgement = ack-nhfb,
  descr =        "plfun,pllog",
  journalabr =   "LISP Symb Comput",
  keywords =     "LSC, JLSC, functional logic programming language
                 implementation, FP, LP, LFP, FLP, prolog, lisp, all,
                 set, setof, any, the, solution, query, solve,
                 constraint, Yun Zheng",
  owner =        "risc",
}

@Article{Baker:1992:DPC,
  author =       "Henry G. Baker",
  title =        "A Decision Procedure for {Common Lisp}'s {SUBTYPEP}
                 Predicate",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "5",
  number =       "3",
  pages =        "157--190",
  month =        sep,
  year =         "1992",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 08:11:22 MST 1999",
  bibsource =    "Compendex database; OCLC Contents1st database.",
  acknowledgement = ack-nhfb,
  journalabr =   "LISP Symb Comput",
}

@Article{Appel:1992:CSR,
  author =       "Andrew W. Appel and Zhong Shao",
  title =        "Callee-save Registers in Continuation-passing Style",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "5",
  number =       "3",
  pages =        "191--221",
  month =        sep,
  year =         "1992",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 08:11:22 MST 1999",
  bibsource =    "Compendex database;
                 ftp://ftp.ira.uka.de/pub/bibliography/Misc/SEL-HPC.bib;
                 ftp://ftp.ira.uka.de/pub/bibliography/Parallel/RISC.parlab.bib;
                 OCLC Contents1st database.",
  URL =          "ftp://ftp.cs.princeton.edu/reports/1991/326.ps.Z",
  acknowledgement = ack-nhfb,
  document-size = "165.9 kbytes",
  journalabr =   "LISP Symb Comput",
}

@Article{Borning:1992:CH,
  author =       "Alan Borning and Bjorn N. Freeman-Benson and Molly
                 Wilson",
  title =        "Constraint Hierarchies",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "5",
  number =       "3",
  pages =        "223--270",
  month =        sep,
  year =         "1992",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 08:11:22 MST 1999",
  bibsource =    "Compendex database;
                 ftp://ftp.ira.uka.de/pub/bibliography/LogicProgramming/Constr.logic.prog.bib;
                 ftp://ftp.ira.uka.de/pub/bibliography/Misc/timetabling.bib;
                 ftp://ftp.ira.uka.de/pub/bibliography/SE/logic.program.construction.bib;
                 OCLC Contents1st database.",
  acknowledgement = ack-nhfb,
  journalabr =   "LISP Symb Comput",
}

@Article{Lapalme:1992:DEL,
  author =       "Guy Lapalme and Mario Latendresse",
  title =        "A Debugging Environment for Lazy Functional
                 Languages",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "5",
  number =       "3",
  pages =        "271--287",
  month =        sep,
  year =         "1992",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 08:11:22 MST 1999",
  bibsource =    "Compendex database;
                 ftp://ftp.ira.uka.de/pub/bibliography/Parallel/RISC.parlab.bib;
                 OCLC Contents1st database.",
  acknowledgement = ack-nhfb,
  descr =        "psdeb",
  journalabr =   "LISP Symb Comput",
  owner =        "risc",
}

@Article{Dybvig:1992:SAS,
  author =       "R. Kent Dybvig and Robert Hieb and Carl Bruggeman",
  title =        "Syntactic Abstraction in {Scheme}",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "5",
  number =       "4",
  pages =        "295--326",
  month =        dec,
  year =         "1992",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 08:11:22 MST 1999",
  bibsource =    "Compendex database; OCLC Contents1st database.",
  acknowledgement = ack-nhfb,
  journalabr =   "LISP Symb Comput",
}

@Article{Consel:1992:PEP,
  author =       "Charles Consel and Olivier Danvy",
  title =        "Partial Evaluation in Parallel",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "5",
  number =       "4",
  pages =        "327--342",
  month =        dec,
  year =         "1992",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 08:11:22 MST 1999",
  bibsource =    "Compendex database;
                 ftp://ftp.ira.uka.de/pub/bibliography/Compiler/partial-eval.bib;
                 ftp://ftp.ira.uka.de/pub/bibliography/Misc/Hypatia/D/DanvyO.bib;
                 OCLC Contents1st database",
  acknowledgement = ack-nhfb,
  journalabr =   "LISP Symb Comput",
}

@Article{Lee:1992:FE,
  author =       "Shinn-Der Lee and Daniel P. Friedman",
  title =        "First-Class Extents",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "5",
  number =       "4",
  pages =        "343--375",
  month =        dec,
  year =         "1992",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 08:11:22 MST 1999",
  bibsource =    "Compendex database; OCLC Contents1st database.",
  acknowledgement = ack-nhfb,
  journalabr =   "LISP Symb Comput",
}

@Article{Anonymous:1993:E,
  author =       "Anonymous",
  title =        "Editorial",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "6",
  number =       "1/2",
  pages =        "5--??",
  month =        aug,
  year =         "1993",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 08:11:22 MST 1999",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  journalabr =   "LISP Symb Comput",
}

@Article{Padget:1993:OE,
  author =       "Julian Padget and Greg Nuyens and Harry Bretthauer",
  title =        "An Overview of {EULISP}",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "6",
  number =       "1/2",
  pages =        "9--98",
  month =        aug,
  year =         "1993",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 08:11:22 MST 1999",
  bibsource =    "Compendex database; OCLC Contents1st database.",
  acknowledgement = ack-nhfb,
  journalabr =   "LISP Symb Comput",
}

@Article{Bradford:1993:EE,
  author =       "Russell J. Bradford and David C. {De Roure}",
  title =        "{EuLisp} in Education",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "6",
  number =       "1/2",
  pages =        "99--118",
  month =        aug,
  year =         "1993",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 08:11:22 MST 1999",
  bibsource =    "Compendex database;
                 ftp://ftp.ira.uka.de/pub/bibliography/Parallel/parallel.symbolic.comp.bib;
                 OCLC Contents1st database.",
  acknowledgement = ack-nhfb,
  journalabr =   "LISP Symb Comput",
}

@Article{Bretthauer:1993:BEM,
  author =       "Harry Bretthauer and J{\"u}rgen Kopp and Harley E.
                 Davis and Keith J. Playford",
  title =        "Balancing the {EuLisp} Metaobject Protocol",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "6",
  number =       "1/2",
  pages =        "119--138",
  month =        aug,
  year =         "1993",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 08:11:22 MST 1999",
  bibsource =    "Compendex database;
                 ftp://ftp.ira.uka.de/pub/bibliography/Parallel/parallel.symbolic.comp.bib;
                 OCLC Contents1st database.",
  acknowledgement = ack-nhfb,
  journalabr =   "LISP Symb Comput",
}

@Article{Broadbery:1993:AT,
  author =       "Peter A. Broadbery and Christopher Burdorf",
  title =        "Applications of {Telos}",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "6",
  number =       "1/2",
  pages =        "139--158",
  month =        aug,
  year =         "1993",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 08:11:22 MST 1999",
  bibsource =    "Compendex database;
                 ftp://ftp.ira.uka.de/pub/bibliography/Parallel/parallel.symbolic.comp.bib;
                 OCLC Contents1st database.",
  acknowledgement = ack-nhfb,
  journalabr =   "LISP Symb Comput",
}

@Article{Kind:1993:PAT,
  author =       "Andreas Kind and Horst Friedrich",
  title =        "A Practical Approach to Type Inference for {EuLisp}",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "6",
  number =       "1/2",
  pages =        "159--176",
  month =        aug,
  year =         "1993",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 08:11:22 MST 1999",
  bibsource =    "Compendex database;
                 ftp://ftp.ira.uka.de/pub/bibliography/Parallel/parallel.symbolic.comp.bib;
                 OCLC Contents1st database.",
  acknowledgement = ack-nhfb,
  journalabr =   "LISP Symb Comput",
}

@Article{Berrington:1993:ETC,
  author =       "Neil Berrington and Peter A. Broadbery and David De
                 Roure and Julian A. Padget",
  title =        "{EuLisp} Threads: {A} Concurrency Toolbox",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "6",
  number =       "1/2",
  pages =        "177--200",
  month =        aug,
  year =         "1993",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 08:11:22 MST 1999",
  bibsource =    "Compendex database;
                 ftp://ftp.ira.uka.de/pub/bibliography/Os/threads.bib;
                 ftp://ftp.ira.uka.de/pub/bibliography/Parallel/parallel.symbolic.comp.bib;
                 OCLC Contents1st database.",
  URL =          "ftp://ftp.bath.ac.uk/pub/eulisp/threads.ps.gz",
  abstract =     "Many current high level languages have been designed
                 with support for concurrency in mind, providing
                 constructs for the programmer to build explicit
                 parallelism into a program. The EULISP threads
                 mechanism, in conjunction with locks, and a generic
                 event waiting operation provides a set of primitive
                 tools with which such concurrency abstractions can be
                 constructed. The object system (Telos) provides a
                 powerful approach to building and controlling these
                 abstractions. The authors provide a synopsis of this
                 'concurrency toolbox', and demonstrate the construction
                 of a number of established abstractions using the
                 facilities of EULISP: pcall, futures, stack groups,
                 channels, CSP and Linda",
  acknowledgement = ack-nhfb,
  journalabr =   "LISP Symb Comput",
}

@Article{Merrall:1993:PSE,
  author =       "Simon Merrall and Julian A. Padget",
  title =        "Plurals: {A SIMD} Extension to {EuLisp}",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "6",
  number =       "1/2",
  pages =        "201--220",
  month =        aug,
  year =         "1993",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 08:11:22 MST 1999",
  bibsource =    "Compendex database;
                 ftp://ftp.ira.uka.de/pub/bibliography/Parallel/parallel.symbolic.comp.bib;
                 OCLC Contents1st database.",
  acknowledgement = ack-nhfb,
  journalabr =   "LISP Symb Comput",
}

@Article{Anonymous:1993:I,
  author =       "Anonymous",
  title =        "Introduction",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "6",
  number =       "3/4",
  pages =        "229--??",
  month =        nov,
  year =         "1993",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 08:11:22 MST 1999",
  bibsource =    "Compendex database; OCLC Contents1st database.",
  acknowledgement = ack-nhfb,
  journalabr =   "LISP Symb Comput",
}

@Article{Reynolds:1993:DC,
  author =       "John C. Reynolds",
  title =        "The Discoveries of Continuations",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "6",
  number =       "3/4",
  pages =        "233--248",
  month =        nov,
  year =         "1993",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 08:11:22 MST 1999",
  bibsource =    "Compendex database;
                 ftp://ftp.ira.uka.de/pub/bibliography/Compiler/reynolds.bib;
                 OCLC Contents1st database.",
  acknowledgement = ack-nhfb,
  checked =      "3 January 1994",
  journalabr =   "LISP Symb Comput",
}

@Article{Morris:1993:NFL,
  author =       "F. Lockwood Morris",
  title =        "The Next 700 Formal Language Descriptions",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "6",
  number =       "3/4",
  pages =        "249--258",
  month =        nov,
  year =         "1993",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 08:11:22 MST 1999",
  bibsource =    "Compendex database;
                 ftp://ftp.ira.uka.de/pub/bibliography/Compiler/reynolds.bib;
                 OCLC Contents1st database.",
  note =         "Original manuscript dated November 1970",
  acknowledgement = ack-nhfb,
  checked =      "3 January 1994",
  journalabr =   "LISP Symb Comput",
}

@Article{Fischer:1993:LCS,
  author =       "Michael J. Fischer",
  title =        "Lambda-Calculus Schemata",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "6",
  number =       "3/4",
  pages =        "259--288",
  month =        nov,
  year =         "1993",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 08:11:22 MST 1999",
  bibsource =    "Compendex database;
                 ftp://ftp.ira.uka.de/pub/bibliography/Compiler/reynolds.bib;
                 OCLC Contents1st database.",
  acknowledgement = ack-nhfb,
  affiliation =  "Yale Univ",
  affiliationaddress = "New Haven, USA",
  checked =      "3 January 1994",
  comments =     "final version of FISCHER72",
  journalabr =   "LISP Symb Comput",
}

@Article{Sabry:1993:RAP,
  author =       "Amr Sabry and Matthias Felleisen",
  title =        "Reasoning about Programs in Continuation-Passing
                 Style",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "6",
  number =       "3/4",
  pages =        "289--360",
  month =        nov,
  year =         "1993",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 08:11:22 MST 1999",
  bibsource =    "Compendex database; OCLC Contents1st database.",
  acknowledgement = ack-nhfb,
  affiliation =  "Rice Univ",
  affiliationaddress = "Houston, USA",
  journalabr =   "LISP Symb Comput",
}

@Article{Harper:1993:PTA,
  author =       "Robert W. Harper and Mark Lillibridge",
  title =        "Polymorphic Type Assignment and {CPS} Conversion",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "6",
  number =       "3/4",
  pages =        "361--380",
  month =        nov,
  year =         "1993",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 08:11:22 MST 1999",
  bibsource =    "Compendex database;
                 ftp://ftp.ira.uka.de/pub/bibliography/Compiler/reynolds.bib;
                 OCLC Contents1st database.",
  acknowledgement = ack-nhfb,
  affiliation =  "Carnegie Mellon Univ",
  affiliationaddress = "Pittsburgh, USA",
  comment =      "supercedes HARPER92A",
  entered =      "4 January 1994",
  journalabr =   "LISP Symb Comput",
}

@Article{Anonymous:1994:I,
  author =       "Anonymous",
  title =        "Introduction",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "7",
  number =       "1",
  pages =        "7--??",
  month =        jan,
  year =         "1994",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Thu Feb 11 17:40:08 MST 1999",
  bibsource =    "OCLC Contents1st database.",
  acknowledgement = ack-nhfb,
}

@Article{Filinski:1994:RI,
  author =       "Andrzej Filinski",
  title =        "Recursion from Iteration",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "7",
  number =       "1",
  pages =        "11--38",
  month =        jan,
  year =         "1994",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 08:11:22 MST 1999",
  bibsource =    "Compendex database;
                 ftp://ftp.ira.uka.de/pub/bibliography/Compiler/reynolds.bib;
                 OCLC Contents1st database.",
  acknowledgement = ack-nhfb,
  affiliation =  "Carnegie Mellon Univ",
  affiliationaddress = "Pittsburgh, USA",
  checked =      "26 January 1994",
  classification = "723.1.1; 921",
  comment =      "Journal version of FILINSKI92B",
  journalabr =   "LISP Symb Comput",
  keywords =     "Call-by-value language; Computer programming
                 languages; First class continuations; Iterative
                 deepening; Iterative methods; lisp (programming
                 language); Mathematical operators",
}

@Article{Wadler:1994:MCC,
  author =       "Philip Wadler",
  title =        "Monads and Composable Continuations",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "7",
  number =       "1",
  pages =        "39--56",
  month =        jan,
  year =         "1994",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Thu Feb 11 17:40:08 MST 1999",
  bibsource =    "ftp://ftp.ira.uka.de/pub/bibliography/Compiler/reynolds.bib;
                 ftp://ftp.ira.uka.de/pub/bibliography/Misc/att.bib;
                 ftp://ftp.ira.uka.de/pub/bibliography/Misc/Hypatia/W/WadlerP.bib;
                 OCLC Contents1st database.",
  acknowledgement = ack-nhfb,
  checked =      "26 January 1994",
}

@Article{Okasaki:1994:CNC,
  author =       "Chris Okasaki and Peter Lee and David Tarditi",
  title =        "Call-by-need and Continuation-passing Style",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "7",
  number =       "1",
  pages =        "57--82",
  month =        jan,
  year =         "1994",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 08:11:22 MST 1999",
  bibsource =    "Compendex database;
                 ftp://ftp.ira.uka.de/pub/bibliography/Compiler/reynolds.bib;
                 ftp://ftp.ira.uka.de/pub/bibliography/Misc/Hypatia/L/LeeP.bib;
                 OCLC Contents1st database.",
  URL =          "ftp://ftp.cs.cmu.edu/usr/anon/user/cokasaki/lasc94.dvi.gz",
  acknowledgement = ack-nhfb,
  affiliation =  "Carnegie Mellon Univ",
  affiliationaddress = "Pittsburg, USA",
  checked =      "26 January 1994",
  classification = "723.1.1; 921",
  history =      "Revision of [Okasaki+92:cw].",
  journalabr =   "LISP Symb Comput",
  keywords =     "Call-by-need terms; Computer programming languages;
                 Continuation-passing style; Evaluation; Graph theory;
                 lisp (programming language)",
}

@Article{Hieb:1994:S,
  author =       "Robert Hieb and Kent Dybvig and Claude W. {Anderson,
                 III}",
  title =        "Subcontinuations",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "7",
  number =       "1",
  pages =        "83--110",
  month =        jan,
  year =         "1994",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Thu Feb 11 17:40:08 MST 1999",
  bibsource =    "OCLC Contents1st database.",
  acknowledgement = ack-nhfb,
}

@Article{Conery:1994:CBC,
  author =       "John S. Conery",
  title =        "Continuation based control in the implementation of
                 parallel logic programs.",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "7",
  number =       "1",
  pages =        "111--134",
  month =        jan,
  year =         "1994",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 08:11:22 MST 1999",
  bibsource =    "Compendex database;
                 ftp://ftp.ira.uka.de/pub/bibliography/Misc/allison.bib;
                 OCLC Contents1st database.",
  acknowledgement = ack-nhfb,
  affiliation =  "Univ of Oregon",
  classification = "723.1.1; 921",
  journalabr =   "LISP Symb Comput",
  keywords =     "Computer architecture; Computer programming languages;
                 continuation; Continuation based control; jrnl; lisp
                 (programming language); Logic programming; logic
                 programming; LP; LSC; Message passing; Parallel logic
                 programs",
}

@Article{Chakrabarti:1994:DDS,
  author =       "Soumen Chakrabarti and Katherine Yelick",
  title =        "Distributed Data Structures and Algorithms for
                 {Gr{\"o}bner} Basis Computation",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "7",
  number =       "2/3",
  pages =        "147--172",
  month =        "????",
  year =         "1994",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 08:11:22 MST 1999",
  bibsource =    "Compendex database; OCLC Contents1st database.",
  acknowledgement = ack-nhfb,
  affiliation =  "Univ of California",
  affiliationaddress = "Berkeley, USA",
  classification = "721.1; 722.4; 723.1; 723.2; 921.1; 921.6",
  journalabr =   "LISP Symb Comput",
  keywords =     "Algebra; Calculations; Computational linguistics;
                 Computer programming; Data structures; Distributed
                 computer systems; Distributed memory machines;
                 Gr{\"o}bner basis; Latency tolerance; Load balancing;
                 Microcomputers; Parallel algorithms; Parallel
                 processing systems; Queueing theory; Relaxed
                 consistency; Software caching",
}

@Article{Weeks:1994:CAI,
  author =       "Stephen Weeks and Suresh Jagannathan and James
                 Philbin",
  title =        "A Concurrent Abstract Interpreter",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "7",
  number =       "2/3",
  pages =        "173--193",
  month =        "????",
  year =         "1994",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 08:11:22 MST 1999",
  bibsource =    "Compendex database; OCLC Contents1st database.",
  acknowledgement = ack-nhfb,
  affiliation =  "Carnegie-Mellon Univ",
  affiliationaddress = "Pittsburgh, USA",
  classification = "722.4; 723.1; 723.1.1; 723.2; 731.3; 921.5",
  journalabr =   "LISP Symb Comput",
  keywords =     "Abstract interpretation; Computer operating systems;
                 Concurrency control; Control flow analysis; Data
                 handling; Data structures; High level languages; Multi
                 threaded computing; Optimization; Parallel processing
                 systems; Program interpreters; Synchronization",
}

@Article{Ho:1994:CPC,
  author =       "Kinson Ho and Hans W. Guesgen and Paul N. Hilfinger",
  title =        "{CONSAT}: {A} Parallel Constraint Satisfaction
                 System",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "7",
  number =       "2/3",
  pages =        "195--210",
  month =        "????",
  year =         "1994",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 08:11:22 MST 1999",
  bibsource =    "Compendex database; OCLC Contents1st database.",
  acknowledgement = ack-nhfb,
  affiliation =  "Univ of California at Berkeley",
  affiliationaddress = "Berkeley, USA",
  classification = "722.4; 723.1; 723.1.1; 723.2",
  journalabr =   "LISP Symb Comput",
  keywords =     "Algorithms; Calculations; Computer programming;
                 Concurrency control; Constraint satisfaction system;
                 Constraint theory; Data handling; Data structures;
                 Fixed point computation; lisp (programming language);
                 Parallel processing systems; Parallel programming;
                 Performance",
}

@Article{Matsuda:1994:AOP,
  author =       "Hideo Matsuda and Yukio Kaneda",
  title =        "An Application of an {OR}-Parallel {Prolog} System to
                 Phylogenetic Analysis",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "7",
  number =       "2/3",
  pages =        "211--229",
  month =        "????",
  year =         "1994",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 08:11:22 MST 1999",
  bibsource =    "Compendex database; OCLC Contents1st database.",
  acknowledgement = ack-nhfb,
  affiliation =  "Kobe Univ",
  affiliationaddress = "Jpn",
  classification = "723.1; 723.1.1; 921.4; 921.5; 921.6; 922.2",
  journalabr =   "LISP Symb Comput",
  keywords =     "Artificial intelligence; Bacteriology; C (programming
                 language); Calculations; Logic programming;
                 Mathematical models; Maximum likelihood method;
                 Optimization; or parallelism; Parallel algorithms;
                 Phylogenetic analysis; Priority mechanism; prolog
                 (programming language); Search algorithm; Statistical
                 methods; Symbolic computing; Trees (mathematics)",
}

@Article{Feeley:1994:UMS,
  author =       "Marc Feeley and Marcel Turcotte and Guy Lapalme",
  title =        "Using {Multilisp} for Solving Constraint Satisfaction
                 Problems: an Application to Nucleic Acid {3D} Structure
                 Determination.",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "7",
  number =       "2/3",
  pages =        "231--247",
  month =        "????",
  year =         "1994",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 08:11:22 MST 1999",
  bibsource =    "Compendex database;
                 ftp://ftp.ira.uka.de/pub/bibliography/Misc/allison.bib;
                 OCLC Contents1st database.",
  abstract =     "This software is an optimized variant of the MC-SYM
                 system. This system computes the 3D shape of a piece of
                 nucleic acid molecule given the sequence of nucleotides
                 and a set of constraints to satisfy. It is mostly used
                 by molecular biologists. (16 refs) FTP from
                 ftp.merl.com:/pub/LASC/nucleic.tar.Z email:
                 feeley@iro.umontreal.ca via email: wadler@dcs.gla.ac.uk
                 (8/'94)",
  acknowledgement = ack-nhfb,
  affiliation =  "Universit{\'e} de Montr{\'e}al",
  affiliationaddress = "Montr{\'e}al, Qu{\'e}, Can",
  classification = "461.9; 722.4; 723.1; 723.1.1; 723.2; 723.5",
  journalabr =   "LISP Symb Comput",
  keywords =     "C (programming language); Constraint satisfaction;
                 Contention of shared data; Data set; Data structures;
                 Digital arithmetic; Functional programming; Garbage
                 collection; JLSC, MC-Sym, MC Sym, MolBio, functional
                 programming, FP, multi Lisp, 3-D, three dimensional,
                 constraint; lisp (programming language); Load
                 balancing; Multilisp; Natural sciences computing;
                 Nucleic acids; Parallel algorithms; Parallel processing
                 systems; Performance; Speed; Symbolic computation;
                 Three dimensional",
}

@Article{Karp:1994:GCG,
  author =       "Peter D. Karp and John D. Lowrance and Thomas M. Strat
                 and David E. Wilkins",
  title =        "The {Grasper-CL} Graph Management System",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "7",
  number =       "4",
  pages =        "251--290",
  month =        "????",
  year =         "1994",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 08:11:22 MST 1999",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliation =  "SRI Int",
  affiliationaddress = "Menlo Park, USA",
  classification = "722.2; 723.1; 723.1.1; 723.4; 723.5",
  journalabr =   "LISP Symb Comput",
  keywords =     "Algorithms; Artificial intelligence; Computer
                 programming; Data structures; Drawing (graphics); Graph
                 layout; Graph management system; Graphical user
                 interfaces; Interactive computer graphics; Interactive
                 graph browser; lisp (programming language)",
}

@Article{Jagannathan:1994:TSD,
  author =       "Suresh Jagannathan",
  title =        "{TS\slash Scheme}: distributed data structures in
                 {Lisp}",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "7",
  number =       "4",
  pages =        "291--314",
  month =        "????",
  year =         "1994",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 08:11:22 MST 1999",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliation =  "NEC Research Inst",
  affiliationaddress = "Princeton, USA",
  classification = "721.1; 722.4; 723.1; 723.1.1; 723.2",
  journalabr =   "LISP Symb Comput",
  keywords =     "Computational linguistics; Computational methods;
                 Concurrency control; Coordination; Data structures;
                 Distributed data structures; lisp (programming
                 language); Object oriented programming; Parallel
                 algorithms; Parallel processing systems; Parallelism;
                 Semantics; Symbolic computation; Synchronization",
}

@Article{Kelsey:1994:TSI,
  author =       "Richard A. Kelsey and Jonathan A. Rees",
  title =        "A Tractable {Scheme} Implementation",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "7",
  number =       "4",
  pages =        "315--335",
  month =        "????",
  year =         "1994",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 08:11:22 MST 1999",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliation =  "NEC Research Inst",
  classification = "721.1; 723.1; 723.1.1",
  journalabr =   "LISP Symb Comput",
  keywords =     "Byte code interpreters; Codes (symbols); Computational
                 complexity; Computer programming; Layered design; lisp
                 (programming language); Modularity; Partial evaluation;
                 Program compilers; Program interpreters; Scheme
                 programming language; Virtual machines; Virtual
                 reality",
}

@Article{Appel:1994:LHC,
  author =       "Andrew W. Appel",
  title =        "Loop Headers in $\lambda$-Calculus or {CPS}",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "7",
  number =       "4",
  pages =        "337--343",
  month =        "????",
  year =         "1994",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 08:11:22 MST 1999",
  bibsource =    "Compendex database",
  acknowledgement = ack-nhfb,
  affiliation =  "Princeton Univ",
  affiliationaddress = "USA",
  classification = "721.1; 723.1; 921.5; 921.6",
  journalabr =   "LISP Symb Comput",
  keywords =     "Codes (symbols); Continuation passing style; Inline
                 expansion; Iterative methods; Lambda calculus; Loop
                 header; Optimization; Performance; Program compilers;
                 Programming theory; Recursive functions",
}

@Article{Guttman:1995:VVIa,
  author =       "Joshua D. Guttman and John D. Ramsdell and Mitchell
                 Wand",
  title =        "{VLISP}: {A} Verified Implementation of {Scheme}",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "8",
  number =       "1/2",
  pages =        "5--32",
  month =        mar,
  year =         "1995",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 08:11:22 MST 1999",
  bibsource =    "Compendex database;
                 ftp://ftp.ira.uka.de/pub/bibliography/Compiler/semantics.bib;
                 ftp://ftp.ira.uka.de/pub/bibliography/Misc/Hypatia/W/WandM.bib;
                 http://www.wkap.nl/issuetoc.htm/0892-4635+8+1-2+1995;
                 OCLC Contents1st database.",
  URL =          "ftp://ftp.ccs.neu.edu/pub/people/wand/vlisp/lasc/overview.dvi;
                 http://www.wkap.nl/oasis.htm/81420",
  abstract =     "The Vlisp project showed how to produce a
                 comprehensively verified implementation for a
                 programming language, namely Scheme. This paper
                 introduces two more detailed studies on Vlisp. It
                 summarizes the basic techniques that were used
                 repeatedly throughout the effort. It presents
                 scientific conclusions about the applicability of the
                 these techniques as well as engineering conclusions
                 about the crucial choices that allowed the verification
                 to succeed.",
  acknowledgement = ack-nhfb,
  affiliation =  "MITRE Corp",
  affiliationaddress = "Bedford, USA",
  classification = "721.1; 723.1; 723.1.1",
  journalabr =   "LISP Symb Comput",
  keywords =     "Computational linguistics; Computer hardware
                 description languages; lisp (programming language);
                 Program compilers; Software Package vlisp; Software
                 prototyping; Virtual reality",
}

@Article{Guttman:1995:VVS,
  author =       "Joshua D. Guttman and John D. Ramsdell and Vipin
                 Swarup",
  title =        "The {VLISP} Verified {Scheme} System",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "8",
  number =       "1/2",
  pages =        "33--110",
  month =        mar,
  year =         "1995",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 08:11:22 MST 1999",
  bibsource =    "Compendex database;
                 ftp://ftp.ira.uka.de/pub/bibliography/Compiler/semantics.bib;
                 http://www.wkap.nl/issuetoc.htm/0892-4635+8+1-2+1995;
                 OCLC Contents1st database.",
  URL =          "http://www.wkap.nl/oasis.htm/81421",
  acknowledgement = ack-nhfb,
  affiliation =  "MITRE Corp",
  affiliationaddress = "Bedford, USA",
  classification = "721.1; 722.1; 723.1; 723.1.1; 723.2",
  journalabr =   "LISP Symb Comput",
  keywords =     "Algorithms; Codes (symbols); Computational
                 linguistics; Data storage equipment; Data structures;
                 Denotational semantics; Finite automata; Garbage
                 collection; Interpreter; lisp (programming language);
                 Operational semantics; Program compilers; Scheme;
                 Software Package vlisp",
}

@Article{Oliva:1995:VVP,
  author =       "Dino P. Oliva and John D. Ramsdell and Mitchell Wand",
  title =        "The {VLISP} Verified {PreScheme} Compiler",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "8",
  number =       "1/2",
  pages =        "111--182",
  month =        mar,
  year =         "1995",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 08:11:22 MST 1999",
  bibsource =    "Compendex database;
                 ftp://ftp.ira.uka.de/pub/bibliography/Compiler/semantics.bib;
                 ftp://ftp.ira.uka.de/pub/bibliography/Misc/Hypatia/W/WandM.bib;
                 http://www.wkap.nl/issuetoc.htm/0892-4635+8+1-2+1995;
                 OCLC Contents1st database.",
  URL =          "ftp://ftp.ccs.neu.edu/pub/people/wand/vlisp/lasc/prescheme.dvi;
                 http://www.wkap.nl/oasis.htm/81422",
  abstract =     "This paper describes a verified compiler for
                 PreScheme, the implementation language for the {\vlisp}
                 run-time system. The compiler and proof were divided
                 into three parts: A transformational front end that
                 translates source text into a core language, a
                 syntax-directed compiler that translates the core
                 language into combinator-based tree-manipulation
                 language, and a linearizer that translates combinator
                 code into code for an abstract stored-program machine
                 with linear memory for both data and code. This
                 factorization enabled different proof techniques to be
                 used for the different phases of the compiler, and also
                 allowed the generation of good code. Finally, the whole
                 process was made possible by carefully defining the
                 semantics of {\vlisp} PreScheme rather than just
                 adopting Scheme's. We believe that the architecture of
                 the compiler and its correctness proof can easily be
                 applied to compilers for languages other than
                 PreScheme.",
  acknowledgement = ack-nhfb,
  affiliation =  "Northeastern Univ",
  affiliationaddress = "Boston, USA",
  classification = "721.1; 722.1; 722.4; 723.1; 723.1.1; 723.5",
  journalabr =   "LISP Symb Comput",
  keywords =     "Codes (symbols); Computational linguistics; Computer
                 aided language translation; Data storage equipment;
                 lisp (programming language); Program compilers; Real
                 time systems; Software Package vlisp",
}

@Article{Sestoft:1995:GEF,
  author =       "Peter Sestoft and Harald S{\o}ndergaard",
  title =        "Guest Editors' Foreword",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "8",
  number =       "3",
  pages =        "189--??",
  month =        sep,
  year =         "1995",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Thu Feb 11 17:40:08 MST 1999",
  bibsource =    "OCLC Contents1st database.",
  acknowledgement = ack-nhfb,
}

@Article{Birkedal:1995:BTA,
  author =       "Lars Birkedal and Morten Welinder",
  title =        "Binding-Time Analysis for {Standard ML}",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "8",
  number =       "3",
  pages =        "191--208",
  month =        sep,
  year =         "1995",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 08:11:22 MST 1999",
  bibsource =    "Compendex database;
                 ftp://ftp.ira.uka.de/pub/bibliography/Misc/Hypatia/B/BirkedalL.bib;
                 http://www.wkap.nl/issuetoc.htm/0892-4635+8+3+1995;
                 OCLC Contents1st database.",
  URL =          "http://www.wkap.nl/oasis.htm/92449",
  acknowledgement = ack-nhfb,
  journalabr =   "LISP Symb Comput",
}

@Article{Danvy:1995:EEE,
  author =       "Olivier Danvy and Karoline Malmkj{\ae}r and Jens
                 Palsberg",
  title =        "The Essence of Eta-Expansion in Partial Evaluation",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "8",
  number =       "3",
  pages =        "209--227",
  month =        sep,
  year =         "1995",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 08:11:22 MST 1999",
  bibsource =    "Compendex database;
                 ftp://ftp.ira.uka.de/pub/bibliography/Misc/Hypatia/D/DanvyO.bib;
                 ftp://ftp.ira.uka.de/pub/bibliography/Misc/Hypatia/P/PalsbergJ.bib;
                 ftp://ftp.ira.uka.de/pub/bibliography/Misc/SEL-HPC.bib;
                 http://www.wkap.nl/issuetoc.htm/0892-4635+8+3+1995;
                 OCLC Contents1st database.",
  URL =          "http://www.wkap.nl/oasis.htm/92450;
                 http://www.daimi.aau.dk/~danvy/Papers/danvy-malmkjaer-palsberg-lasc95.html
                 ftp://ftp.daimi.aau.dk/pub/danvy/Papers/danvy-malmkjaer-palsberg-lasc95.ps.gz",
  acknowledgement = ack-nhfb,
  journalabr =   "LISP Symb Comput",
  scope =        "partial",
}

@Article{Jones:1995:DFO,
  author =       "Mark P. Jones",
  title =        "Dictionary-Free Overloading by Partial Evaluation",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "8",
  number =       "3",
  pages =        "229--248",
  month =        sep,
  year =         "1995",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 08:11:22 MST 1999",
  bibsource =    "Compendex database;
                 http://www.wkap.nl/issuetoc.htm/0892-4635+8+3+1995;
                 OCLC Contents1st database.",
  URL =          "http://www.wkap.nl/oasis.htm/92451",
  acknowledgement = ack-nhfb,
  journalabr =   "LISP Symb Comput",
}

@Article{Davis:1995:PPB,
  author =       "Kei Davis",
  title =        "{PERs} from projections for binding time analysis",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "8",
  number =       "3",
  pages =        "249--266",
  month =        sep,
  year =         "1995",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 08:11:22 MST 1999",
  bibsource =    "Compendex database;
                 http://www.wkap.nl/issuetoc.htm/0892-4635+8+3+1995;
                 OCLC Contents1st database.",
  URL =          "http://www.wkap.nl/oasis.htm/92452",
  acknowledgement = ack-nhfb,
  journalabr =   "LISP Symb Comput",
}

@Article{Baker-Finch:1995:TTP,
  author =       "Clement A. Baker-Finch",
  title =        "Type Theory and Projections for Static Analysis",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "8",
  number =       "3",
  pages =        "267--285",
  month =        sep,
  year =         "1995",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 08:11:22 MST 1999",
  bibsource =    "Compendex database;
                 http://www.wkap.nl/issuetoc.htm/0892-4635+8+3+1995;
                 OCLC Contents1st database.",
  URL =          "http://www.wkap.nl/oasis.htm/92453",
  acknowledgement = ack-nhfb,
  journalabr =   "LISP Symb Comput",
}

@Article{Mason:1995:I,
  author =       "Ian A. Mason and Martin Odersky",
  title =        "Introduction",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "8",
  number =       "4",
  pages =        "291--292",
  month =        dec,
  year =         "1995",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Thu Feb 11 15:12:49 MST 1999",
  bibsource =    "http://www.wkap.nl/issuetoc.htm/0892-4635+8+4+1995",
  URL =          "http://www.wkap.nl/oasis.htm/97402",
  acknowledgement = ack-nhfb,
}

@Article{Launchbury:1995:SH,
  author =       "John Launchbury and Simon L. {Peyton Jones}",
  title =        "State in {Haskell}",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "8",
  number =       "4",
  pages =        "293--341",
  month =        dec,
  year =         "1995",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 08:11:22 MST 1999",
  bibsource =    "Compendex database;
                 http://www.wkap.nl/issuetoc.htm/0892-4635+8+4+1995;
                 OCLC Contents1st database.",
  URL =          "http://www.wkap.nl/oasis.htm/97403",
  acknowledgement = ack-nhfb,
  affiliation =  "Oregon Graduate Inst",
  affiliationaddress = "Portland, USA",
  classification = "721.1; 723.1; 723.1.1; 902.2",
  journalabr =   "LISP Symb Comput",
  keywords =     "Algorithms; Computation theory; Computer programming;
                 Computer programming languages; Functional programming;
                 Input output programs; Parametricity; Side-effects;
                 Specifications; Types",
}

@Article{Wright:1995:SIP,
  author =       "Andrew K. Wright",
  title =        "Simple Imperative Polymorphism",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "8",
  number =       "4",
  pages =        "343--355",
  month =        dec,
  year =         "1995",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 08:11:22 MST 1999",
  bibsource =    "Compendex database;
                 http://www.wkap.nl/issuetoc.htm/0892-4635+8+4+1995;
                 OCLC Contents1st database.",
  URL =          "http://www.wkap.nl/oasis.htm/97404",
  acknowledgement = ack-nhfb,
  journalabr =   "LISP Symb Comput",
}

@Article{Eifrig:1995:ITO,
  author =       "Jonathan Eifrig and Scott Smith and Valery Trifonov
                 and Amy Zwarico",
  title =        "An Interpretation of Typed {OOP} in a Language with
                 State",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "8",
  number =       "4",
  pages =        "357--397",
  month =        dec,
  year =         "1995",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 08:11:22 MST 1999",
  bibsource =    "Compendex database;
                 http://www.wkap.nl/issuetoc.htm/0892-4635+8+4+1995;
                 OCLC Contents1st database.",
  URL =          "http://www.wkap.nl/oasis.htm/97405",
  acknowledgement = ack-nhfb,
  affiliation =  "Johns Hopkins Univ",
  classification = "721.1; 722.4; 723.1; 723.1.1",
  journalabr =   "LISP Symb Comput",
  keywords =     "C (programming language); Computational linguistics;
                 Computer programming languages; Computer systems;
                 Object oriented programming; State in programming;
                 Translation (languages); Type systems",
}

@Article{Guttman:1995:SIV,
  author =       "Joshua D. Guttman and Mitchell Wand",
  title =        "Special Issue on {VLISP}",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "8",
  number =       "1/2",
  pages =        "??--??",
  month =        mar,
  year =         "1995",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Thu Feb 11 17:40:08 MST 1999",
  bibsource =    "OCLC Contents1st database.",
  acknowledgement = ack-nhfb,
}

@Article{Reddy:1996:GSC,
  author =       "Uday S. Reddy",
  title =        "Global State Considered Unnecessary: An Introduction
                 to Object-Based Semantics",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "9",
  number =       "1",
  pages =        "7--76",
  month =        feb,
  year =         "1996",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 08:11:22 MST 1999",
  bibsource =    "Compendex database;
                 ftp://ftp.ira.uka.de/pub/bibliography/Misc/leavens.bib;
                 ftp://ftp.ira.uka.de/pub/bibliography/Theory/CLiCS.bib;
                 http://www.wkap.nl/issuetoc.htm/0892-4635+9+1+1996;
                 OCLC Contents1st database.",
  URL =          "http://www.wkap.nl/oasis.htm/105832",
  acknowledgement = ack-nhfb,
  affiliation =  "Univ of Illinois at Urbana-Champaign",
  affiliationaddress = "Urbana, USA",
  classification = "721.1; 723.1; 723.1.1; 723.2; 723.5",
  journalabr =   "LISP Symb Comput",
  keywords =     "Computational linguistics; Computer programming
                 languages; Computer simulation; Data structures;
                 Equivalence classes; Global states; Imperative
                 programming languages; Object oriented programming;
                 Programming theory; Semantics",
}

@Article{Stark:1996:CML,
  author =       "Ian Stark",
  title =        "Categorical Models for Local Names",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "9",
  number =       "1",
  pages =        "77--107",
  month =        feb,
  year =         "1996",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 08:11:22 MST 1999",
  bibsource =    "Compendex database;
                 http://www.wkap.nl/issuetoc.htm/0892-4635+9+1+1996;
                 OCLC Contents1st database.",
  URL =          "http://www.wkap.nl/oasis.htm/105834",
  acknowledgement = ack-nhfb,
  journalabr =   "LISP Symb Comput",
}

@Article{Springer:1996:SAI,
  author =       "Jonathan Springer and Samuel N. Kamin",
  title =        "Strictness Analysis in the Imperative Lambda
                 Calculus",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "9",
  number =       "1",
  pages =        "109--143",
  month =        feb,
  year =         "1996",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 08:11:22 MST 1999",
  bibsource =    "Compendex database;
                 http://www.wkap.nl/issuetoc.htm/0892-4635+9+1+1996;
                 OCLC Contents1st database.",
  URL =          "http://www.wkap.nl/oasis.htm/105837",
  acknowledgement = ack-nhfb,
  journalabr =   "LISP Symb Comput",
}

@Article{Malenfant:1996:SIR,
  author =       "Jacques Malenfant and Christophe Dony and Pierre
                 Cointe",
  title =        "A Semantics of Introspection in a Reflective
                 Prototype-Based Language",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "9",
  number =       "2/3",
  pages =        "153--179",
  month =        may # "/" # jun,
  year =         "1996",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 08:11:22 MST 1999",
  bibsource =    "Compendex database;
                 ftp://ftp.ira.uka.de/pub/bibliography/Compiler/semantics.bib;
                 http://www.wkap.nl/issuetoc.htm/0892-4635+9+2-3+1996;
                 OCLC Contents1st database.",
  URL =          "http://www.wkap.nl/oasis.htm/111830",
  acknowledgement = ack-nhfb,
  affiliation =  "Universit{\'e} de Montr{\'e}al",
  affiliationaddress = "Montr{\'e}al, Qu{\'e}, Can",
  classification = "721.1; 723.1; 723.1.1; 723.2",
  journalabr =   "LISP Symb Comput",
  keywords =     "Computational linguistics; Computational methods; Data
                 structures; Equivalence classes; Formal logic;
                 Introspection; Introspection protocol; lisp
                 (programming language); Network protocols; Object
                 oriented programming; Priority rewrite systems;
                 Procedural reflection; Reflective protocol; Reflective
                 prototype based language; Semantics",
}

@Article{Jefferson:1996:SRI,
  author =       "Stanley Jefferson and Daniel P. Friedman",
  title =        "A Simple Reflective Interpreter",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "9",
  number =       "2/3",
  pages =        "181--202",
  month =        may # "/" # jun,
  year =         "1996",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 08:11:22 MST 1999",
  bibsource =    "Compendex database;
                 ftp://ftp.ira.uka.de/pub/bibliography/Compiler/semantics.bib;
                 http://www.wkap.nl/issuetoc.htm/0892-4635+9+2-3+1996;
                 OCLC Contents1st database.",
  URL =          "http://www.wkap.nl/oasis.htm/111833",
  acknowledgement = ack-nhfb,
  affiliation =  "Indiana Univ",
  affiliationaddress = "Bloomington, USA",
  classification = "721.1; 722.4; 723.1; 723.1.1",
  journalabr =   "LISP Symb Comput",
  keywords =     "Codes (symbols); Computational linguistics; Computer
                 architecture; Computer software; lisp (programming
                 language); Program interpreters; Reflective
                 interpreter; Reflective tower; User interfaces",
}

@Article{Asai:1996:DPE,
  author =       "Kenichi Asai and Satoshi Matsuoka and Akinori
                 Yonezawa",
  title =        "Duplication and partial evaluation --- for a better
                 understanding of reflective languages -",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "9",
  number =       "2/3",
  pages =        "203--241",
  month =        may # "/" # jun,
  year =         "1996",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 08:11:22 MST 1999",
  bibsource =    "Compendex database;
                 http://www.wkap.nl/issuetoc.htm/0892-4635+9+2-3+1996;
                 OCLC Contents1st database.",
  URL =          "http://www.wkap.nl/oasis.htm/111834",
  acknowledgement = ack-nhfb,
  affiliation =  "Univ of Tokyo",
  affiliationaddress = "Tokyo, Jpn",
  classification = "721.1; 723.1; 723.1.1",
  journalabr =   "LISP Symb Comput",
  keywords =     "Computational linguistics; Computer programming
                 languages; Computer software; Computer software
                 selection and evaluation; Duplication; Infinite
                 regression; Metacircular interpreter; Partial
                 evaluation; Program interpreters; Reflective languages;
                 User interfaces",
}

@Article{Honda:1996:RTD,
  author =       "Yasuaki Honda and Mario Tokoro",
  title =        "Reflection and Time-Dependent Computing: Experiences
                 with the {$R^2$} Architecture",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "9",
  number =       "2/3",
  pages =        "243--277",
  month =        may # "/" # jun,
  year =         "1996",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 08:11:22 MST 1999",
  bibsource =    "Compendex database;
                 http://www.wkap.nl/issuetoc.htm/0892-4635+9+2-3+1996;
                 OCLC Contents1st database.",
  URL =          "http://www.wkap.nl/oasis.htm/111837",
  acknowledgement = ack-nhfb,
  affiliation =  "Sony Computer Science Lab Inc",
  affiliationaddress = "Tokyo, Jpn",
  classification = "721.1; 722.4; 723.1.1",
  journalabr =   "LISP Symb Comput",
  keywords =     "Algorithms; Computational methods; Computational
                 reflection; Computer architecture; Meta level
                 programming; Network protocols; Object based
                 concurrency; Object based reflective architecture;
                 Object oriented programming; Real time systems; User
                 interfaces",
}

@Article{Chin:1996:HOR,
  author =       "Wei-Ngan Chin and John Darlington",
  title =        "A Higher-Order Removal Method",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "9",
  number =       "4",
  pages =        "287--322",
  month =        dec,
  year =         "1996",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Thu Feb 11 17:40:08 MST 1999",
  bibsource =    "http://www.wkap.nl/issuetoc.htm/0892-4635+9+4+1996;
                 OCLC Contents1st database.",
  URL =          "http://www.wkap.nl/oasis.htm/119671",
  acknowledgement = ack-nhfb,
}

@Article{Tarditi:1996:MCS,
  author =       "David Tarditi and Amer Diwan",
  title =        "Measuring the Cost of Storage Management",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "9",
  number =       "4",
  pages =        "323--342",
  month =        dec,
  year =         "1996",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 08:11:22 MST 1999",
  bibsource =    "Compendex database;
                 http://www.wkap.nl/issuetoc.htm/0892-4635+9+4+1996;
                 OCLC Contents1st database.",
  URL =          "http://www.wkap.nl/oasis.htm/119672",
  acknowledgement = ack-nhfb,
  journalabr =   "LISP Symb Comput",
}

@Article{Tung:1996:RIP,
  author =       "Sho-Huan Simon Tung and R. Kent Dybvig",
  title =        "Reliable Interactive Programming with Modules",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "9",
  number =       "4",
  pages =        "343--358",
  month =        dec,
  year =         "1996",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Thu Feb 11 17:40:08 MST 1999",
  bibsource =    "http://www.wkap.nl/issuetoc.htm/0892-4635+9+4+1996;
                 OCLC Contents1st database.",
  URL =          "http://www.wkap.nl/oasis.htm/119673",
  acknowledgement = ack-nhfb,
}

@Article{Jacobs:1997:UDI,
  author =       "J. H. Jacobs and M. R. Swanson",
  title =        "{UCL+P} --- Defining and Implementing Persistent
                 {Common Lisp}",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "10",
  number =       "1",
  pages =        "5--38",
  month =        jun,
  year =         "1997",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 08:11:22 MST 1999",
  bibsource =    "Compendex database;
                 ftp://ftp.ira.uka.de/pub/bibliography/Compiler/common-lisp.bib;
                 ftp://ftp.math.utah.edu/pub/tex/bib/common-lisp.bib;
                 http://www.wkap.nl/issuetoc.htm/0892-4635+10+1+1997;
                 OCLC Contents1st database.",
  URL =          "http://www.wkap.nl/oasis.htm/134677",
  acknowledgement = ack-nhfb,
  affiliation =  "Univ of Alaska",
  affiliationaddress = "Anchorage, USA",
  journalabr =   "LISP Symb Comput",
}

@Article{Lee:1997:ASP,
  author =       "Arthur H. Lee and Joseph L. Zachary",
  title =        "Adding Support for Persistence to {CLOS} via Its
                 Metaobject Protocol",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "10",
  number =       "1",
  pages =        "39--60",
  month =        jun,
  year =         "1997",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 08:11:22 MST 1999",
  bibsource =    "Compendex database;
                 http://www.wkap.nl/issuetoc.htm/0892-4635+10+1+1997;
                 OCLC Contents1st database.",
  URL =          "http://www.wkap.nl/oasis.htm/134678",
  acknowledgement = ack-nhfb,
  affiliation =  "Korea Univ",
  affiliationaddress = "Seoul, S Korea",
  journalabr =   "LISP Symb Comput",
}

@Article{Ohori:1997:UOS,
  author =       "Atsushi Ohori and Tomonobu Takamizawa",
  title =        "An Unboxed Operational Semantics for {ML}
                 Polymorphism",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "10",
  number =       "1",
  pages =        "61--91",
  month =        jun,
  year =         "1997",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 08:11:22 MST 1999",
  bibsource =    "Compendex database;
                 http://www.wkap.nl/issuetoc.htm/0892-4635+10+1+1997;
                 OCLC Contents1st database.",
  URL =          "http://www.wkap.nl/oasis.htm/134679",
  acknowledgement = ack-nhfb,
  affiliation =  "Kyoto Univ",
  affiliationaddress = "Jpn",
  classification = "721.1; 723.1.1; 921.2; 921.5",
  journalabr =   "LISP Symb Comput",
  keywords =     "Algorithms; Computational methods; Computer
                 programming languages; Differentiation (calculus);
                 Functions; Integer programming; Mathematical models;
                 Polymorphic functions; Polymorphic unboxed calculus;
                 Unboxed operational semantics",
}

@Article{Kessler:1997:E,
  author =       "Bob Kessler and Carolyn Talcott",
  title =        "Editorial",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "10",
  number =       "2",
  pages =        "99--99",
  month =        jul,
  year =         "1997",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Thu Feb 11 15:12:37 MST 1999",
  bibsource =    "http://www.wkap.nl/issuetoc.htm/0892-4635+10+2+1997",
  URL =          "http://www.wkap.nl/oasis.htm/142927",
  acknowledgement = ack-nhfb,
}

@Article{Danvy:1997:PEE,
  author =       "Olivier Danvy and Mayer Goldberg",
  title =        "Partial Evaluation of the {Euclidian} Algorithm",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "10",
  number =       "2",
  pages =        "101--111",
  month =        jul,
  year =         "1997",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 08:11:22 MST 1999",
  bibsource =    "Compendex database;
                 http://www.wkap.nl/issuetoc.htm/0892-4635+10+2+1997;
                 OCLC Contents1st database.",
  URL =          "http://www.wkap.nl/oasis.htm/136321",
  acknowledgement = ack-nhfb,
  affiliation =  "Univ of Aarhus",
  affiliationaddress = "Aarhus, Den",
  classification = "721.1; 723.5; 921.6",
  journalabr =   "LISP Symb Comput",
  keywords =     "Algorithms; Computational methods; Computer software;
                 Euclidian algorithm; Iterative methods; Number theory;
                 Partial evaluation; Recursive functions; Scientific
                 computation",
}

@Article{Gluck:1997:APG,
  author =       "Robert Gl{\"u}ck and Jesper J{\o}rgensen",
  title =        "An Automatic Program Generator for Multi-Level
                 Specialization",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "10",
  number =       "2",
  pages =        "113--158",
  month =        jul,
  year =         "1997",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 08:11:22 MST 1999",
  bibsource =    "Compendex database;
                 ftp://ftp.ira.uka.de/pub/bibliography/Compiler/partial-eval.bib;
                 ftp://ftp.ira.uka.de/pub/bibliography/Compiler/TOPPS.bib;
                 http://www.wkap.nl/issuetoc.htm/0892-4635+10+2+1997;
                 OCLC Contents1st database.",
  URL =          "http://www.wkap.nl/oasis.htm/136322",
  acknowledgement = ack-nhfb,
  affiliation =  "Univ of Copenhagen",
  affiliationaddress = "Copenhagen, Den",
  classification = "723.1.1; 723.5; 902.2; 921.6",
  id =           "Art2",
  journalabr =   "LISP Symb Comput",
  keywords =     "Automatic program generator; Binding time analysis;
                 Computational methods; Computer programming languages;
                 Computer software; Functional languages; Numerical
                 methods; Partial evaluation; Program transformation;
                 programming languages, program transformation, partial
                 evaluation, generating extensions, binding-time
                 analysis, functional languages, Scheme; Standards",
  puf =          "Artikel optaget i tidsskrift",
  semno =        "D-325",
  summary =      "Program specialization can divide a computation into
                 several computation stages. This paper investigates the
                 theoretical limitations and practical problems of
                 standard specialization tools, presents multi-level
                 specialization, and demonstrates that, in combination
                 with the cogen approach, it is far more practical than
                 previously supposed. The program generator which we
                 designed and implemented for a higher-order functional
                 language converts programs into very compact
                 multi-level generating extensions that guarantee fast
                 successive specialization. Experimental results show a
                 remarkable reduction of generation time and generator
                 size compared to previous attempts of multi-level
                 specialization by self-application. Our approach to
                 multi-level specialization seems well-suited for
                 applications where generation time and program size are
                 critical.",
}

@Article{Wise:1997:RDH,
  author =       "David S. Wise and Brian Heck and Caleb Hess and Willie
                 Hunt and Eric Ost",
  title =        "Research Demonstration of a Hardware
                 Reference-Counting Heap",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "10",
  number =       "2",
  pages =        "159--181",
  month =        jul,
  year =         "1997",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 08:11:22 MST 1999",
  bibsource =    "Compendex database;
                 http://www.wkap.nl/issuetoc.htm/0892-4635+10+2+1997;
                 OCLC Contents1st database.",
  URL =          "http://www.wkap.nl/oasis.htm/136324",
  acknowledgement = ack-nhfb,
  affiliation =  "Indiana Univ",
  affiliationaddress = "Bloomington, USA",
  journalabr =   "LISP Symb Comput",
}

@Article{Wand:1998:TFT,
  author =       "Mitchell Wand",
  title =        "The Theory of {Fexprs} is Trivial",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "10",
  number =       "3",
  pages =        "189--199",
  month =        may,
  year =         "1998",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 08:11:22 MST 1999",
  bibsource =    "Compendex database;
                 http://www.wkap.nl/issuetoc.htm/0892-4635+10+3+1998;
                 OCLC Contents1st database.",
  URL =          "http://www.wkap.nl/oasis.htm/161782",
  acknowledgement = ack-nhfb,
  affiliation =  "Northeastern Univ",
  affiliationaddress = "Boston, USA",
  journalabr =   "LISP Symb Comput",
}

@Article{Tung:1998:VES,
  author =       "Sho-Huan Simon Tung",
  title =        "Visualizing Evaluation in {Scheme}",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "10",
  number =       "3",
  pages =        "201--222",
  month =        may,
  year =         "1998",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 08:11:22 MST 1999",
  bibsource =    "Compendex database;
                 http://www.wkap.nl/issuetoc.htm/0892-4635+10+3+1998;
                 OCLC Contents1st database.",
  URL =          "http://www.wkap.nl/oasis.htm/161783",
  acknowledgement = ack-nhfb,
  affiliation =  "Natl Yunlin Univ of Science and Technology",
  affiliationaddress = "Touliu, Taiwan",
  journalabr =   "LISP Symb Comput",
}

@Article{Kumar:1998:TYC,
  author =       "Sanjeev Kumar and Carl Bruggeman and R. Kent Dybvig",
  title =        "Threads Yield Continuations",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "10",
  number =       "3",
  pages =        "223--236",
  month =        may,
  year =         "1998",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 08:11:22 MST 1999",
  bibsource =    "Compendex database;
                 http://www.wkap.nl/issuetoc.htm/0892-4635+10+3+1998;
                 OCLC Contents1st database.",
  URL =          "http://www.wkap.nl/oasis.htm/161784",
  acknowledgement = ack-nhfb,
  affiliation =  "Princeton Univ",
  affiliationaddress = "USA",
  journalabr =   "LISP Symb Comput",
}

@Article{Schmidt:1998:TBA,
  author =       "David A. Schmidt",
  title =        "Trace-Based Abstract Interpretation of Operational
                 Semantics",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "10",
  number =       "3",
  pages =        "237--271",
  month =        may,
  year =         "1998",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Fri Feb 12 08:11:22 MST 1999",
  bibsource =    "Compendex database;
                 http://www.wkap.nl/issuetoc.htm/0892-4635+10+3+1998;
                 OCLC Contents1st database.",
  URL =          "http://www.wkap.nl/oasis.htm/161785",
  acknowledgement = ack-nhfb,
  affiliation =  "Kansas State Univ",
  affiliationaddress = "Manhattan, USA",
  classification = "721.1; 723.1; 723.1.1; 723.5; 921.4",
  journalabr =   "LISP Symb Comput",
  keywords =     "Abstract interpretation; Collecting semantics;
                 Computation tree; Computational linguistics;
                 Computational methods; Computer programming languages;
                 Computer simulation; Flowcharting; Operational
                 semantics; Trees (mathematics)",
}

@Article{Kessler:1998:E,
  author =       "Bob Kessler and Carolyn Talcott",
  title =        "Editorial",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "10",
  number =       "4",
  pages =        "279--279",
  month =        aug,
  year =         "1998",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Wed Jul 28 10:44:02 1999",
  bibsource =    "http://www.wkap.nl/issuetoc.htm/0892-4635+10+4+1998",
  URL =          "http://www.wkap.nl/oasis.htm/167760",
  acknowledgement = ack-nhfb,
}

@Article{Anonymous:1998:Va,
  author =       "Anonymous",
  title =        "Volume 1 (1988)",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "10",
  number =       "4",
  pages =        "281--287",
  month =        aug,
  year =         "1998",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Wed Jul 28 10:44:02 1999",
  bibsource =    "http://www.wkap.nl/issuetoc.htm/0892-4635+10+4+1998;
                 OCLC Contents1st database.",
  URL =          "http://www.wkap.nl/oasis.htm/167761",
  acknowledgement = ack-nhfb,
}

@Article{Anonymous:1998:Vb,
  author =       "Anonymous",
  title =        "Volume 2 (1989)",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "10",
  number =       "4",
  pages =        "289--293",
  month =        aug,
  year =         "1998",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Wed Jul 28 10:44:02 1999",
  bibsource =    "http://www.wkap.nl/issuetoc.htm/0892-4635+10+4+1998;
                 OCLC Contents1st database.",
  URL =          "http://www.wkap.nl/oasis.htm/167762",
  acknowledgement = ack-nhfb,
}

@Article{Anonymous:1998:Vc,
  author =       "Anonymous",
  title =        "Volume 3 (1990)",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "10",
  number =       "4",
  pages =        "295--303",
  month =        aug,
  year =         "1998",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Wed Jul 28 10:44:02 1999",
  bibsource =    "http://www.wkap.nl/issuetoc.htm/0892-4635+10+4+1998;
                 OCLC Contents1st database.",
  URL =          "http://www.wkap.nl/oasis.htm/167763",
  acknowledgement = ack-nhfb,
}

@Article{Anonymous:1998:Vd,
  author =       "Anonymous",
  title =        "Volume 4 (1991)",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "10",
  number =       "4",
  pages =        "305--313",
  month =        aug,
  year =         "1998",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Wed Jul 28 10:44:02 1999",
  bibsource =    "http://www.wkap.nl/issuetoc.htm/0892-4635+10+4+1998;
                 OCLC Contents1st database.",
  URL =          "http://www.wkap.nl/oasis.htm/167764",
  acknowledgement = ack-nhfb,
}

@Article{Anonymous:1998:Ve,
  author =       "Anonymous",
  title =        "Volume 5 (1992)",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "10",
  number =       "4",
  pages =        "315--323",
  month =        aug,
  year =         "1998",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Wed Jul 28 10:44:02 1999",
  bibsource =    "http://www.wkap.nl/issuetoc.htm/0892-4635+10+4+1998;
                 OCLC Contents1st database.",
  URL =          "http://www.wkap.nl/oasis.htm/167766",
  acknowledgement = ack-nhfb,
}

@Article{Anonymous:1998:Vf,
  author =       "Anonymous",
  title =        "Volume 6 (1993)",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "10",
  number =       "4",
  pages =        "325--332",
  month =        aug,
  year =         "1998",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Wed Jul 28 10:44:02 1999",
  bibsource =    "http://www.wkap.nl/issuetoc.htm/0892-4635+10+4+1998;
                 OCLC Contents1st database.",
  URL =          "http://www.wkap.nl/oasis.htm/167767",
  acknowledgement = ack-nhfb,
}

@Article{Anonymous:1998:Vg,
  author =       "Anonymous",
  title =        "Volume 7 (1994)",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "10",
  number =       "4",
  pages =        "333--342",
  month =        aug,
  year =         "1998",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Wed Jul 28 10:44:02 1999",
  bibsource =    "http://www.wkap.nl/issuetoc.htm/0892-4635+10+4+1998;
                 OCLC Contents1st database.",
  URL =          "http://www.wkap.nl/oasis.htm/167768",
  acknowledgement = ack-nhfb,
}

@Article{Anonymous:1998:Vh,
  author =       "Anonymous",
  title =        "Volume 8 (1995)",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "10",
  number =       "4",
  pages =        "343--349",
  month =        aug,
  year =         "1998",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Wed Jul 28 10:44:02 1999",
  bibsource =    "http://www.wkap.nl/issuetoc.htm/0892-4635+10+4+1998;
                 OCLC Contents1st database.",
  URL =          "http://www.wkap.nl/oasis.htm/167769",
  acknowledgement = ack-nhfb,
}

@Article{Anonymous:1998:Vi,
  author =       "Anonymous",
  title =        "Volume 9 (1996)",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "10",
  number =       "4",
  pages =        "351--357",
  month =        aug,
  year =         "1998",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Wed Jul 28 10:44:02 1999",
  bibsource =    "http://www.wkap.nl/issuetoc.htm/0892-4635+10+4+1998;
                 OCLC Contents1st database.",
  URL =          "http://www.wkap.nl/oasis.htm/167770",
  acknowledgement = ack-nhfb,
}

@Article{Anonymous:1998:Vj,
  author =       "Anonymous",
  title =        "Volume 10 (1997)",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "10",
  number =       "4",
  pages =        "359--366",
  month =        aug,
  year =         "1998",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Wed Jul 28 10:44:02 1999",
  bibsource =    "http://www.wkap.nl/issuetoc.htm/0892-4635+10+4+1998;
                 OCLC Contents1st database.",
  URL =          "http://www.wkap.nl/oasis.htm/167771",
  acknowledgement = ack-nhfb,
}

@Article{Anonymous:1998:AI,
  author =       "Anonymous",
  title =        "Author Index",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "10",
  number =       "4",
  pages =        "367--369",
  month =        aug,
  year =         "1998",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Wed Jul 28 10:44:02 1999",
  bibsource =    "http://www.wkap.nl/issuetoc.htm/0892-4635+10+4+1998",
  URL =          "http://www.wkap.nl/oasis.htm/186923",
  acknowledgement = ack-nhfb,
}

@Article{Anonymous:1998:TI,
  author =       "Anonymous",
  title =        "Title Index",
  journal =      j-LISP-SYMB-COMPUT,
  volume =       "10",
  number =       "4",
  pages =        "371--373",
  month =        aug,
  year =         "1998",
  CODEN =        "LSCOEX",
  ISSN =         "0892-4635",
  bibdate =      "Wed Jul 28 10:44:02 1999",
  bibsource =    "http://www.wkap.nl/issuetoc.htm/0892-4635+10+4+1998;
                 OCLC Contents1st database.",
  URL =          "http://www.wkap.nl/oasis.htm/186924",
  acknowledgement = ack-nhfb,
}

%%----------------------------------------------------------------------
%% Related entries:

@InProceedings{Jones:1985:EPE,
  author =       "N. D. Jones and P. Sestoft and H. S{\o}ndergaard",
  crossref =     "Jouannaud:1985:RTA",
  title =        "An Experiment in Partial Evaluation: The Generation of
                 a Compiler Generator",
  pages =        "124--140",
  year =         "1985",
  annote =       "A self-applicable partial evaluator for (first order)
                 pure Lisp is described. It works in two phases and
                 requires user-made annotations of calls in subject
                 programs. The semi-automatic generation of experimental
                 compilers and a compiler generator is reported, and the
                 results of these generations are discussed.",
}

@Book{Guttman:1995:VVIb,
  editor =       "Joshua D. Guttman and Mitchell Wand",
  title =        "{VLISP}: {A} Verified Implementation of Scheme",
  publisher =    pub-KLUWER,
  address =      pub-KLUWER:adr,
  pages =        "184",
  year =         "1995",
  ISBN =         "0-7923-9566-2",
  LCCN =         "QA76.73.L23 V55 1995",
  bibsource =    "ftp://ftp.ira.uka.de/pub/bibliography/Compiler/semantics.bib",
  note =         "Originally published as a special double issue of the
                 journal {\em Lisp and Symbolic Computation} (Volume 8,
                 Issue 1/2).",
  URL =          "ftp://ftp.ccs.neu.edu/pub/people/wand/vlisp/lasc",
  abstract =     "The VLISP project undertook to verify rigorously the
                 implementation of a programming language. The project
                 began at The MITRE Corporation in late 1989, under the
                 company's Technology Program. The work was supervised
                 by the Rome Laboratory of the United States Air Force.
                 Northeastern University became involved a year later.
                 This research work has also been published as a special
                 double issue of the journal {\em Lisp and Symbolic
                 Computation} (Volume 8, Issue 1/2).",
}

@Proceedings{Jouannaud:1985:RTA,
  editor =       "Jean-Pierre Jouannaud",
  booktitle =    "Rewriting techniques and applications: Dijon, France,
                 May 20--22, 1985",
  title =        "Rewriting techniques and applications: Dijon, France,
                 May 20--22, 1985",
  volume =       "202",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "vi + 440",
  year =         "1985",
  CODEN =        "LNCSD9",
  ISBN =         "0-387-15976-2 (paperback: U.S.)",
  ISSN =         "0302-9743",
  LCCN =         "QA76.6 .R4641 1985",
  bibdate =      "Fri Apr 12 07:27:02 1996",
  note =         "Papers presented at the First International Conference
                 on Rewriting Techniques and Applications, held in
                 Dijon, Burgundy, France, May 20--22, 1985.",
  series =       ser-LNCS,
  acknowledgement = ack-nhfb,
  keywords =     "computer algorithms --- congresses; electronic digital
                 computers --- programming --- congresses; rewriting
                 systems (computer science) --- congresses",
}
