%%% -*-BibTeX-*-
%% /u/sy/beebe/tex/bib/sigplan2000.bib, Thu Sep 21 08:17:16 2006
%% Edit by Nelson H. F. Beebe <beebe at math.utah.edu>
%%% ====================================================================
%%% BibTeX-file{
%%% author = "Nelson H. F. Beebe",
%%% version = "1.46",
%%% date = "28 November 2007",
%%% time = "12:07:28 MST",
%%% filename = "sigplan2000.bib",
%%% address = "University of Utah
%%% Department of Mathematics, 110 LCB
%%% 155 S 1400 E RM 233
%%% Salt Lake City, UT 84112-0090
%%% USA",
%%% telephone = "+1 801 581 5254",
%%% FAX = "+1 801 581 4148",
%%% URL = "http://www.math.utah.edu/~beebe",
%%% checksum = "19444 29804 104311 957419",
%%% email = "beebe at math.utah.edu, beebe at acm.org,
%%% beebe at computer.org (Internet)",
%%% codetable = "ISO/ASCII",
%%% keywords = "bibliography, BibTeX, programming languages,
%%% SIGPLAN",
%%% license = "public domain",
%%% supported = "yes",
%%% docstring = "This is a bibliography of ACM SIGPLAN
%%% Notices, covering 2000--2009.
%%%
%%% There are World Wide Web sites for the
%%% journal at
%%%
%%% http://www.acm.org/sigplan/
%%% http://portal.acm.org/browse_dl.cfm?linked=1&part=newsletter&idx=J706
%%%
%%% and
%%%
%%% http://www.rowan.edu/sigplan/
%%%
%%% and coverage of about a dozen volumes can be found at
%%%
%%% http://ftp.informatik.rwth-aachen.de/dblp/db/journals/sigplan/index.html
%%%
%%% Several conference proceedings are published
%%% as volumes of SIGPLAN Notices. Many of them
%%% can also be found via the ACM proceedings Web
%%% sites:
%%%
%%% http://www.acm.org/pubs/contents/proceedings/
%%% http://www.acm.org/pubs/contents/proceedings/asplos/
%%% http://www.acm.org/pubs/contents/proceedings/plan/
%%% http://www.acm.org/pubs/contents/proceedings/pldi/
%%% http://www.acm.org/pubs/contents/proceedings/pldi/
%%%
%%% At version 1.46, the year coverage looks like
%%% this:
%%%
%%% 1990 ( 2) 1996 ( 0) 2002 ( 235)
%%% 1991 ( 0) 1997 ( 0) 2003 ( 251)
%%% 1992 ( 0) 1998 ( 0) 2004 ( 347)
%%% 1993 ( 0) 1999 ( 0) 2005 ( 181)
%%% 1994 ( 0) 2000 ( 224) 2006 ( 171)
%%% 1995 ( 0) 2001 ( 286)
%%%
%%% Article: 1669
%%% InProceedings: 18
%%% Proceedings: 10
%%%
%%% Total entries: 1697
%%%
%%% Some of the bibliography entries in this
%%% file contain abstracts. These are governed
%%% by the ACM Copyright Notice for ACM SIGPLAN
%%% Notices, which says:
%%%
%%% ``Permission to copy without fee all
%%% or part of this material is granted
%%% provided that the copies are not made
%%% or distributed for commercial
%%% advantage, the ACM copyright notice
%%% and the title of the publication and
%%% its date appear, and notice is given
%%% that copying is by permission of the
%%% Association for Computing Machinery.
%%% To copy otherwise, or to republish,
%%% requires a fee and/or specific
%%% permission.''
%%%
%%% Inasmuch as this bibliography, and its
%%% companion files in the master collection,
%%% is freely distributed without charge,
%%% inclusion of article abstracts clearly
%%% falls within the copyright permissions, and
%%% this author considers that ACM has given
%%% the required permission under the terms of
%%% the above Copyright Notice.
%%%
%%% BibTeX citation tags are uniformly chosen
%%% as name:year:abbrev, where name is the
%%% family name of the first author or editor,
%%% year is a 4-digit number, and abbrev is a
%%% 3-letter condensation of important title
%%% words. Citation tags were automatically
%%% generated by software developed for the
%%% BibNet Project.
%%%
%%% In this bibliography, entries are sorted in
%%% publication order, using bibsort -byvolume.
%%%
%%% The checksum field above contains a CRC-16
%%% checksum as the first value, followed by the
%%% equivalent of the standard UNIX wc (word
%%% count) utility output of lines, words, and
%%% characters. This is produced by Robert
%%% Solovay's checksum utility.",
%%% }
%%% ====================================================================
@Preamble{
"\input bibnames.sty " #
"\input path.sty " #
"\def \TM {${}^{\sc TM}$} " #
"\hyphenation{ }"
}
%%% ====================================================================
%%% Acknowledgement abbreviations:
@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/|"}
%%% ====================================================================
%%% Journal abbreviations:
@String{j-SIGPLAN = "ACM SIG{\-}PLAN Notices"}
%%% ====================================================================
%%% Publisher abbreviations:
@String{pub-ACM = "ACM Press"}
@String{pub-ACM:adr = "New York, NY, USA"}
@String{pub-AW = "Ad{\-d}i{\-s}on-Wes{\-l}ey"}
@String{pub-AW:adr = "Reading, MA, USA"}
%%% ====================================================================
%%% Series abbreviations:
@String{ser-SIGPLAN = "ACM SIG{\-}PLAN Notices"}
%%% ====================================================================
%%% Bibliography entries, in publication order:
@Article{Clinger:1990:HRF,
author = "William D. Clinger",
title = "How to Read Floating Point Numbers Accurately",
journal = j-SIGPLAN,
volume = "25",
number = "6",
pages = "92--101",
month = jun,
year = "1990",
CODEN = "SINODQ",
ISBN = "0-89791-364-7",
ISBN-13 = "978-0-89791-364-5",
ISSN = "0362-1340",
bibdate = "Sun Dec 14 09:15:53 MST 2003",
bibsource = "http://portal.acm.org/; Compendex database;
garbo.uwasa.fi:/pc/doc-soft/fpbiblio.txt;
http://www.acm.org/pubs/contents/proceedings/pldi/93542/",
note = "See also output algorithms in
\cite{Knuth:1990:SPW,Steele:1990:HPF,Burger:1996:PFP,Abbott:1999:ASS,Steele:2004:RHP}.",
URL = "http://www.acm.org:80/pubs/citations/proceedings/pldi/93542/p92-clinger/",
abstract = "Consider the problem of converting decimal scientific
notation for a number into the best binary floating
point approximation to that number, for some fixed
precision. This problem cannot be solved using
arithmetic of any fixed precision. Hence the IEEE
Standard for Binary Floating-Point Arithmetic does not
require the result of such a conversion to be the best
approximation. This paper presents an efficient
algorithm that always finds the best approximation. The
algorithm uses a few extra bits of precision to compute
an IEEE-conforming approximation while testing an
intermediate result to determine whether the
approximation could be other than the best. If the
approximation might not be the best, then the best
approximation is determined by a few simple operations
on multiple-precision integers, where the precision is
determined by the input. When using 64 bits of
precision to compute IEEE double precision results, the
algorithm avoids higher-precision arithmetic over 99\%
of the time.",
acknowledgement = ack-nhfb # " and " # ack-nj,
affiliation = "Oregon Univ., Eugene, OR, USA",
annote = "Published as part of the Proceedings of PLDI'90.",
classification = "722; 723; C1160 (Combinatorial mathematics); C5230
(Digital arithmetic methods); C7310 (Mathematics)",
confdate = "20-22 June 1990",
conference = "Proceedings of the ACM SIGPLAN '90 Conference on
Programming Language Design and Implementation",
conferenceyear = "1990",
conflocation = "White Plains, NY, USA",
confsponsor = "ACM",
journalabr = "SIGPLAN Not",
keywords = "algorithms; Best binary floating point approximation;
Computer Programming Languages; Computers, Digital ---
Computational Methods; Decimal scientific notation;
Design; Efficient algorithm; experimentation; Fixed
precision; Floating point numbers; Floating Point
Numbers; Higher-precision arithmetic; IEEE double
precision results; IEEE Standard; IEEE-conforming
approximation; Intermediate result; Multiple-precision
integers",
meetingaddress = "White Plains, NY, USA",
meetingdate = "Jun 20--22 1990",
meetingdate2 = "06/20--22/90",
sponsor = "Assoc for Computing Machinery, Special Interest Group
on Programming Languages",
subject = "{\bf F.2.1} Theory of Computation, ANALYSIS OF
ALGORITHMS AND PROBLEM COMPLEXITY, Numerical Algorithms
and Problems. {\bf G.1.0} Mathematics of Computing,
NUMERICAL ANALYSIS, General, Computer arithmetic. {\bf
G.1.2} Mathematics of Computing, NUMERICAL ANALYSIS,
Approximation.",
thesaurus = "Digital arithmetic; Mathematics computing; Number
theory; Standards",
}
@Article{Steele:1990:HPF,
author = "Guy L. {Steele, Jr.} and Jon L. White",
title = "How to Print Floating-Point Numbers Accurately",
journal = j-SIGPLAN,
volume = "25",
number = "6",
pages = "112--126",
month = jun,
year = "1990",
CODEN = "SINODQ",
ISBN = "0-89791-364-7",
ISBN-13 = "978-0-89791-364-5",
ISSN = "0362-1340",
bibdate = "Sun Dec 14 09:15:53 MST 2003",
bibsource = "http://portal.acm.org/; Compendex database;
http://www.acm.org/pubs/contents/proceedings/pldi/93542/",
note = "See also input algorithm in
\cite{Clinger:1990:HRF,Clinger:2004:RHR}, and a faster
output algorithm in \cite{Burger:1996:PFP} and
\cite{Knuth:1990:SPW}, IBM S/360 algorithms in
\cite{Abbott:1999:ASS} for both IEEE 754 and S/360
formats, and a twenty-year retrospective in
\cite{Steele:2004:RHP}. In electronic mail dated Wed,
27 Jun 1990 11:55:36 EDT, Guy Steele reported that an
intrepid pre-SIGPLAN 90 conference implementation of
what is stated in the paper revealed 3 mistakes:
\begin{itemize} \item[1.] Table~5 (page 124):\par
\noindent insert {\tt k <-- 0} after assertion, and
also delete {\tt k <-- 0} from Table~6. \item[2.]
Table~9 (page 125):\par \noindent \begin{tabular} {ll}
for & {\tt -1:USER!({"}{"});} \\
substitute & {\tt -1:USER!({"}0{"});} \end{tabular}\par
\noindent and delete the comment. \item[3.] Table~10
(page 125):\par \noindent \begin{tabular}{ll} for &
{\tt fill(-k, {"}0{"})}\\
substitute & {\tt fill(-k-1, {"}0{"})} \end{tabular}
\end{itemize}
\def\EatBibTeXPeriod#1{\ifx#1.\else#1\fi}\EatBibTeXPeriod",
URL = "http://www.acm.org:80/pubs/citations/proceedings/pldi/93542/p112-steele/",
abstract = "Algorithms are presented for accurately converting
floating-point numbers to decimal representation. The
key idea is to carry along with the computation an
explicit representation of the required rounding
accuracy. The authors begin with the simpler problem of
converting fixed-point fractions. A modification of the
well-known algorithm for radix-conversion of
fixed-point fractions by multiplication explicitly
determines when to terminate the conversion process; a
variable number of digits are produced. They derive two
algorithms for free-format output of floating-point
numbers. Finally, they modify the free-format
conversion algorithm for use in fixed-format
applications. Information may be lost if the fixed
format provides too few digit positions, but the output
is always correctly rounded. On the other hand, no
`garbage digits' are ever produced, even if the fixed
format specifies too many digit positions (intuitively,
the `4/3 prints as 1.333333328366279602' problem does
not occur).",
acknowledgement = ack-nhfb,
affiliation = "Thinking Machines Corp",
affiliationaddress = "Cambridge, MA, USA",
classification = "722; 723; C5230 (Digital arithmetic methods); C7310
(Mathematics)",
confdate = "20-22 June 1990",
conference = "Proceedings of the ACM SIGPLAN '90 Conference on
Programming Language Design and Implementation",
conferenceyear = "1990",
conflocation = "White Plains, NY, USA",
confsponsor = "ACM",
journalabr = "SIGPLAN Not",
keywords = "algorithms; computer programming languages; computers,
digital --- computational methods; conversion process;
decimal representation; design; digit positions;
explicit representation; fixed-format applications;
fixed-point fractions; floating point numbers;
floating-point numbers; free-format conversion
algorithm; free-format output; garbage digits;
performance; radix-conversion; rounding accuracy;
verification",
remark = "Published as part of the Proceedings of PLDI'90.",
sponsor = "Assoc for Computing Machinery, Special Interest Group
on Programming Languages",
subject = "{\bf F.2.1} Theory of Computation, ANALYSIS OF
ALGORITHMS AND PROBLEM COMPLEXITY, Numerical Algorithms
and Problems. {\bf G.1.0} Mathematics of Computing,
NUMERICAL ANALYSIS, General, Computer arithmetic.",
thesaurus = "Digital arithmetic; Mathematics computing",
xxabstract = "We present algorithms for accurately converting
floating-point numbers to decimal representation. The
key idea is to carry along with the computation an
explicit representation of the required rounding
accuracy. We begin with the simpler problem of
converting fixed-point fractions. A modification of the
well-known algorithm for radix-conversion of
fixed-point fractions by multiplication explicitly
determines when to terminate the conversion process; a
variable number of digits are produced. We then derive
two algorithms for free-format output of floating-point
numbers. Finally, we modify the free-format conversion
algorithm for use in fixed-format applications.",
}
@Article{Sirer:2000:UPG,
author = "Emin G{\"u}n Sirer and Brian N. Bershad",
title = "Using Production Grammars in Software Testing",
journal = j-SIGPLAN,
volume = "35",
number = "1",
pages = "1--13",
month = jan,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Sun Dec 14 09:18:13 MST 2003",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Nakatani:2000:JDE,
author = "Lloyd H. Nakatani and Mark A. Ardis and Robert G.
Olsen and Paul M. Pontrelli",
title = "Jargons for Domain Engineering",
journal = j-SIGPLAN,
volume = "35",
number = "1",
pages = "15--24",
month = jan,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Sun Dec 14 09:18:13 MST 2003",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Reichwein:2000:SSI,
author = "James Reichwein and Gregg Rothermel and Margaret
Burnett",
title = "Slicing Spreadsheets: An Integrated Methodology for
Spreadsheet Testing and Debugging",
journal = j-SIGPLAN,
volume = "35",
number = "1",
pages = "25--38",
month = jan,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Sun Dec 14 09:18:13 MST 2003",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Guyer:2000:ALO,
author = "Samuel Z. Guyer and Calvin Lin",
title = "An Annotation Language for Optimizing Software
Libraries",
journal = j-SIGPLAN,
volume = "35",
number = "1",
pages = "39--52",
month = jan,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Sun Dec 14 09:18:13 MST 2003",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
keywords = "PLAPACK",
}
@Article{Menon:2000:CSL,
author = "Vijay Menon and Keshav Pingali",
title = "A Case for Source-Level Transformations in {MATLAB}",
journal = j-SIGPLAN,
volume = "35",
number = "1",
pages = "53--65",
month = jan,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Sun Dec 14 09:18:13 MST 2003",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Parson:2000:UJR,
author = "Dale E. Parson",
title = "Using {Java} Reflection to Automate Extension Language
Parsing",
journal = j-SIGPLAN,
volume = "35",
number = "1",
pages = "67--80",
month = jan,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Sun Dec 14 09:18:13 MST 2003",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Sheard:2000:DIU,
author = "Tim Sheard and Zine-el-abidine Benaissa and Emir
Pasalic",
title = "{DSL} Implementation Using Staging and Monads",
journal = j-SIGPLAN,
volume = "35",
number = "1",
pages = "81--94",
month = jan,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Sun Dec 14 09:18:13 MST 2003",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Peterson:2000:MR,
author = "John Peterson and Greg Hager",
title = "Monadic Robotics",
journal = j-SIGPLAN,
volume = "35",
number = "1",
pages = "95--108",
month = jan,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Sun Dec 14 09:18:13 MST 2003",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Leijen:2000:DSE,
author = "Daan Leijen and Erik Meijer",
title = "Domain-Specific Embedded Compilers",
journal = j-SIGPLAN,
volume = "35",
number = "1",
pages = "109--122",
month = jan,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Sun Dec 14 09:18:13 MST 2003",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Jennings:2000:VVE,
author = "James Jennings and Eric Beuscher",
title = "{Verischemelog}: {Verilog} Embedded in {Scheme}",
journal = j-SIGPLAN,
volume = "35",
number = "1",
pages = "123--134",
month = jan,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Sun Dec 14 09:18:13 MST 2003",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Fernandez:2000:DSD,
author = "Mary Fern{\'a}ndez and Dan Suciu and Igor Tatarinov",
title = "Declarative Specification of Data-Intensive {Web}
Sites",
journal = j-SIGPLAN,
volume = "35",
number = "1",
pages = "135--148",
month = jan,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Sun Dec 14 09:18:13 MST 2003",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Li:2000:CSL,
author = "Du Li and Richard R. Muntz",
title = "A Collaboration Specification Language",
journal = j-SIGPLAN,
volume = "35",
number = "1",
pages = "149--162",
month = jan,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Sun Dec 14 09:18:13 MST 2003",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Bonachea:2000:HLP,
author = "Dan Bonachea and Kathleen Fisher and Anne Rogers and
Frederick Smith",
title = "{Hancock}: {A} Language for Processing Very
Large-Scale Data",
journal = j-SIGPLAN,
volume = "35",
number = "1",
pages = "163--176",
month = jan,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Sun Dec 14 09:18:13 MST 2003",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Ryder:2000:CCP,
author = "Barbara G. Ryder",
title = "Conference Corner: {PLDI} '99: Programming Language
Design and Implementation (Report)",
journal = j-SIGPLAN,
volume = "35",
number = "2",
pages = "9--9",
month = feb,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Tue Sep 26 17:06:07 MDT 2000",
bibsource = "http://ftp.informatik.rwth-aachen.de/dblp/db/journals/sigplan/sigplan35.html",
URL = "http://ftp.informatik.rwth-aachen.de/dblp/db/indices/a-tree/r/Ryder:Barbara_G=.html",
acknowledgement = ack-nhfb,
}
@Article{Ryder:2000:PPL,
author = "Barbara Ryder",
title = "{PLDI '99}: {Programming} language design and
implementation",
journal = j-SIGPLAN,
volume = "35",
number = "2",
pages = "9--10",
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Sun Dec 14 09:18:14 MST 2003",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Clark:2000:PPPa,
author = "Chis Clark",
title = "Practical Parsing Patterns: Uniform Abstract Syntax
Trees",
journal = j-SIGPLAN,
volume = "35",
number = "2",
pages = "11--16",
month = feb,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Tue Sep 26 17:06:07 MDT 2000",
bibsource = "http://ftp.informatik.rwth-aachen.de/dblp/db/journals/sigplan/sigplan35.html",
URL = "http://ftp.informatik.rwth-aachen.de/dblp/db/indices/a-tree/c/Clark:Chis.html",
acknowledgement = ack-nhfb,
}
@Article{Clark:2000:UAS,
author = "Chris Clark",
title = "Uniform abstract syntax trees",
journal = j-SIGPLAN,
volume = "35",
number = "2",
pages = "11--16",
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Sun Dec 14 09:18:14 MST 2003",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Frenger:2000:FUR,
author = "Paul Frenger",
title = "{Forth}: The Ultimate {RISC}: {A} Zero-Instruction
Computer",
journal = j-SIGPLAN,
volume = "35",
number = "2",
pages = "17--23",
month = feb,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Tue Sep 26 17:06:07 MDT 2000",
bibsource = "http://ftp.informatik.rwth-aachen.de/dblp/db/journals/sigplan/sigplan35.html",
URL = "http://ftp.informatik.rwth-aachen.de/dblp/db/indices/a-tree/f/Frenger:Paul.html",
acknowledgement = ack-nhfb,
}
@Article{Frenger:2000:URZ,
author = "Paul Frenger",
title = "The {Ultimate RISC}: {A} zero-instruction computer",
journal = j-SIGPLAN,
volume = "35",
number = "2",
pages = "17--24",
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Sun Dec 14 09:18:14 MST 2003",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Reinholtz:2000:JWF,
author = "Kirk Reinholtz",
title = "{Java} will be faster than {C++}",
journal = j-SIGPLAN,
volume = "35",
number = "2",
pages = "25--28",
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Sun Dec 14 09:18:14 MST 2003",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Reinholtz:2000:TCJ,
author = "Kirk Reinholtz",
title = "Technical Correspondence: {Java} will be faster than
{C++}",
journal = j-SIGPLAN,
volume = "35",
number = "2",
pages = "25--28",
month = feb,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Tue Sep 26 17:06:07 MDT 2000",
bibsource = "http://ftp.informatik.rwth-aachen.de/dblp/db/journals/sigplan/sigplan35.html",
URL = "http://ftp.informatik.rwth-aachen.de/dblp/db/indices/a-tree/r/Reinholtz:Kirk.html",
acknowledgement = ack-nhfb,
}
@Article{Davis:2000:OOA,
author = "Matthew S. Davis",
title = "An Object Oriented Approach to Constructing Recursive
Descent Parsers",
journal = j-SIGPLAN,
volume = "35",
number = "2",
pages = "29--35",
month = feb,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Sun Dec 14 09:18:14 MST 2003",
bibsource = "http://portal.acm.org/;
http://ftp.informatik.rwth-aachen.de/dblp/db/journals/sigplan/sigplan35.html",
URL = "http://ftp.informatik.rwth-aachen.de/dblp/db/indices/a-tree/d/Davis:Matthew_S=.html",
acknowledgement = ack-nhfb,
}
@Article{Milicev:2000:SPS,
author = "Dragan Milicev and Zoran Jovanovic",
title = "Sources of parallelism in software pipelining loops
with conditional branches",
journal = j-SIGPLAN,
volume = "35",
number = "2",
pages = "36--45",
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Sun Dec 14 09:18:14 MST 2003",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Milicev:2000:SSP,
author = "Dragan Milicev and Zoran Jovanovic",
title = "Sources in Software Pipelining Loops with Conditions
Branches",
journal = j-SIGPLAN,
volume = "35",
number = "2",
pages = "36--45",
month = feb,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Tue Sep 26 17:06:07 MDT 2000",
bibsource = "http://ftp.informatik.rwth-aachen.de/dblp/db/journals/sigplan/sigplan35.html",
URL = "http://ftp.informatik.rwth-aachen.de/dblp/db/indices/a-tree/m/Milicev:Dragan.html;
http://ftp.informatik.rwth-aachen.de/dblp/db/indices/a-tree/j/Jovanovic:Zoran.html",
acknowledgement = ack-nhfb,
}
@Article{Simonis:2000:ABO,
author = "Volker Simonis",
title = "Adapters and Binders --- Overcoming Problems in the
Design and Implementation of the {C++-STL}",
journal = j-SIGPLAN,
volume = "35",
number = "2",
pages = "46--53",
month = feb,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Sun Dec 14 09:18:14 MST 2003",
bibsource = "http://portal.acm.org/;
http://ftp.informatik.rwth-aachen.de/dblp/db/journals/sigplan/sigplan35.html",
URL = "http://ftp.informatik.rwth-aachen.de/dblp/db/indices/a-tree/s/Simonis:Volker.html",
acknowledgement = ack-nhfb,
}
@Article{Xie:2000:CST,
author = "Gaoyan Xie and Yongsen Xu and Yu Li and Qian Li",
title = "{Codebugger}: a software tool for cooperative
debugging",
journal = j-SIGPLAN,
volume = "35",
number = "2",
pages = "54--60",
month = feb,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Sun Dec 14 09:18:14 MST 2003",
bibsource = "http://portal.acm.org/;
http://ftp.informatik.rwth-aachen.de/dblp/db/journals/sigplan/sigplan35.html",
URL = "http://ftp.informatik.rwth-aachen.de/dblp/db/indices/a-tree/x/Xie:Gaooyan.html;
http://ftp.informatik.rwth-aachen.de/dblp/db/indices/a-tree/x/Xu:YongSen.html;
http://ftp.informatik.rwth-aachen.de/dblp/db/indices/a-tree/l/Li:Yu.html;
http://ftp.informatik.rwth-aachen.de/dblp/db/indices/a-tree/l/Li:Qian.html",
acknowledgement = ack-nhfb,
}
@Article{Swen:2000:OOP,
author = "Bing Swen",
title = "Object-Oriented Programming with Induction",
journal = j-SIGPLAN,
volume = "35",
number = "2",
pages = "61--67",
month = feb,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Sun Dec 14 09:18:14 MST 2003",
bibsource = "http://portal.acm.org/;
http://ftp.informatik.rwth-aachen.de/dblp/db/journals/sigplan/sigplan35.html",
URL = "http://ftp.informatik.rwth-aachen.de/dblp/db/indices/a-tree/s/Swen:Bing.html",
acknowledgement = ack-nhfb,
}
@Article{Anonymous:2000:IIA,
author = "Anonymous",
title = "Important Information for {ACM SIGPLAN Notices}
Authors",
journal = j-SIGPLAN,
volume = "35",
number = "3",
pages = "1--1",
month = mar,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Tue Nov 7 17:22:50 MST 2000",
acknowledgement = ack-nhfb,
}
@Article{Soffa:2000:ECN,
author = "Mary Lou Soffa",
title = "{Executive Committee} News: 1999 {SIGPLAN} Awards",
journal = j-SIGPLAN,
volume = "35",
number = "3",
pages = "2--3",
month = mar,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Tue Nov 7 17:22:50 MST 2000",
acknowledgement = ack-nhfb,
}
@Article{Bergmann:2000:CCCa,
author = "Seth Bergmann",
title = "Conference Corner: Calendar",
journal = j-SIGPLAN,
volume = "35",
number = "3",
pages = "4--15",
month = mar,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Tue Nov 7 17:22:50 MST 2000",
acknowledgement = ack-nhfb,
}
@Article{Pontelli:2000:CCC,
author = "Enrico Pontelli and Vitor Santos Costa",
title = "Conference Corner: Conference Report: {PADL '00:
Workshop on Practical Aspects of Declarative
Languages}",
journal = j-SIGPLAN,
volume = "35",
number = "3",
pages = "16--17",
month = mar,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Tue Nov 7 17:22:50 MST 2000",
acknowledgement = ack-nhfb,
}
@Article{Chalk:2000:CCC,
author = "Peter Chalk",
title = "Conference Corner: Conference Report: {JICC4: Java in
the Computing Curricula}",
journal = j-SIGPLAN,
volume = "35",
number = "3",
pages = "18--19",
month = mar,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Tue Nov 7 17:22:50 MST 2000",
acknowledgement = ack-nhfb,
}
@Article{Chalk:2000:JJC,
author = "Peter Chalk",
title = "{JICC4}: {Java} in the computing curricula",
journal = j-SIGPLAN,
volume = "35",
number = "3",
pages = "18--19",
month = mar,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Sun Dec 14 09:18:14 MST 2003",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Anonymous:2000:CPI,
author = "Anonymous",
title = "Call for Papers: {2000 International Symposium on
Memory Management (ISMM), Minneapolis, Minnesota,
October 15--16, 2000}",
journal = j-SIGPLAN,
volume = "35",
number = "3",
pages = "20--20",
month = mar,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Tue Nov 7 17:22:50 MST 2000",
acknowledgement = ack-nhfb,
}
@Article{Benson:2000:JRS,
author = "Brent W. {Benson, Jr.}",
title = "{Java} Reflections: Servlets: {Web}-Based Applications
You Can Live With",
journal = j-SIGPLAN,
volume = "35",
number = "3",
pages = "21--24",
month = mar,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Tue Nov 7 17:22:50 MST 2000",
acknowledgement = ack-nhfb,
}
@Article{Benson:2000:WBA,
author = "Brent W. {Benson, Jr.}",
title = "{Web}-based applications you can live with",
journal = j-SIGPLAN,
volume = "35",
number = "3",
pages = "21--24",
month = mar,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Sun Dec 14 09:18:14 MST 2003",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Frenger:2000:FRL,
author = "Paul Frenger",
title = "{Forth} Report: Learning {Forth} with {Modular
Forth}",
journal = j-SIGPLAN,
volume = "35",
number = "3",
pages = "25--30",
month = mar,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Tue Nov 7 17:22:50 MST 2000",
acknowledgement = ack-nhfb,
}
@Article{Frenger:2000:LFM,
author = "Paul Frenger",
title = "Learning {Forth} with {Modular Forth}",
journal = j-SIGPLAN,
volume = "35",
number = "3",
pages = "25--30",
month = mar,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Sun Dec 14 09:18:14 MST 2003",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Bergin:2000:HPL,
author = "Tim Bergin",
title = "History of Programming Languages and Software
Engineering: {A} {Web}-Based Tool",
journal = j-SIGPLAN,
volume = "35",
number = "3",
pages = "31--31",
month = mar,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Sun Dec 14 09:18:14 MST 2003",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Padua:2000:CIA,
author = "David Padua and Ron Cytron",
title = "Compilers and Interpreters Archive",
journal = j-SIGPLAN,
volume = "35",
number = "3",
pages = "32--32",
month = mar,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Sun Dec 14 09:18:14 MST 2003",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Bergmann:2000:IA,
author = "A. Michael Bergmann",
title = "Information for Authors",
journal = j-SIGPLAN,
volume = "35",
number = "3",
pages = "33--33",
month = mar,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Tue Nov 7 17:22:50 MST 2000",
acknowledgement = ack-nhfb,
}
@Article{Li:2000:SPN,
author = "Yu Li and Gaoyan Xie and Yongsen Xu and Yi Yang",
title = "The Security Problem of Nested Classes",
journal = j-SIGPLAN,
volume = "35",
number = "3",
pages = "34--38",
month = mar,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Tue Nov 7 17:22:50 MST 2000",
acknowledgement = ack-nhfb,
}
@Article{Yu:2000:SPN,
author = "Li Yu and Xie Gaoyan and Xu Yongsen and Yang Yi",
title = "The security problem of nested classes",
journal = j-SIGPLAN,
volume = "35",
number = "3",
pages = "34--38",
month = mar,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Sun Dec 14 09:18:14 MST 2003",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Heering:2000:SPL,
author = "Jan Heering and Paul Klint",
title = "Semantics of Programming Languages: {A} Tool-Oriented
Approach",
journal = j-SIGPLAN,
volume = "35",
number = "3",
pages = "39--48",
month = mar,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Sun Dec 14 09:18:14 MST 2003",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Naik:2000:EMD,
author = "Mayur Naik and Rajeev Kumar",
title = "Efficient Message Dispatch in Object-Oriented
Systems",
journal = j-SIGPLAN,
volume = "35",
number = "3",
pages = "49--58",
month = mar,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Sun Dec 14 09:18:14 MST 2003",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Kokol:2000:RCN,
author = "Peter Kokol and Vili Podgorelec",
title = "Ranking the Complexity of {NIAM} Conceptual Schemas by
Alpha Metric",
journal = j-SIGPLAN,
volume = "35",
number = "3",
pages = "59--64",
month = mar,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Sun Dec 14 09:18:14 MST 2003",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Li:2000:INN,
author = "Tao Li and XiaoJie Liu",
title = "An Intelligent {Neural Network Programming System
(NNPS)}",
journal = j-SIGPLAN,
volume = "35",
number = "3",
pages = "65--72",
month = mar,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Sun Dec 14 09:18:14 MST 2003",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Ramsey:2000:IPC,
author = "Norman Ramsey and Kevin Scott",
title = "The 1999 {ICFP} Programming Contest",
journal = j-SIGPLAN,
volume = "35",
number = "3",
pages = "73--83",
month = mar,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Sun Dec 14 09:18:14 MST 2003",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Berman:2000:LEW,
author = "A. Michael Berman",
title = "Letter from the Editor; Welcome ever smiles \slash{}
And farewell goes out sighing",
journal = j-SIGPLAN,
volume = "35",
number = "4",
pages = "1--1",
month = apr,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Tue Nov 7 17:22:50 MST 2000",
acknowledgement = ack-nhfb,
}
@Article{Berman:2000:IIA,
author = "A. Michael Berman",
title = "Important Information for {ACM SIGPLAN Notices}
Authors",
journal = j-SIGPLAN,
volume = "35",
number = "4",
pages = "2--2",
month = apr,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Tue Nov 7 17:22:50 MST 2000",
acknowledgement = ack-nhfb,
}
@Article{Bergmann:2000:CCCb,
author = "Seth Bergmann",
title = "Conference Corner: Calendar",
journal = j-SIGPLAN,
volume = "35",
number = "4",
pages = "3--16",
month = apr,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Tue Nov 7 17:22:50 MST 2000",
acknowledgement = ack-nhfb,
}
@Article{Anonymous:2000:CPA,
author = "Anonymous",
title = "Call for Papers: {The 28th Annual ACM-SIGACT Symposium
Principles of Programming Languages, London, January
17--19, 2001 (POPL'01)}",
journal = j-SIGPLAN,
volume = "35",
number = "4",
pages = "17--17",
month = apr,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Tue Nov 7 17:22:50 MST 2000",
acknowledgement = ack-nhfb,
}
@Article{Clark:2000:NLS,
author = "Chris Clark",
title = "Newlines and lexer states",
journal = j-SIGPLAN,
volume = "35",
number = "4",
pages = "18--24",
month = apr,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Sun Dec 14 09:18:16 MST 2003",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Clark:2000:PPPb,
author = "Chris Clark",
title = "Practical Parsing Patterns: Newlines and Lexer
States",
journal = j-SIGPLAN,
volume = "35",
number = "4",
pages = "18--24",
month = apr,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Tue Nov 7 17:22:50 MST 2000",
acknowledgement = ack-nhfb,
}
@Article{Norris:2000:IA,
author = "Cindy Norris",
title = "Information for Authors",
journal = j-SIGPLAN,
volume = "35",
number = "4",
pages = "25--25",
month = apr,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Tue Nov 7 17:22:50 MST 2000",
acknowledgement = ack-nhfb,
}
@Article{Bruce:2000:CDF,
author = "Kim B. Bruce",
title = "{Curriculum 2001} Draft Found Lacking in Programming
Languages",
journal = j-SIGPLAN,
volume = "35",
number = "4",
pages = "26--28",
month = apr,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Sun Dec 14 09:18:16 MST 2003",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Anonymous:2000:PKU,
author = "Anonymous",
title = "Proposed knowledge units for programming languages for
{Curriculum 2001}",
journal = j-SIGPLAN,
volume = "35",
number = "4",
pages = "29--43",
month = apr,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Sun Dec 14 09:18:16 MST 2003",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Group:2000:PKU,
author = "{Programming Language Knowledge Focus Group}",
title = "Proposed Knowledge Units for Programming Languages for
{Curriculum 2001}",
journal = j-SIGPLAN,
volume = "35",
number = "4",
pages = "29--43",
month = apr,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Tue Nov 7 17:22:50 MST 2000",
acknowledgement = ack-nhfb,
}
@Article{Manjunath:2000:SHJ,
author = "Geetha Manjunath and Venkatesh Krishnan",
title = "A {{\em Small\/}} Hybrid {JIT} for Embedded Systems",
journal = j-SIGPLAN,
volume = "35",
number = "4",
pages = "44--50",
month = apr,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Sun Dec 14 09:18:16 MST 2003",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Sakharov:2000:HSM,
author = "Alexander Sakharov",
title = "A Hybrid State Machine Notation for Component
Specification",
journal = j-SIGPLAN,
volume = "35",
number = "4",
pages = "51--56",
month = apr,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Sun Dec 14 09:18:16 MST 2003",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Bala:2000:DTDa,
author = "Vasanth Bala and Evelyn Duesterwald and Sanjeev
Banerjia",
title = "{Dynamo}: a transparent dynamic optimization system",
journal = j-SIGPLAN,
volume = "35",
number = "5",
pages = "1--12",
month = may,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Tue Nov 7 17:22:50 MST 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/pldi/",
URL = "http://www.acm.org/pubs/citations/proceedings/pldi/349299/p1-bala/;
http://www.acm.org/pubs/articles/proceedings/pldi/349299/p1-bala/p1-bala.pdf",
acknowledgement = ack-nhfb,
}
@Article{Cierniak:2000:PJJ,
author = "Micha{\l} Cierniak and Guei-Yuan Lueh and James M.
Stichnoth",
title = "Practicing {JUDO}: {Java} under dynamic
optimizations",
journal = j-SIGPLAN,
volume = "35",
number = "5",
pages = "13--26",
month = may,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Tue Nov 7 17:22:50 MST 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/pldi/",
URL = "http://www.acm.org/pubs/citations/proceedings/pldi/349299/p13-cierniak/;
http://www.acm.org/pubs/articles/proceedings/pldi/349299/p13-cierniak/p13-cierniak.pdf",
acknowledgement = ack-nhfb,
}
@Article{Lucco:2000:SSD,
author = "Steven Lucco",
title = "Split-stream dictionary program compression",
journal = j-SIGPLAN,
volume = "35",
number = "5",
pages = "27--34",
month = may,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Tue Nov 7 17:22:50 MST 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/pldi/",
URL = "http://www.acm.org/pubs/citations/proceedings/pldi/349299/p27-lucco/;
http://www.acm.org/pubs/articles/proceedings/pldi/349299/p27-lucco/p27-lucco.pdf;
http://delivery.acm.org/10.1145/350000/349307/p27-lucco.pdf",
acknowledgement = ack-nhfb,
DOI = "http://dx.doi.org/10.1145.349307",
keywords = "IA-64",
}
@Article{Das:2000:UBP,
author = "Manuvir Das",
title = "Unification-based pointer analysis with directional
assignments",
journal = j-SIGPLAN,
volume = "35",
number = "5",
pages = "35--46",
month = may,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Tue Nov 7 17:22:50 MST 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/pldi/",
URL = "http://www.acm.org/pubs/citations/proceedings/pldi/349299/p35-das/;
http://www.acm.org/pubs/articles/proceedings/pldi/349299/p35-das/p35-das.pdf",
acknowledgement = ack-nhfb,
}
@Article{Rountev:2000:LVS,
author = "Atanas Rountev and Satish Chandra",
title = "Off-line variable substitution for scaling points-to
analysis",
journal = j-SIGPLAN,
volume = "35",
number = "5",
pages = "47--56",
month = may,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Tue Nov 7 17:22:50 MST 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/pldi/",
URL = "http://www.acm.org/pubs/citations/proceedings/pldi/349299/p47-rountev/;
http://www.acm.org/pubs/articles/proceedings/pldi/349299/p47-rountev/p47-rountev.pdf",
acknowledgement = ack-nhfb,
}
@Article{Cheng:2000:MIP,
author = "Ben-Chung Cheng and Wen-mei W. Hwu",
title = "Modular interprocedural pointer analysis using access
paths: design, implementation, and evaluation",
journal = j-SIGPLAN,
volume = "35",
number = "5",
pages = "57--69",
month = may,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Tue Nov 7 17:22:50 MST 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/pldi/",
URL = "http://www.acm.org/pubs/citations/proceedings/pldi/349299/p57-cheng/;
http://www.acm.org/pubs/articles/proceedings/pldi/349299/p57-cheng/p57-cheng.pdf",
acknowledgement = ack-nhfb,
}
@Article{Xu:2000:SCM,
author = "Zhichen Xu and Barton P. Miller and Thomas Reps",
title = "Safety checking of machine code",
journal = j-SIGPLAN,
volume = "35",
number = "5",
pages = "70--82",
month = may,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Tue Nov 7 17:22:50 MST 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/pldi/",
URL = "http://www.acm.org/pubs/citations/proceedings/pldi/349299/p70-xu/;
http://www.acm.org/pubs/articles/proceedings/pldi/349299/p70-xu/p70-xu.pdf",
acknowledgement = ack-nhfb,
}
@Article{Necula:2000:TVO,
author = "George C. Necula",
title = "Translation validation for an optimizing compiler",
journal = j-SIGPLAN,
volume = "35",
number = "5",
pages = "83--94",
month = may,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Tue Nov 7 17:22:50 MST 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/pldi/",
URL = "http://www.acm.org/pubs/citations/proceedings/pldi/349299/p83-necula/;
http://www.acm.org/pubs/articles/proceedings/pldi/349299/p83-necula/p83-necula.pdf",
acknowledgement = ack-nhfb,
}
@Article{Colby:2000:CCJ,
author = "Christopher Colby and Peter Lee and George C. Necula
and Fred Blau and Mark Plesko and Kenneth Cline",
title = "A certifying compiler for {Java}",
journal = j-SIGPLAN,
volume = "35",
number = "5",
pages = "95--107",
month = may,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Tue Nov 7 17:22:50 MST 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/pldi/",
URL = "http://www.acm.org/pubs/citations/proceedings/pldi/349299/p95-colby/;
http://www.acm.org/pubs/articles/proceedings/pldi/349299/p95-colby/p95-colby.pdf",
acknowledgement = ack-nhfb,
}
@Article{Stephenson:2000:BAA,
author = "Mark Stephenson and Jonathan Babb and Saman
Amarasinghe",
title = "Bidwidth analysis with application to silicon
compilation",
journal = j-SIGPLAN,
volume = "35",
number = "5",
pages = "108--120",
month = may,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Tue Nov 7 17:22:50 MST 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/pldi/",
URL = "http://www.acm.org/pubs/citations/proceedings/pldi/349299/p108-stephenson/;
http://www.acm.org/pubs/articles/proceedings/pldi/349299/p108-stephenson/p108-stephenson.pdf",
acknowledgement = ack-nhfb,
}
@Article{Wilken:2000:OIS,
author = "Kent Wilken and Jack Liu and Mark Heffernan",
title = "Optimal instruction scheduling using integer
programming",
journal = j-SIGPLAN,
volume = "35",
number = "5",
pages = "121--133",
month = may,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Tue Nov 7 17:22:50 MST 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/pldi/",
URL = "http://www.acm.org/pubs/citations/proceedings/pldi/349299/p121-wilken/;
http://www.acm.org/pubs/articles/proceedings/pldi/349299/p121-wilken/p121-wilken.pdf",
acknowledgement = ack-nhfb,
}
@Article{Zalamea:2000:ISC,
author = "Javier Zalamea and Josep Llosa and Eduard Ayguad{\'e}
and Mateo Valero",
title = "Improved spill code generation for software pipelined
loops",
journal = j-SIGPLAN,
volume = "35",
number = "5",
pages = "134--144",
month = may,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Tue Nov 7 17:22:50 MST 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/pldi/",
URL = "http://www.acm.org/pubs/citations/proceedings/pldi/349299/p134-zalamea/;
http://www.acm.org/pubs/articles/proceedings/pldi/349299/p134-zalamea/p134-zalamea.pdf",
acknowledgement = ack-nhfb,
}
@Article{Larsen:2000:ESL,
author = "Samuel Larsen and Saman Amarasinghe",
title = "Exploiting superword level parallelism with multimedia
instruction sets",
journal = j-SIGPLAN,
volume = "35",
number = "5",
pages = "145--156",
month = may,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Tue Nov 7 17:22:50 MST 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/pldi/",
URL = "http://www.acm.org/pubs/citations/proceedings/pldi/349299/p145-larsen/;
http://www.acm.org/pubs/articles/proceedings/pldi/349299/p145-larsen/p145-larsen.pdf",
acknowledgement = ack-nhfb,
}
@Article{Lin:2000:CAI,
author = "Yuan Lin and David Padua",
title = "Compiler analysis of irregular memory accesses",
journal = j-SIGPLAN,
volume = "35",
number = "5",
pages = "157--168",
month = may,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Tue Nov 7 17:22:50 MST 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/pldi/",
URL = "http://www.acm.org/pubs/citations/proceedings/pldi/349299/p157-lin/;
http://www.acm.org/pubs/articles/proceedings/pldi/349299/p157-lin/p157-lin.pdf",
acknowledgement = ack-nhfb,
}
@Article{Yi:2000:TLR,
author = "Qing Yi and Vikram Adve and Ken Kennedy",
title = "Transforming loops to recursion for multi-level memory
hierarchies",
journal = j-SIGPLAN,
volume = "35",
number = "5",
pages = "169--181",
month = may,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Tue Nov 7 17:22:50 MST 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/pldi/",
URL = "http://www.acm.org/pubs/citations/proceedings/pldi/349299/p169-yi/;
http://www.acm.org/pubs/articles/proceedings/pldi/349299/p169-yi/p169-yi.pdf",
acknowledgement = ack-nhfb,
}
@Article{Rugina:2000:SBA,
author = "Radu Rugina and Martin Rinard",
title = "Symbolic bounds analysis of pointers, array indices,
and accessed memory regions",
journal = j-SIGPLAN,
volume = "35",
number = "5",
pages = "182--195",
month = may,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Tue Nov 7 17:22:50 MST 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/pldi/",
URL = "http://www.acm.org/pubs/citations/proceedings/pldi/349299/p182-rugina/;
http://www.acm.org/pubs/articles/proceedings/pldi/349299/p182-rugina/p182-rugina.pdf",
acknowledgement = ack-nhfb,
}
@Article{Sreedhar:2000:FIO,
author = "Vugranam C. Sreedhar and Michael Burke and Jong-Deok
Choi",
title = "A framework for interprocedural optimization in the
presence of dynamic class loading",
journal = j-SIGPLAN,
volume = "35",
number = "5",
pages = "196--207",
month = may,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Tue Nov 7 17:22:50 MST 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/pldi/",
URL = "http://www.acm.org/pubs/citations/proceedings/pldi/349299/p196-sreedhar/;
http://www.acm.org/pubs/articles/proceedings/pldi/349299/p196-sreedhar/p196-sreedhar.pdf",
acknowledgement = ack-nhfb,
}
@Article{Ruf:2000:ESR,
author = "Erik Ruf",
title = "Effective synchronization removal for {Java}",
journal = j-SIGPLAN,
volume = "35",
number = "5",
pages = "208--218",
month = may,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Tue Nov 7 17:22:50 MST 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/pldi/",
URL = "http://www.acm.org/pubs/citations/proceedings/pldi/349299/p208-ruf/;
http://www.acm.org/pubs/articles/proceedings/pldi/349299/p208-ruf/p208-ruf.pdf",
acknowledgement = ack-nhfb,
}
@Article{Flanagan:2000:TBR,
author = "Cormac Flanagan and Stephen N. Freund",
title = "Type-based race detection for {Java}",
journal = j-SIGPLAN,
volume = "35",
number = "5",
pages = "219--232",
month = may,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Tue Nov 7 17:22:50 MST 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/pldi/",
URL = "http://www.acm.org/pubs/citations/proceedings/pldi/349299/p219-flanagan/;
http://www.acm.org/pubs/articles/proceedings/pldi/349299/p219-flanagan/p219-flanagan.pdf",
acknowledgement = ack-nhfb,
}
@Article{Ramalingam:2000:LDD,
author = "G. Ramalingam",
title = "On loops, dominators, and dominance frontier",
journal = j-SIGPLAN,
volume = "35",
number = "5",
pages = "233--241",
month = may,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Tue Nov 7 17:22:50 MST 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/pldi/",
URL = "http://www.acm.org/pubs/citations/proceedings/pldi/349299/p233-ramalingam/;
http://www.acm.org/pubs/articles/proceedings/pldi/349299/p233-ramalingam/p233-ramalingam.pdf",
acknowledgement = ack-nhfb,
}
@Article{Wan:2000:FRP,
author = "Zhanyong Wan and Paul Hudak",
title = "Functional reactive programming from first
principles",
journal = j-SIGPLAN,
volume = "35",
number = "5",
pages = "242--252",
month = may,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Tue Nov 7 17:22:50 MST 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/pldi/",
URL = "http://www.acm.org/pubs/citations/proceedings/pldi/349299/p242-wan/;
http://www.acm.org/pubs/articles/proceedings/pldi/349299/p242-wan/p242-wan.pdf",
acknowledgement = ack-nhfb,
}
@Article{Fahndrich:2000:SCS,
author = "Manuel F{\"a}hndrich and Jakob Rehof and Manuvir Das",
title = "Scalable context-sensitive flow analysis using
instantiation constraints",
journal = j-SIGPLAN,
volume = "35",
number = "5",
pages = "253--263",
month = may,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Tue Nov 7 17:22:50 MST 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/pldi/",
URL = "http://www.acm.org/pubs/citations/proceedings/pldi/349299/p253-fahndrich/;
http://www.acm.org/pubs/articles/proceedings/pldi/349299/p253-fahndrich/p253-fahndrich.pdf",
acknowledgement = ack-nhfb,
}
@Article{Cannarozzi:2000:CGC,
author = "Dante J. Cannarozzi and Michael P. Plezbert and Ron K.
Cytron",
title = "Contaminated garbage collection",
journal = j-SIGPLAN,
volume = "35",
number = "5",
pages = "264--273",
month = may,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Tue Nov 7 17:22:50 MST 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/pldi/",
URL = "http://www.acm.org/pubs/citations/proceedings/pldi/349299/p264-cannarozzi/;
http://www.acm.org/pubs/articles/proceedings/pldi/349299/p264-cannarozzi/p264-cannarozzi.pdf",
acknowledgement = ack-nhfb,
}
@Article{Domani:2000:GFG,
author = "Tamar Domani and Elliot K. Kolodner and Erez Petrank",
title = "A generational on-the-fly garbage collector for
{Java}",
journal = j-SIGPLAN,
volume = "35",
number = "5",
pages = "274--284",
month = may,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Tue Nov 7 17:22:50 MST 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/pldi/",
URL = "http://www.acm.org/pubs/citations/proceedings/pldi/349299/p274-domani/;
http://www.acm.org/pubs/articles/proceedings/pldi/349299/p274-domani/p274-domani.pdf",
acknowledgement = ack-nhfb,
}
@Article{Ramsey:2000:SIL,
author = "Norman Ramsey and Simon Peyton Jones",
title = "A single intermediate language that supports multiple
implementations of exceptions",
journal = j-SIGPLAN,
volume = "35",
number = "5",
pages = "285--298",
month = may,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Tue Nov 7 17:22:50 MST 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/pldi/",
URL = "http://www.acm.org/pubs/citations/proceedings/pldi/349299/p285-ramsey/;
http://www.acm.org/pubs/articles/proceedings/pldi/349299/p285-ramsey/p285-ramsey.pdf",
acknowledgement = ack-nhfb,
}
@Article{Boothe:2000:EAB,
author = "Bob Boothe",
title = "Efficient algorithms for bidirectional debugging",
journal = j-SIGPLAN,
volume = "35",
number = "5",
pages = "299--310",
month = may,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Tue Nov 7 17:22:50 MST 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/pldi/",
URL = "http://www.acm.org/pubs/citations/proceedings/pldi/349299/p299-boothe/;
http://www.acm.org/pubs/articles/proceedings/pldi/349299/p299-boothe/p299-boothe.pdf",
acknowledgement = ack-nhfb,
}
@Article{Heydon:2000:CFC,
author = "Allan Heydon and Roy Levin and Yuan Yu",
title = "Caching function calls using precise dependencies",
journal = j-SIGPLAN,
volume = "35",
number = "5",
pages = "311--320",
month = may,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Tue Nov 7 17:22:50 MST 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/pldi/",
URL = "http://www.acm.org/pubs/citations/proceedings/pldi/349299/p311-heydon/;
http://www.acm.org/pubs/articles/proceedings/pldi/349299/p311-heydon/p311-heydon.pdf",
acknowledgement = ack-nhfb,
}
@Article{Bodik:2000:AEA,
author = "Rastislav Bod{\'\i}k and Rajiv Gupta and Vivek
Sarkar",
title = "{ABCD}: eliminating array bounds checks on demand",
journal = j-SIGPLAN,
volume = "35",
number = "5",
pages = "321--333",
month = may,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Tue Nov 7 17:22:50 MST 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/pldi/",
URL = "http://www.acm.org/pubs/citations/proceedings/pldi/349299/p321-bodik/;
http://www.acm.org/pubs/articles/proceedings/pldi/349299/p321-bodik/p321-bodik.pdf",
acknowledgement = ack-nhfb,
}
@Article{Ghemawat:2000:FAG,
author = "Sanjay Ghemawat and Keith H. Randall and Daniel J.
Scales",
title = "Field analysis: getting useful and low-cost
interprocedural information",
journal = j-SIGPLAN,
volume = "35",
number = "5",
pages = "334--344",
month = may,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Tue Nov 7 17:22:50 MST 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/pldi/",
URL = "http://www.acm.org/pubs/citations/proceedings/pldi/349299/p334-ghemawat/;
http://www.acm.org/pubs/articles/proceedings/pldi/349299/p334-ghemawat/p334-ghemawat.pdf",
acknowledgement = ack-nhfb,
}
@Article{Dolby:2000:AOI,
author = "Julian Dolby and Andrew Chien",
title = "An automatic object inlining optimization and its
evaluation",
journal = j-SIGPLAN,
volume = "35",
number = "5",
pages = "345--357",
month = may,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Tue Nov 7 17:22:50 MST 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/pldi/",
URL = "http://www.acm.org/pubs/citations/proceedings/pldi/349299/p345-dolby/;
http://www.acm.org/pubs/articles/proceedings/pldi/349299/p345-dolby/p345-dolby.pdf",
acknowledgement = ack-nhfb,
}
@Article{Cytron:2000:LC,
author = "Ron Cytron",
title = "Letter from the {Chair}",
journal = j-SIGPLAN,
volume = "35",
number = "6",
pages = "1--1",
month = jun,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Tue Nov 7 17:22:50 MST 2000",
acknowledgement = ack-nhfb,
}
@Article{Bergmann:2000:CCCc,
author = "Seth Bergmann",
title = "Conference Corner: Calendar",
journal = j-SIGPLAN,
volume = "35",
number = "6",
pages = "2--14",
month = jun,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Tue Nov 7 17:22:50 MST 2000",
acknowledgement = ack-nhfb,
}
@Article{Clark:2000:PPPc,
author = "Chris Clark",
title = "Practical Parsing Patterns: Off-and-On Tokens",
journal = j-SIGPLAN,
volume = "35",
number = "6",
pages = "15--20",
month = jun,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Tue Nov 7 17:22:50 MST 2000",
acknowledgement = ack-nhfb,
}
@Article{Clark:2000:T,
author = "Chris Clark",
title = "Off-and-on tokens",
journal = j-SIGPLAN,
volume = "35",
number = "6",
pages = "15--20",
month = jun,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Sun Dec 14 09:18:17 MST 2003",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Frenger:2000:FRG,
author = "Paul Frenger",
title = "{Forth} Report: The {GOTO} Machine",
journal = j-SIGPLAN,
volume = "35",
number = "6",
pages = "21--24",
month = jun,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Tue Nov 7 17:22:50 MST 2000",
acknowledgement = ack-nhfb,
}
@Article{Frenger:2000:GM,
author = "Paul Frenger",
title = "{GOTO} machine",
journal = j-SIGPLAN,
volume = "35",
number = "6",
pages = "21--24",
month = jun,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Sun Dec 14 09:18:17 MST 2003",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Fenwick:2000:IAa,
author = "Jan Fenwick and Cindy Norris",
title = "Information for Authors",
journal = j-SIGPLAN,
volume = "35",
number = "6",
pages = "25--25",
month = jun,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Tue Nov 7 17:22:50 MST 2000",
acknowledgement = ack-nhfb,
}
@Article{vanDeursen:2000:DSL,
author = "Arie van Deursen and Paul Klint and Joost Visser",
title = "Domain-Specific Languages: An Annotated Bibliography",
journal = j-SIGPLAN,
volume = "35",
number = "6",
pages = "26--36",
month = jun,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Sun Dec 14 09:18:17 MST 2003",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Srikant:2000:EPA,
author = "Y. N. Srikant and D. V. Ravindra",
title = "Effective Parametrization of Architectural Registers
for Register Allocation Algorithms",
journal = j-SIGPLAN,
volume = "35",
number = "6",
pages = "37--46",
month = jun,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Sun Dec 14 09:18:17 MST 2003",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
xxauthor = "{Srikant Y. N.} and {Ravindra D. V.}",
xxtitle = "Effective parameterization of architectural registers
for register allocation algorithms",
}
@Article{Schupp:2000:LLC,
author = "Sibylle Schupp",
title = "Lazy Lists in {C++}",
journal = j-SIGPLAN,
volume = "35",
number = "6",
pages = "47--54",
month = jun,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Sun Dec 14 09:18:17 MST 2003",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Smith:2000:OCF,
author = "Michael D. Smith",
title = "Overcoming the challenges to feedback-directed
optimization (Keynote Talk)",
journal = j-SIGPLAN,
volume = "35",
number = "7",
pages = "1--11",
month = jul,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Sun Dec 14 09:18:18 MST 2003",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Engler:2000:DTA,
author = "Dawson R. Engler and Wilson C. Hsieh",
title = "{Derive}: a tool that automatically reverse-engineers
instruction encodings",
journal = j-SIGPLAN,
volume = "35",
number = "7",
pages = "12--22",
month = jul,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Sun Dec 14 09:18:18 MST 2003",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Johansson:2000:PGO,
author = "Erik Johansson and Sven-olof Nystr{\"o}m",
title = "Profile-Guided Optimization Across Process
Boundaries",
journal = j-SIGPLAN,
volume = "35",
number = "7",
pages = "23--31",
month = jul,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Sun Dec 14 09:18:18 MST 2003",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Voss:2000:FRD,
author = "Michael J. Voss and Rudolf Eigenmann",
title = "A Framework for Remote Dynamic Program Optimization",
journal = j-SIGPLAN,
volume = "35",
number = "7",
pages = "32--40",
month = jul,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Sun Dec 14 09:18:18 MST 2003",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Ung:2000:MAD,
author = "David Ung and Cristina Cifuentes",
title = "Machine-Adaptable Dynamic Binary Translation",
journal = j-SIGPLAN,
volume = "35",
number = "7",
pages = "41--51",
month = jul,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Sun Dec 14 09:18:18 MST 2003",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Arnold:2000:CSS,
author = "Matthew Arnold and Stephen Fink and Vivek Sarkar and
Peter F. Sweeney",
title = "A Comparative Study of Static and Profile-Based
Heuristics for Inlining",
journal = j-SIGPLAN,
volume = "35",
number = "7",
pages = "52--64",
month = jul,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Sun Dec 14 09:18:18 MST 2003",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Mehofer:2000:PDF,
author = "Eduard Mehofer and Bernhard Scholz",
title = "Probabilistic Data Flow System with Two-Edge
Profiling",
journal = j-SIGPLAN,
volume = "35",
number = "7",
pages = "65--72",
month = jul,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Sun Dec 14 09:18:18 MST 2003",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Chambers:2000:D,
author = "Craig Chambers",
title = "{DyC}",
journal = j-SIGPLAN,
volume = "35",
number = "7",
pages = "73--74",
month = jul,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Tue Nov 7 17:22:50 MST 2000",
acknowledgement = ack-nhfb,
}
@Article{Chambers:2000:DPS,
author = "Craig Chambers",
title = "{DyC} (Panel Session)",
journal = j-SIGPLAN,
volume = "35",
number = "7",
pages = "73--74",
month = jul,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Sun Dec 14 09:18:18 MST 2003",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Bala:2000:DTDb,
author = "Vasanth Bala",
title = "{Dynamo}: {A} Transparent, Dynamic, Native Binary
Optimizer",
journal = j-SIGPLAN,
volume = "35",
number = "7",
pages = "75--75",
month = jul,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Tue Nov 7 17:22:50 MST 2000",
acknowledgement = ack-nhfb,
}
@Article{Cytron:2000:DPS,
author = "Ron Cytron and Vasanth Bala",
title = "Dynamo (Panel Session): a transparent, dynamic, native
binary optimizer",
journal = j-SIGPLAN,
volume = "35",
number = "7",
pages = "75--75",
month = jul,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Sun Dec 14 09:18:18 MST 2003",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Cytron:2000:TPS,
author = "Ron Cytron and Renaud Marlet",
title = "{Tempo}, a program specializer for {C} (Panel
Session)",
journal = j-SIGPLAN,
volume = "35",
number = "7",
pages = "76--77",
month = jul,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Sun Dec 14 09:18:18 MST 2003",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Marlet:2000:TPS,
author = "Renaud Marlet",
title = "Tempo, a program specializer for {C}",
journal = j-SIGPLAN,
volume = "35",
number = "7",
pages = "76--77",
month = jul,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Tue Nov 7 17:22:50 MST 2000",
acknowledgement = ack-nhfb,
}
@Article{Cytron:2000:DCJ,
author = "Ron Cytron and Vivek Sarkar",
title = "Dynamic compilation in {Jalape{\~n}o} (Panel
Session)",
journal = j-SIGPLAN,
volume = "35",
number = "7",
pages = "78--78",
month = jul,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Sun Dec 14 09:18:18 MST 2003",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Sarkar:2000:DCJ,
author = "Vivek Sarkar",
title = "Dynamic Compilation in {Jalape{\~n}o}",
journal = j-SIGPLAN,
volume = "35",
number = "7",
pages = "78--78",
month = jul,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Tue Nov 7 17:22:50 MST 2000",
acknowledgement = ack-nhfb,
}
@Article{Chung:2000:SDP,
author = "Yoo C. Chung and Michael J. Voss",
title = "Summary of the {Dynamo '00} Panel Discussion",
journal = j-SIGPLAN,
volume = "35",
number = "7",
pages = "79--81",
month = jul,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Tue Nov 7 17:22:50 MST 2000",
acknowledgement = ack-nhfb,
}
@Article{Cytron:2000:SDP,
author = "Ron Cytron and Yoo C. Chung and Michael J. Voss",
title = "Summary of the {Dynamo '00} panel discussion (Panel
Session)",
journal = j-SIGPLAN,
volume = "35",
number = "7",
pages = "79--81",
month = jul,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Sun Dec 14 09:18:18 MST 2003",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Cytron:2000:ECN,
author = "Ron Cytron",
title = "{Executive Committee} News: {SIGPLAN} Awards",
journal = j-SIGPLAN,
volume = "35",
number = "8",
pages = "1--2",
month = aug,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Tue Nov 7 17:22:50 MST 2000",
acknowledgement = ack-nhfb,
}
@Article{Bergmann:2000:CCCd,
author = "Seth Bergmann",
title = "Conference Corner: Calendar",
journal = j-SIGPLAN,
volume = "35",
number = "8",
pages = "3--14",
month = aug,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Tue Nov 7 17:22:50 MST 2000",
acknowledgement = ack-nhfb,
}
@Article{Frenger:2000:FFB,
author = "Paul Frenger",
title = "{Forth} and the {FreeBSD} bootloader",
journal = j-SIGPLAN,
volume = "35",
number = "8",
pages = "15--17",
month = aug,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Sun Dec 14 09:18:19 MST 2003",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Frenger:2000:FRF,
author = "Paul Frenger",
title = "{Forth} Report: {Forth} and the {FreeBSD} Bootloader",
journal = j-SIGPLAN,
volume = "35",
number = "8",
pages = "15--17",
month = aug,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Tue Nov 7 17:22:50 MST 2000",
acknowledgement = ack-nhfb,
}
@Article{Fenwick:2000:IAb,
author = "Jan Fenwick and Cindy Norris",
title = "Information for Authors",
journal = j-SIGPLAN,
volume = "35",
number = "8",
pages = "18--18",
month = aug,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Tue Nov 7 17:22:50 MST 2000",
acknowledgement = ack-nhfb,
}
@Article{Fenwick:2000:IPAa,
author = "Jan Fenwick and Cindy Norris",
title = "Information for Past Authors",
journal = j-SIGPLAN,
volume = "35",
number = "8",
pages = "19--19",
month = aug,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Tue Nov 7 17:22:50 MST 2000",
acknowledgement = ack-nhfb,
}
@Article{Fereira:2000:UPL,
author = "Ulisses Fereira",
title = "{\em uu\/} for Programming Languages",
journal = j-SIGPLAN,
volume = "35",
number = "8",
pages = "20--30",
month = aug,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Tue Nov 7 17:22:50 MST 2000",
acknowledgement = ack-nhfb,
}
@Article{Ferreira:2000:UPL,
author = "Ulisses Ferreira",
title = "uu for programming languages",
journal = j-SIGPLAN,
volume = "35",
number = "8",
pages = "20--30",
month = aug,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Sun Dec 14 09:18:19 MST 2003",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Juric:2000:JDO,
author = "Matjaz B. Juric and Ivan Rozman and Simon Nash",
title = "{Java 2} Distributed Object Middleware Performance
Analysis and Optimization",
journal = j-SIGPLAN,
volume = "35",
number = "8",
pages = "31--40",
month = aug,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Sun Dec 14 09:18:19 MST 2003",
bibsource = "http://portal.acm.org/",
acknowledgement = ack-nhfb,
}
@Article{Wong:2000:FGK,
author = "Limsoon Wong",
title = "The functional guts of the {Kleisli} query system",
journal = j-SIGPLAN,
volume = "35",
number = "9",
pages = "1--10",
month = sep,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Tue Nov 7 16:57:22 MST 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/icfp/",
URL = "http://www.acm.org/pubs/citations/proceedings/fp/351240/p1-wong/;
http://www.acm.org/pubs/articles/proceedings/fp/351240/p1-wong/p1-wong.pdf",
acknowledgement = ack-nhfb,
}
@Article{Hosoya:2000:RET,
author = "Haruo Hosoya and J{\'e}r{\^o}me Vouillon and Benjamin
C. Pierce",
title = "Regular expression types for {XML}",
journal = j-SIGPLAN,
volume = "35",
number = "9",
pages = "11--22",
month = sep,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Tue Nov 7 16:57:22 MST 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/icfp/",
URL = "http://www.acm.org/pubs/citations/proceedings/fp/351240/p11-hosoya/;
http://www.acm.org/pubs/articles/proceedings/fp/351240/p11-hosoya/p11-hosoya.pdf",
acknowledgement = ack-nhfb,
}
@Article{Queinnec:2000:IBE,
author = "Christian Queinnec",
title = "The influence of browsers on evaluators or,
continuations to program {Web} servers",
journal = j-SIGPLAN,
volume = "35",
number = "9",
pages = "23--33",
month = sep,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Tue Nov 7 16:57:22 MST 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/icfp/",
URL = "http://www.acm.org/pubs/citations/proceedings/fp/351240/p23-queinnec/;
http://www.acm.org/pubs/articles/proceedings/fp/351240/p23-queinnec/p23-queinnec.pdf",
acknowledgement = ack-nhfb,
}
@Article{Skalka:2000:SES,
author = "Christian Skalka and Scott Smith",
title = "Static enforcement of security with types",
journal = j-SIGPLAN,
volume = "35",
number = "9",
pages = "34--45",
month = sep,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Tue Nov 7 16:57:22 MST 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/icfp/",
URL = "http://www.acm.org/pubs/citations/proceedings/fp/351240/p34-skalka/;
http://www.acm.org/pubs/articles/proceedings/fp/351240/p34-skalka/p34-skalka.pdf",
acknowledgement = ack-nhfb,
}
@Article{Pottier:2000:IFI,
author = "Fran{\c{c}}ois Pottier and Sylvain Conchon",
title = "Information flow inference for free",
journal = j-SIGPLAN,
volume = "35",
number = "9",
pages = "46--57",
month = sep,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Tue Nov 7 16:57:22 MST 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/icfp/",
URL = "http://www.acm.org/pubs/citations/proceedings/fp/351240/p46-pottier/;
http://www.acm.org/pubs/articles/proceedings/fp/351240/p46-pottier/p46-pottier.pdf",
acknowledgement = ack-nhfb,
}
@Article{Weirich:2000:TSC,
author = "Stephanie Weirich",
title = "Type-safe cast: (functional pearl)",
journal = j-SIGPLAN,
volume = "35",
number = "9",
pages = "58--67",
month = sep,
year = "2000",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Tue Nov 7 16:57:22 MST 2000",
bibsource = "http