@String{ack-nhfb = "Nelson H. F. Beebe,
University of Utah,
Department of Mathematics, 110 LCB,
155 S 1400 E RM 233,
Salt Lake City, UT 84112-0090, USA,
Tel: +1 801 581 5254,
FAX: +1 801 581 4148,
e-mail: \path|beebe@math.utah.edu|,
\path|beebe@acm.org|,
\path|beebe@computer.org| (Internet),
URL: \path|http://www.math.utah.edu/~beebe/|"}
@String{j-HIGHER-ORDER-SYMB-COMPUT = "Higher-Order and Symbolic Computation"}
@String{j-LISP-SYMB-COMPUT = "Lisp and Symbolic Computation"}
@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."}
@String{ser-LNCS = "Lecture Notes in Computer Science"}
@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 (print), 1573-0557 (electronic)",
ISSN-L = "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;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.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 (print), 1573-0557 (electronic)",
ISSN-L = "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;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Ai/scheme.bib;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Fri Feb 12 06:09:25 1999",
bibsource = "http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.bib",
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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Fri Feb 12 06:09:25 1999",
bibsource = "http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.bib",
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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Fri Feb 12 08:11:22 MST 1999",
bibsource = "Compendex database;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.bib",
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 (print), 1573-0557 (electronic)",
ISSN-L = "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;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Fri Feb 12 08:11:22 MST 1999",
bibsource = "Compendex database;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.bib",
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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Fri Feb 12 08:11:22 MST 1999",
bibsource = "Compendex database;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.bib",
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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Fri Feb 12 06:09:25 1999",
bibsource = "http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.bib",
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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Fri Feb 12 06:09:25 1999",
bibsource = "http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.bib",
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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Fri Feb 12 06:09:25 1999",
bibsource = "http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.bib",
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 (print), 1573-0557 (electronic)",
ISSN-L = "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;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Fri Feb 12 06:09:25 1999",
bibsource = "http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.bib",
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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Fri Feb 12 06:09:25 1999",
bibsource = "http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.bib",
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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Fri Feb 12 06:09:25 1999",
bibsource = "http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.bib",
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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Fri Feb 12 06:09:25 1999",
bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/leavens.bib;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.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 (print), 1573-0557 (electronic)",
ISSN-L = "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;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Fri Feb 12 06:09:25 1999",
bibsource = "http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.bib",
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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Ai/scheme.bib;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Thu Feb 11 17:40:08 MST 1999",
bibsource = "http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.bib;
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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Thu Feb 11 17:40:08 MST 1999",
bibsource = "http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.bib;
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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Thu Feb 11 17:40:08 MST 1999",
bibsource = "http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.bib;
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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Thu Feb 11 17:40:08 MST 1999",
bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Ai/scheme.bib;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Thu Feb 11 17:40:08 MST 1999",
bibsource = "http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.bib;
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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Thu Feb 11 17:40:08 MST 1999",
bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Ai/scheme.bib;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.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 (print), 1573-0557 (electronic)",
ISSN-L = "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;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.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 (print), 1573-0557 (electronic)",
ISSN-L = "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;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.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 (print), 1573-0557 (electronic)",
ISSN-L = "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;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Thu Feb 11 17:40:08 MST 1999",
bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Ai/scheme.bib;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Thu Feb 11 17:40:08 MST 1999",
bibsource = "http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.bib;
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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Thu Feb 11 17:40:08 MST 1999",
bibsource = "http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.bib;
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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Fri Feb 12 06:09:25 1999",
bibsource = "http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.bib",
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 (print), 1573-0557 (electronic)",
ISSN-L = "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;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Thu Feb 11 17:40:08 MST 1999",
bibsource = "http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.bib;
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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Fri Feb 12 08:11:22 MST 1999",
bibsource = "Compendex database;
ftp://ftp.ira.uka.de/pub/bibliography/Compiler/absint.bib;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.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 (print), 1573-0557 (electronic)",
ISSN-L = "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;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Fri Feb 12 08:11:22 MST 1999",
bibsource = "Compendex database;
ftp://ftp.ira.uka.de/pub/bibliography/Ai/scheme.bib;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Fri Feb 12 08:11:22 MST 1999",
bibsource = "Compendex database;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.bib;
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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Fri Feb 12 08:11:22 MST 1999",
bibsource = "Compendex database;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.bib;
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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Fri Feb 12 08:11:22 MST 1999",
bibsource = "Compendex database;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.bib;
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 (print), 1573-0557 (electronic)",
ISSN-L = "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;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Fri Feb 12 08:11:22 MST 1999",
bibsource = "Compendex database;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.bib;
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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Fri Feb 12 08:11:22 MST 1999",
bibsource = "Compendex database;
ftp://ftp.ira.uka.de/pub/bibliography/Misc/leavens.bib;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.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 (print), 1573-0557 (electronic)",
ISSN-L = "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;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Fri Feb 12 08:11:22 MST 1999",
bibsource = "Compendex database;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.bib;
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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Fri Feb 12 08:11:22 MST 1999",
bibsource = "Compendex database;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.bib",
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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Fri Feb 12 08:11:22 MST 1999",
bibsource = "Compendex database;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.bib;
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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Fri Feb 12 08:11:22 MST 1999",
bibsource = "Compendex database;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.bib;
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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Fri Feb 12 08:11:22 MST 1999",
bibsource = "Compendex database;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.bib;
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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Fri Feb 12 08:11:22 MST 1999",
bibsource = "Compendex database;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.bib",
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 (print), 1573-0557 (electronic)",
ISSN-L = "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;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.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 (print), 1573-0557 (electronic)",
ISSN-L = "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;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.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 (print), 1573-0557 (electronic)",
ISSN-L = "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;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.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 (print), 1573-0557 (electronic)",
ISSN-L = "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;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.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 (print), 1573-0557 (electronic)",
ISSN-L = "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;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.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 (print), 1573-0557 (electronic)",
ISSN-L = "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;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Fri Feb 12 08:11:22 MST 1999",
bibsource = "Compendex database;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.bib;
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 (print), 1573-0557 (electronic)",
ISSN-L = "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;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.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 (print), 1573-0557 (electronic)",
ISSN-L = "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;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.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 (print), 1573-0557 (electronic)",
ISSN-L = "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;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Fri Feb 12 08:11:22 MST 1999",
bibsource = "Compendex database;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.bib;
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 (print), 1573-0557 (electronic)",
ISSN-L = "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;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Fri Feb 12 08:11:22 MST 1999",
bibsource = "Compendex database;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.bib;
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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Fri Feb 12 08:11:22 MST 1999",
bibsource = "Compendex database;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.bib",
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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Fri Feb 12 08:11:22 MST 1999",
bibsource = "Compendex database;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.bib;
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 (print), 1573-0557 (electronic)",
ISSN-L = "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;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.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 (print), 1573-0557 (electronic)",
ISSN-L = "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;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.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 (print), 1573-0557 (electronic)",
ISSN-L = "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;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.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 (print), 1573-0557 (electronic)",
ISSN-L = "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;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.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 (print), 1573-0557 (electronic)",
ISSN-L = "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;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.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 (print), 1573-0557 (electronic)",
ISSN-L = "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;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Fri Feb 12 08:11:22 MST 1999",
bibsource = "Compendex database;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.bib;
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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Fri Feb 12 08:11:22 MST 1999",
bibsource = "Compendex database;
ftp://ftp.ira.uka.de/pub/bibliography/Compiler/reynolds.bib;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Fri Feb 12 08:11:22 MST 1999",
bibsource = "Compendex database;
ftp://ftp.ira.uka.de/pub/bibliography/Compiler/reynolds.bib;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Fri Feb 12 08:11:22 MST 1999",
bibsource = "Compendex database;
ftp://ftp.ira.uka.de/pub/bibliography/Compiler/reynolds.bib;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Fri Feb 12 08:11:22 MST 1999",
bibsource = "Compendex database;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.bib;
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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Fri Feb 12 08:11:22 MST 1999",
bibsource = "Compendex database;
ftp://ftp.ira.uka.de/pub/bibliography/Compiler/reynolds.bib;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.bib;
OCLC Contents1st database.",
note = "See corrigendum \cite{Harper:2003:CPT}.",
acknowledgement = ack-nhfb,
affiliation = "Carnegie Mellon Univ",
affiliationaddress = "Pittsburgh, USA",
comment = "supersedes 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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Thu Feb 11 17:40:08 MST 1999",
bibsource = "http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.bib;
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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Fri Feb 12 08:11:22 MST 1999",
bibsource = "Compendex database;
ftp://ftp.ira.uka.de/pub/bibliography/Compiler/reynolds.bib;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.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 (print), 1573-0557 (electronic)",
ISSN-L = "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;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.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 (print), 1573-0557 (electronic)",
ISSN-L = "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;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Thu Feb 11 17:40:08 MST 1999",
bibsource = "http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.bib;
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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Fri Feb 12 08:11:22 MST 1999",
bibsource = "Compendex database;
ftp://ftp.ira.uka.de/pub/bibliography/Misc/allison.bib;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Fri Feb 12 08:11:22 MST 1999",
bibsource = "Compendex database;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.bib;
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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Fri Feb 12 08:11:22 MST 1999",
bibsource = "Compendex database;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.bib;
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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Fri Feb 12 08:11:22 MST 1999",
bibsource = "Compendex database;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.bib;
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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Fri Feb 12 08:11:22 MST 1999",
bibsource = "Compendex database;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.bib;
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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Fri Feb 12 08:11:22 MST 1999",
bibsource = "Compendex database;
ftp://ftp.ira.uka.de/pub/bibliography/Misc/allison.bib;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Fri Feb 12 08:11:22 MST 1999",
bibsource = "Compendex database;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.bib",
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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Fri Feb 12 08:11:22 MST 1999",
bibsource = "Compendex database;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.bib",
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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Fri Feb 12 08:11:22 MST 1999",
bibsource = "Compendex database;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.bib",
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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Fri Feb 12 08:11:22 MST 1999",
bibsource = "Compendex database;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.bib",
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 (print), 1573-0557 (electronic)",
ISSN-L = "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.math.utah.edu/pub/tex/bib/lispsymbcomput.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 (print), 1573-0557 (electronic)",
ISSN-L = "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.math.utah.edu/pub/tex/bib/lispsymbcomput.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 (print), 1573-0557 (electronic)",
ISSN-L = "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.math.utah.edu/pub/tex/bib/lispsymbcomput.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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Thu Feb 11 17:40:08 MST 1999",
bibsource = "http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.bib;
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 (print), 1573-0557 (electronic)",
ISSN-L = "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.math.utah.edu/pub/tex/bib/lispsymbcomput.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 (print), 1573-0557 (electronic)",
ISSN-L = "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.math.utah.edu/pub/tex/bib/lispsymbcomput.bib;
http://www.wkap.nl/issuetoc.htm/0892-4635+8+3+1995;
OCLC Contents1st database.",
URL = "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;
http://www.wkap.nl/oasis.htm/92450",
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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Fri Feb 12 08:11:22 MST 1999",
bibsource = "Compendex database;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.bib;
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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Fri Feb 12 08:11:22 MST 1999",
bibsource = "Compendex database;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.bib;
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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Fri Feb 12 08:11:22 MST 1999",
bibsource = "Compendex database;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.bib;
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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Thu Feb 11 15:12:49 MST 1999",
bibsource = "http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.bib;
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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Fri Feb 12 08:11:22 MST 1999",
bibsource = "Compendex database;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.bib;
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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Fri Feb 12 08:11:22 MST 1999",
bibsource = "Compendex database;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.bib;
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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Fri Feb 12 08:11:22 MST 1999",
bibsource = "Compendex database;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.bib;
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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Thu Feb 11 17:40:08 MST 1999",
bibsource = "http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.bib;
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 (print), 1573-0557 (electronic)",
ISSN-L = "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.math.utah.edu/pub/tex/bib/lispsymbcomput.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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Fri Feb 12 08:11:22 MST 1999",
bibsource = "Compendex database;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.bib;
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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Fri Feb 12 08:11:22 MST 1999",
bibsource = "Compendex database;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.bib;
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 (print), 1573-0557 (electronic)",
ISSN-L = "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.math.utah.edu/pub/tex/bib/lispsymbcomput.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 (print), 1573-0557 (electronic)",
ISSN-L = "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.math.utah.edu/pub/tex/bib/lispsymbcomput.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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Fri Feb 12 08:11:22 MST 1999",
bibsource = "Compendex database;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.bib;
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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Fri Feb 12 08:11:22 MST 1999",
bibsource = "Compendex database;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.bib;
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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Thu Feb 11 17:40:08 MST 1999",
bibsource = "http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.bib;
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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Fri Feb 12 08:11:22 MST 1999",
bibsource = "Compendex database;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.bib;
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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Thu Feb 11 17:40:08 MST 1999",
bibsource = "http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.bib;
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 (print), 1573-0557 (electronic)",
ISSN-L = "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.math.utah.edu/pub/tex/bib/lispsymbcomput.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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Fri Feb 12 08:11:22 MST 1999",
bibsource = "Compendex database;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.bib;
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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Fri Feb 12 08:11:22 MST 1999",
bibsource = "Compendex database;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.bib;
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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Thu Feb 11 15:12:37 MST 1999",
bibsource = "http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.bib;
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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Fri Feb 12 08:11:22 MST 1999",
bibsource = "Compendex database;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.bib;
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 (print), 1573-0557 (electronic)",
ISSN-L = "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.math.utah.edu/pub/tex/bib/lispsymbcomput.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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Fri Feb 12 08:11:22 MST 1999",
bibsource = "Compendex database;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.bib;
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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Fri Feb 12 08:11:22 MST 1999",
bibsource = "Compendex database;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.bib;
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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Fri Feb 12 08:11:22 MST 1999",
bibsource = "Compendex database;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.bib;
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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Fri Feb 12 08:11:22 MST 1999",
bibsource = "Compendex database;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.bib;
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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Fri Feb 12 08:11:22 MST 1999",
bibsource = "Compendex database;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.bib;
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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Wed Jul 28 10:44:02 1999",
bibsource = "http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.bib;
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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Wed Jul 28 10:44:02 1999",
bibsource = "http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.bib;
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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Wed Jul 28 10:44:02 1999",
bibsource = "http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.bib;
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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Wed Jul 28 10:44:02 1999",
bibsource = "http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.bib;
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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Wed Jul 28 10:44:02 1999",
bibsource = "http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.bib;
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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Wed Jul 28 10:44:02 1999",
bibsource = "http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.bib;
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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Wed Jul 28 10:44:02 1999",
bibsource = "http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.bib;
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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Wed Jul 28 10:44:02 1999",
bibsource = "http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.bib;
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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Wed Jul 28 10:44:02 1999",
bibsource = "http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.bib;
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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Wed Jul 28 10:44:02 1999",
bibsource = "http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.bib;
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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Wed Jul 28 10:44:02 1999",
bibsource = "http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.bib;
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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Wed Jul 28 10:44:02 1999",
bibsource = "http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.bib;
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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Wed Jul 28 10:44:02 1999",
bibsource = "http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.bib;
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,
}
@Article{Harper:2003:CPT,
author = "Robert Harper and Mark Lillibridge",
title = "Corrigendum: Polymorphic Type Assignment and {CPS}
Conversion",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "16",
number = "4",
pages = "401--401",
month = dec,
year = "2003",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1023/A:1025829004592",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 6 15:50:36 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=16&issue=4;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.bib;
http://www.wkap.nl/jrnltoc.htm/1388-3690",
note = "See \cite{Harper:1993:PTA}.",
URL = "http://ipsapp008.kluweronline.com/content/getfile/4979/24/5/abstract.htm;
http://ipsapp008.kluweronline.com/content/getfile/4979/24/5/fulltext.pdf;
http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=16&issue=4&spage=401",
acknowledgement = ack-nhfb,
}
@InProceedings{Jones:1985:EPE,
author = "N. D. Jones and P. Sestoft and H. S{\o}ndergaard",
title = "An Experiment in Partial Evaluation: The Generation of
a Compiler Generator",
crossref = "Jouannaud:1985:RTA",
pages = "124--140",
year = "1985",
bibsource = "http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.bib",
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",
ISBN-13 = "978-0-7923-9566-9",
LCCN = "QA76.73.L23 V55 1995",
bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Compiler/semantics.bib;
http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.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.)",
ISBN-13 = "978-0-387-15976-8 (paperback: U.S.)",
ISSN = "0302-9743",
LCCN = "QA76.6 .R4641 1985",
bibdate = "Fri Apr 12 07:27:02 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/lispsymbcomput.bib",
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",
}
