%%% -*-BibTeX-*- %%% ==================================================================== %%% BibTeX-file{ %%% author = "Nelson H. F. Beebe", %%% version = "2.01", %%% date = "09 July 2008", %%% time = "12:49:40 MDT", %%% filename = "higherordersymbcomput.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 = "03998 3940 13478 180867", %%% email = "beebe at math.utah.edu, beebe at acm.org, %%% beebe at computer.org (Internet)", %%% codetable = "ISO/ASCII", %%% keywords = "bibliography; BibTeX; Higher-Order Symbolic %%% Computation", %%% license = "public domain", %%% supported = "no", %%% docstring = "This is a COMPLETE bibliography of the %%% journal Higher-Order and Symbolic %%% Computation (CODEN LSCOEX, ISSN 1388-3690 %%% (print), 1573-0557 (electronic)), published %%% by Kluwer Academic Publishers until about %%% 2004, when it was acquired by Springer %%% Verlag. %%% %%% Publication began with volume 11, number 1, %%% in August 1998, as the continuation of the %%% older journal Lisp and Symbolic %%% Computation. The latter is covered in a %%% separate companion bibliography, %%% lispsymbcomput.bib. %%% %%% The Springer Web site for the later journal %%% is at %%% %%% http://springerlink.com/link.asp?id=102420 %%% http://springerlink.com/openurl.asp?genre=journal&issn=1388-3690 %%% http://springerlink.com/openurl.asp?genre=journal&eissn=1573-0557 %%% %%% The two journals share an older World-Wide Web %%% site at %%% %%% http://www.wkap.nl/jrnltoc.htm/1388-3690 %%% %%% with tables of contents for volume 11 to %%% date, and pointers to abstracts, keywords, %%% and, for qualified subscribers only, full %%% text of articles in PDF form. URL values %%% in the entries below point to these %%% documents. %%% %%% At version 2.01, the year coverage looked %%% like this: %%% %%% 1993 ( 1) 1999 ( 19) 2005 ( 16) %%% 1994 ( 0) 2000 ( 28) 2006 ( 16) %%% 1995 ( 0) 2001 ( 14) 2007 ( 21) %%% 1996 ( 0) 2002 ( 14) 2008 ( 9) %%% 1997 ( 0) 2003 ( 16) %%% 1998 ( 15) 2004 ( 14) %%% %%% Article: 183 %%% %%% Total entries: 183 %%% %%% At version 2.00, BibTeX entries derived from %%% data at the Springer Web site for all back %%% issues were merged in, resulting in updates %%% and corrections to many entries. %%% %%% In addition, thanks to Springer Verlag's %%% sensible choice of predictable DOIs (Digital %%% Object Identifiers) and article URLs, EVERY %%% article in the journal is now directly %%% reachable from its BibTeX entry. Of course, %%% access to article full text normally requires %%% a journal subscription that may or may not be %%% available at your site. %%% %%% The publishers' table-of-contents Web pages %%% regrettably truncate author lists after the %%% third author, but at least mark the omission %%% with ``et al.''. For every such abbreviated %%% list, the article Web pages have been visited %%% to find the complete and correct author list, %%% so no author in this journal should be %%% unfairly ignored by this bibliography. %%% %%% The initial draft of this bibliography was %%% constructed from the journal Web site, and %%% from the OCLC Contents1st database. There is %%% no coverage of this journal in the MathSciNet %%% database. The collection was then augmented %%% with entries from the author's personal %%% bibliography files, and a small number from %%% the very large computer science bibliography %%% collection at the University of Karlsruhe in %%% http://liinwww.ira.uka.de/bibliography/ and %%% ftp://ftp.ira.uka.de/pub/bibliography to %%% which many people of have contributed. %%% %%% The checksum field above contains a CRC-16 %%% checksum as the first value, followed by the %%% equivalent of the standard UNIX wc (word %%% count) utility output of lines, words, and %%% characters. This is produced by Robert %%% Solovay's checksum utility.", %%% } %%% ==================================================================== %%% ==================================================================== %%% Acknowledgement abbreviations: @String{ack-nhfb = "Nelson H. F. Beebe, 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-HIGHER-ORDER-SYMB-COMPUT = "Higher-Order and Symbolic Computation"} @String{j-LISP-SYMB-COMPUT = "Lisp and Symbolic Computation"} %%% ==================================================================== %%% Bibliography entries in publication order: @Article{Harper:1993:PTA, author = "Robert W. Harper and Mark Lillibridge", title = "Polymorphic Type Assignment and {CPS} Conversion", journal = j-LISP-SYMB-COMPUT, volume = "6", number = "3/4", pages = "361--380", month = nov, year = "1993", CODEN = "LSCOEX", ISSN = "0892-4635", bibdate = "Fri Feb 12 08:11:22 MST 1999", bibsource = "Compendex database; ftp://ftp.ira.uka.de/pub/bibliography/Compiler/reynolds.bib; OCLC Contents1st database.", 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{Kessler:1998:E, author = "Bob Kessler and Carolyn Talcott", title = "Editorial", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "11", number = "1", pages = "5--5", month = aug, year = "1998", CODEN = "LSCOEX", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Thu Feb 11 15:12:29 MST 1999", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=11&issue=1; http://www.wkap.nl/issuetoc.htm/1388-3690+11+1+1998", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=11&issue=1&spage=5; http://www.wkap.nl/oasis.htm/182522", acknowledgement = ack-nhfb, } @Article{Abelson:1998:RRA, author = "H. Abelson and R. K. Dybvig and C. T. Haynes and G. J. Rozas and N. I. Adams IV and D. P. Friedman and E. Kohlbecker and G. L. {Steele Jr.} and D. H. Bartley and R. Halstead and D. Oxley and G. J. Sussman and G. Brooks and C. Hanson and K. M. Pitman and M. Wand", title = "Revised $^5$ Report on the Algorithmic Language {Scheme}", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "11", number = "1", pages = "7--105", month = aug, year = "1998", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010051815785", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:27 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=11&issue=1; http://www.wkap.nl/issuetoc.htm/1388-3690+11+1+1998", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=11&issue=1&spage=7; http://www.wkap.nl/oasis.htm/168705", acknowledgement = ack-nhfb, } @Article{Danvy:1998:I, author = "Olivier Danvy and Carolyn L. Talcott", title = "Introduction", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "11", number = "2", pages = "115--116", month = dec, year = "1998", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010028231554", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:28 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=11&issue=2; http://www.wkap.nl/issuetoc.htm/1388-3690+11+2+1998", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=11&issue=2&spage=115; http://www.wkap.nl/oasis.htm/187565", acknowledgement = ack-nhfb, } @Article{Thielecke:1998:ILG, author = "Hayo Thielecke", title = "An Introduction to {Landin}'s {``A Generalization of Jumps and Labels''}", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "11", number = "2", pages = "117--123", month = dec, year = "1998", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010060315625", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:28 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=11&issue=2; http://www.wkap.nl/issuetoc.htm/1388-3690+11+2+1998; OCLC Contents1st database", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=11&issue=2&spage=117; http://www.wkap.nl/oasis.htm/187566", acknowledgement = ack-nhfb, } @Article{Landin:1998:GJL, author = "Peter J. Landin", title = "A Generalization of Jumps and Labels", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "11", number = "2", pages = "125--143", month = dec, year = "1998", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010068630801", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:28 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=11&issue=2; http://www.wkap.nl/issuetoc.htm/1388-3690+11+2+1998; OCLC Contents1st database", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=11&issue=2&spage=125; http://www.wkap.nl/oasis.htm/188501", acknowledgement = ack-nhfb, } @Article{Kucan:1998:RAC, author = "Jakov Kucan", title = "Retraction Approach to {CPS} Transform", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "11", number = "2", pages = "145--175", month = dec, year = "1998", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010012532463", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:28 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=11&issue=2; http://www.wkap.nl/issuetoc.htm/1388-3690+11+2+1998; OCLC Contents1st database", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=11&issue=2&spage=145; http://www.wkap.nl/oasis.htm/187567", acknowledgement = ack-nhfb, } @Article{Boudol:1998:CDS, author = "G{\'e}rard Boudol", title = "The $p$-Calculus in Direct Style", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "11", number = "2", pages = "177--208", month = dec, year = "1998", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010064516533", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:28 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=11&issue=2; http://www.wkap.nl/issuetoc.htm/1388-3690+11+2+1998; OCLC Contents1st database", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=11&issue=2&spage=177; http://www.wkap.nl/oasis.htm/187568", acknowledgement = ack-nhfb, } @Article{Biagioni:1998:SST, author = "Edoardo Biagioni and Ken Cline and Peter Lee and Chris Okasaki and Chris Stone", title = "Safe-for-Space Threads in {Standard ML}", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "11", number = "2", pages = "209--225", month = dec, year = "1998", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010016600604", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:28 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=11&issue=2; http://www.wkap.nl/issuetoc.htm/1388-3690+11+2+1998; OCLC Contents1st database", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=11&issue=2&spage=209; http://www.wkap.nl/oasis.htm/187569", acknowledgement = ack-nhfb, } @Article{Moreau:1998:STD, author = "Luc Moreau", title = "A Syntactic Theory of Dynamic Binding", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "11", number = "3", pages = "233--279", month = sep, year = "1998", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010087314987", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:28 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=11&issue=3; http://www.wkap.nl/issuetoc.htm/1388-3690+11+3+1998; OCLC Contents1st database", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=11&issue=3&spage=233; http://www.wkap.nl/oasis.htm/188358", acknowledgement = ack-nhfb, } @Article{Talcott:1998:CSM, author = "Carolyn L. Talcott", title = "Composable Semantic Models for Actor Theories", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "11", number = "3", pages = "281--343", month = sep, year = "1998", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010042915896", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:28 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=11&issue=3; http://www.wkap.nl/issuetoc.htm/1388-3690+11+3+1998; OCLC Contents1st database", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=11&issue=3&spage=281; http://www.wkap.nl/oasis.htm/188360", acknowledgement = ack-nhfb, } @Article{Danvy:1998:E, author = "Olivier Danvy and Carolyn Talcott", title = "Editorial", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "11", number = "4", pages = "353--354", month = dec, year = "1998", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010047103315", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:28 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=11&issue=4; http://www.wkap.nl/issuetoc.htm/1388-3690+11+4+1998", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=11&issue=4&spage=353; http://www.wkap.nl/oasis.htm/193814", acknowledgement = ack-nhfb, } @Article{Reynolds:1998:DIR, author = "John C. Reynolds", title = "Definitional Interpreters Revisited", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "11", number = "4", pages = "355--361", month = dec, year = "1998", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010075320153", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:28 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=11&issue=4; http://www.wkap.nl/issuetoc.htm/1388-3690+11+4+1998; OCLC Contents1st database", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=11&issue=4&spage=355; http://www.wkap.nl/oasis.htm/193815", acknowledgement = ack-nhfb, } @Article{Reynolds:1998:DIH, author = "John C. Reynolds", title = "Definitional Interpreters for Higher-Order Programming Languages", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "11", number = "4", pages = "363--397", month = dec, year = "1998", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010027404223", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:28 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=11&issue=4; http://www.wkap.nl/issuetoc.htm/1388-3690+11+4+1998; OCLC Contents1st database", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=11&issue=4&spage=363; http://www.wkap.nl/oasis.htm/193816", acknowledgement = ack-nhfb, } @Article{Sussman:1998:FRS, author = "Gerald Jay Sussman and Guy L. {Steele Jr.}", title = "The First Report on {Scheme} Revisited", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "11", number = "4", pages = "399--404", month = dec, year = "1998", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010079421970", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:28 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=11&issue=4; http://www.wkap.nl/issuetoc.htm/1388-3690+11+4+1998; OCLC Contents1st database", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=11&issue=4&spage=399; http://www.wkap.nl/oasis.htm/193819", acknowledgement = ack-nhfb, } @Article{Sussman:1998:SIE, author = "Gerald Jay Sussman and Guy L. {Steele Jr.}", title = "{Scheme}: {An} Interpreter for Extended Lambda Calculus", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "11", number = "4", pages = "405--439", month = dec, year = "1998", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010035624696", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:28 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=11&issue=4; http://www.wkap.nl/issuetoc.htm/1388-3690+11+4+1998; OCLC Contents1st database", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=11&issue=4&spage=405; http://www.wkap.nl/oasis.htm/193825", acknowledgement = ack-nhfb, } @Article{Danvy:1999:Ea, author = "Olivier Danvy and Carolyn Talcott", title = "Editorial", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "12", number = "1", pages = "5--5", month = apr, year = "1999", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010023032358", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:29 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=12&issue=1; http://www.wkap.nl/issuetoc.htm/1388-3690+12+1+1999", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=12&issue=1&spage=5; http://www.wkap.nl/oasis.htm/202966", acknowledgement = ack-nhfb, } @Article{Clinger:1999:ISF, author = "William D. Clinger and Anne H. Hartheimer and Eric M. Ost", title = "Implementation Strategies for First-Class Continuations", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "12", number = "1", pages = "7--45", month = apr, year = "1999", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010016816429", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:29 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=12&issue=1; http://www.wkap.nl/issuetoc.htm/1388-3690+12+1+1999", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=12&issue=1&spage=7; http://www.wkap.nl/oasis.htm/202967", acknowledgement = ack-nhfb, } @Article{Thielecke:1999:UCT, author = "Hayo Thielecke", title = "Using a Continuation Twice and Its Implications for the Expressive Power of {\tt call\slash cc}", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "12", number = "1", pages = "47--73", month = apr, year = "1999", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010068800499", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:29 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=12&issue=1; http://www.wkap.nl/issuetoc.htm/1388-3690+12+1+1999", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=12&issue=1&spage=47; http://www.wkap.nl/oasis.htm/202968", acknowledgement = ack-nhfb, } @Article{Lillibridge:1999:UEC, author = "Mark Lillibridge", title = "Unchecked Exceptions Can Be Strictly More Powerful Than {\tt Call\slash CC}", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "12", number = "1", pages = "75--104", month = apr, year = "1999", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010020917337", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:29 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=12&issue=1; http://www.wkap.nl/issuetoc.htm/1388-3690+12+1+1999", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=12&issue=1&spage=75; http://www.wkap.nl/oasis.htm/202969", acknowledgement = ack-nhfb, } @Article{Sandewall:1999:EUC, author = "Erik Sandewall", title = "An Early Use of Continuations and Partial Evaluation for Compiling Rules Written in First-Order Predicate Calculus", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "12", number = "1", pages = "105--113", month = apr, year = "1999", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010072901408", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:29 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=12&issue=1; http://www.wkap.nl/issuetoc.htm/1388-3690+12+1+1999", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=12&issue=1&spage=105; http://www.wkap.nl/oasis.htm/202970", acknowledgement = ack-nhfb, } @Article{Danvy:1999:I, author = "Olivier Danvy and Carolyn Talcott", title = "Introduction", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "12", number = "2", pages = "123--124", month = sep, year = "1999", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010089522078", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:29 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=12&issue=2; http://www.wkap.nl/issuetoc.htm/1388-3690+12+2+1999", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=12&issue=2&spage=123; http://www.wkap.nl/oasis.htm/234968", acknowledgement = ack-nhfb, } @Article{Barthe:1999:CTA, author = "Gilles Barthe and John Hatcliff and Morten Heine B. S{\o}rensen", title = "{CPS} Translations and Applications: The Cube and Beyond", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "12", number = "2", pages = "125--170", month = sep, year = "1999", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010000206149", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:29 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=12&issue=2; http://www.wkap.nl/issuetoc.htm/1388-3690+12+2+1999", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=12&issue=2&spage=125; http://www.wkap.nl/oasis.htm/234969", acknowledgement = ack-nhfb, } @Article{Mason:1999:CC, author = "Ian A. Mason", title = "Computing with Contexts", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "12", number = "2", pages = "171--201", month = sep, year = "1999", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010052222987", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:29 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=12&issue=2; http://www.wkap.nl/issuetoc.htm/1388-3690+12+2+1999", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=12&issue=2&spage=171; http://www.wkap.nl/oasis.htm/234970", acknowledgement = ack-nhfb, } @Article{Lee:1999:PEE, author = "C. S. Lee", title = "Partial Evaluation of the {Euclidean} Algorithm, Revisited", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "12", number = "2", pages = "203--212", month = sep, year = "1999", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010004307057", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:29 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=12&issue=2; http://www.wkap.nl/issuetoc.htm/1388-3690+12+2+1999", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=12&issue=2&spage=203; http://www.wkap.nl/oasis.htm/234971", acknowledgement = ack-nhfb, } @Article{Danvy:1999:Eb, author = "Olivier Danvy and Carolyn Talcott", title = "Editorial", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "12", number = "3", pages = "219--219", month = oct, year = "1999", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010025114115", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:29 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=12&issue=3; http://www.wkap.nl/issuetoc.htm/v12-n3", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=12&issue=3&spage=219; http://www.wkap.nl/oasis.htm/237511", acknowledgement = ack-nhfb, } @Article{Steele:1999:GL, author = "Guy L. {Steele Jr.}", title = "Growing a Language", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "12", number = "3", pages = "221--236", month = oct, year = "1999", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010085415024", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:29 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=12&issue=3; http://www.wkap.nl/issuetoc.htm/v12-n3", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=12&issue=3&spage=221; http://www.wkap.nl/oasis.htm/237513", acknowledgement = ack-nhfb, } @Article{Aiken:1999:ORP, author = "Alexander Aiken and Edward L. Wimmers and Jens Palsberg", title = "Optimal Representations of Polymorphic Types with Subtyping", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "12", number = "3", pages = "237--282", month = oct, year = "1999", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010056315933", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:29 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=12&issue=3; http://www.wkap.nl/issuetoc.htm/v12-n3", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=12&issue=3&spage=237; http://www.wkap.nl/oasis.htm/237515", acknowledgement = ack-nhfb, } @Article{Wand:1999:CBMa, author = "Mitchell Wand", title = "Continuation-Based Multiprocessing Revisited", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "12", number = "3", pages = "283--283", month = oct, year = "1999", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010049917750", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:29 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=12&issue=3; http://www.wkap.nl/issuetoc.htm/v12-n3", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=12&issue=3&spage=283; http://www.wkap.nl/oasis.htm/237519", acknowledgement = ack-nhfb, } @Article{Wand:1999:CBMb, author = "Mitchell Wand", title = "Continuation-Based Multiprocessing", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "12", number = "3", pages = "285--299", month = oct, year = "1999", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010093700911", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:29 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=12&issue=3; http://www.wkap.nl/issuetoc.htm/v12-n3", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=12&issue=3&spage=285; http://www.wkap.nl/oasis.htm/237518", acknowledgement = ack-nhfb, } @Article{Danvy:1999:Ec, author = "Olivier Danvy and Carolyn Talcott", title = "Editorial", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "12", number = "4", pages = "307--308", month = dec, year = "1999", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010002000861", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:30 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=12&issue=4; http://www.wkap.nl/issuetoc.htm/v12-n4", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=12&issue=4&spage=307; http://www.wkap.nl/oasis.htm/247760", acknowledgement = ack-nhfb, } @Article{Chirokoff:1999:CPD, author = "Sandrine Chirokoff and Charles Consel and Renaud Marlet", title = "Combining Program and Data Specialization", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "12", number = "4", pages = "309--335", month = dec, year = "1999", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010035401770", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:30 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=12&issue=4; http://www.wkap.nl/issuetoc.htm/v12-n4", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=12&issue=4&spage=309; http://www.wkap.nl/oasis.htm/247762", acknowledgement = ack-nhfb, } @Article{Hornof:1999:CCR, author = "Luke Hornof and Trevor Jim", title = "Certifying Compilation and Run-Time Code Generation", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "12", number = "4", pages = "337--375", month = dec, year = "1999", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010039502678", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:30 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=12&issue=4; http://www.wkap.nl/issuetoc.htm/v12-n4", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=12&issue=4&spage=337; http://www.wkap.nl/oasis.htm/247764", acknowledgement = ack-nhfb, } @Article{Futamura:1999:PECa, author = "Yoshihiko Futamura", title = "Partial Evaluation of Computation Process, Revisited", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "12", number = "4", pages = "377--380", month = dec, year = "1999", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010043619517", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:30 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=12&issue=4; http://www.wkap.nl/issuetoc.htm/v12-n4", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=12&issue=4&spage=377; http://www.wkap.nl/oasis.htm/247765", acknowledgement = ack-nhfb, } @Article{Futamura:1999:PECb, author = "Yoshihiko Futamura", title = "Partial Evaluation of Computation Process --- An Approach to a Compiler-Compiler", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "12", number = "4", pages = "381--391", month = dec, year = "1999", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010095604496", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:30 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=12&issue=4; http://www.wkap.nl/issuetoc.htm/v12-n4", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=12&issue=4&spage=381; http://www.wkap.nl/oasis.htm/247768", acknowledgement = ack-nhfb, } @Article{Danvy:2000:Ea, author = "Olivier Danvy and Carolyn Talcott", title = "Editorial", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "13", number = "1--2", pages = "5--6", month = apr, year = "2000", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010022412197", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:30 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=13&issue=1; http://www.wkap.nl/issuetoc.htm/v13-n1-2", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=13&issue=1&spage=5; http://www.wkap.nl/oasis.htm/257991", acknowledgement = ack-nhfb, } @Article{Mosses:2000:FFC, author = "Peter D. Mosses", title = "A Foreword to {``Fundamental Concepts in Programming Languages''}", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "13", number = "1--2", pages = "7--9", month = apr, year = "2000", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010048229036", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:30 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=13&issue=1; http://www.wkap.nl/issuetoc.htm/v13-n1-2", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=13&issue=1&spage=7; http://www.wkap.nl/oasis.htm/257992", acknowledgement = ack-nhfb, } @Article{Strachey:2000:FCP, author = "Christopher Strachey", title = "Fundamental Concepts in Programming Languages", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "13", number = "1--2", pages = "11--49", month = apr, year = "2000", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010000313106", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:30 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=13&issue=1; http://www.wkap.nl/issuetoc.htm/v13-n1-2", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=13&issue=1&spage=11; http://www.wkap.nl/oasis.htm/257993", acknowledgement = ack-nhfb, } @Article{Burstall:2000:CSU, author = "Rod Burstall", title = "{Christopher Strachey} --- Understanding Programming Languages", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "13", number = "1--2", pages = "51--55", month = apr, year = "2000", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010052305354", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:30 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=13&issue=1; http://www.wkap.nl/issuetoc.htm/v13-n1-2", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=13&issue=1&spage=51; http://www.wkap.nl/oasis.htm/258012", acknowledgement = ack-nhfb, } @Article{Dybvig:2000:MSA, author = "R. Kent Dybvig", title = "From Macrogeneration to Syntactic Abstraction", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "13", number = "1--2", pages = "57--63", month = apr, year = "2000", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010041423101", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:30 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=13&issue=1; http://www.wkap.nl/issuetoc.htm/v13-n1-2", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=13&issue=1&spage=57; http://www.wkap.nl/oasis.htm/258015", acknowledgement = ack-nhfb, } @Article{Gordon:2000:CSR, author = "Mike Gordon", title = "{Christopher Strachey}: Recollections of His Influence", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "13", number = "1--2", pages = "65--67", month = apr, year = "2000", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010097524009", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:30 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=13&issue=1; http://www.wkap.nl/issuetoc.htm/v13-n1-2", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=13&issue=1&spage=65; http://www.wkap.nl/oasis.htm/258017", acknowledgement = ack-nhfb, } @Article{Hartley:2000:CC, author = "David Hartley", title = "{Cambridge} and {CPL} in the 1960s", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "13", number = "1--2", pages = "69--70", month = apr, year = "2000", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010001708080", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:30 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=13&issue=1; http://www.wkap.nl/issuetoc.htm/v13-n1-2", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=13&issue=1&spage=69; http://www.wkap.nl/oasis.htm/258018", acknowledgement = ack-nhfb, } @Article{Hoare:2000:HAF, author = "C. A. R. Hoare", title = "A Hard Act to Follow", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "13", number = "1--2", pages = "71--72", month = apr, year = "2000", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010053724918", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:30 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=13&issue=1; http://www.wkap.nl/issuetoc.htm/v13-n1-2", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=13&issue=1&spage=71; http://www.wkap.nl/oasis.htm/258019", acknowledgement = ack-nhfb, } @Article{Jackson:2000:CSP, author = "Michael Jackson", title = "{Christopher Strachey}: {A} Personal Recollection", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "13", number = "1--2", pages = "73--74", month = apr, year = "2000", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010005808988", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:30 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=13&issue=1; http://www.wkap.nl/issuetoc.htm/v13-n1-2", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=13&issue=1&spage=73; http://www.wkap.nl/oasis.htm/258020", acknowledgement = ack-nhfb, } @Article{Landin:2000:MYS, author = "Peter J. Landin", title = "My Years with {Strachey}", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "13", number = "1--2", pages = "75--76", month = apr, year = "2000", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010057925827", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:30 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=13&issue=1; http://www.wkap.nl/issuetoc.htm/v13-n1-2", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=13&issue=1&spage=75; http://www.wkap.nl/oasis.htm/258021", acknowledgement = ack-nhfb, } @Article{Milne:2000:LCI, author = "Robert Milne", title = "From Language Concepts to Implementation Concepts", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "13", number = "1--2", pages = "77--81", month = apr, year = "2000", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010010009897", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:30 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=13&issue=1; http://www.wkap.nl/issuetoc.htm/v13-n1-2", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=13&issue=1&spage=77; http://www.wkap.nl/oasis.htm/258022", acknowledgement = ack-nhfb, } @Article{Penrose:2000:RCS, author = "Roger Penrose", title = "Reminiscences of {Christopher Strachey}", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "13", number = "1--2", pages = "83--84", month = apr, year = "2000", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010062026735", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:30 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=13&issue=1; http://www.wkap.nl/issuetoc.htm/v13-n1-2", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=13&issue=1&spage=83; http://www.wkap.nl/oasis.htm/258023", acknowledgement = ack-nhfb, } @Article{Richards:2000:CSC, author = "Martin Richards", title = "{Christopher Strachey} and the {Cambridge CPL} Compiler", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "13", number = "1--2", pages = "85--88", month = apr, year = "2000", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010014110806", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:30 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=13&issue=1; http://www.wkap.nl/issuetoc.htm/v13-n1-2", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=13&issue=1&spage=85; http://www.wkap.nl/oasis.htm/258024", acknowledgement = ack-nhfb, } @Article{Schmidt:2000:IDC, author = "David A. Schmidt", title = "Induction, Domains, Calculi: {Strachey}'s Contributions to Programming-Language Engineering", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "13", number = "1--2", pages = "89--101", month = apr, year = "2000", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010066127644", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:30 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=13&issue=1; http://www.wkap.nl/issuetoc.htm/v13-n1-2", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=13&issue=1&spage=89; http://www.wkap.nl/oasis.htm/258025", acknowledgement = ack-nhfb, } @Article{Scott:2000:SRS, author = "Dana Scott", title = "Some Reflections on {Strachey} and His Work", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "13", number = "1--2", pages = "103--114", month = apr, year = "2000", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010018211714", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:30 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=13&issue=1; http://www.wkap.nl/issuetoc.htm/v13-n1-2", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=13&issue=1&spage=103; http://www.wkap.nl/oasis.htm/258026", acknowledgement = ack-nhfb, } @Article{Stoy:2000:CSF, author = "Joe Stoy", title = "{Christopher Strachey} and Fundamental Concepts", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "13", number = "1--2", pages = "115--117", month = apr, year = "2000", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010070228552", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:30 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=13&issue=1; http://www.wkap.nl/issuetoc.htm/v13-n1-2", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=13&issue=1&spage=115; http://www.wkap.nl/oasis.htm/258027", acknowledgement = ack-nhfb, } @Article{Tennent:2000:AMS, author = "Robert D. Tennent and Dan R. Ghica", title = "Abstract Models of Storage", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "13", number = "1--2", pages = "119--129", month = apr, year = "2000", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010022312623", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:30 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=13&issue=1; http://www.wkap.nl/issuetoc.htm/v13-n1-2", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=13&issue=1&spage=119; http://www.wkap.nl/oasis.htm/258028", acknowledgement = ack-nhfb, } @Article{Wadsworth:2000:CR, author = "Christopher P. Wadsworth", title = "Continuations Revisited", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "13", number = "1--2", pages = "131--133", month = apr, year = "2000", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010074329461", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:30 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=13&issue=1; http://www.wkap.nl/issuetoc.htm/v13-n1-2", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=13&issue=1&spage=131; http://www.wkap.nl/oasis.htm/258029", acknowledgement = ack-nhfb, } @Article{Strachey:2000:CMS, author = "Christopher Strachey and Christopher P. Wadsworth", title = "Continuations: {A} Mathematical Semantics for Handling Full Jumps", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "13", number = "1--2", pages = "135--152", month = apr, year = "2000", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010026413531", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:30 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=13&issue=1; http://www.wkap.nl/issuetoc.htm/v13-n1-2", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=13&issue=1&spage=135; http://www.wkap.nl/oasis.htm/258030", acknowledgement = ack-nhfb, } @Article{Danvy:2000:Eb, author = "Olivier Danvy and Carolyn Talcott", title = "Editorial", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "13", number = "3", pages = "159--160", month = sep, year = "2000", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010014500357", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:31 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=13&issue=3; http://www.wkap.nl/issuetoc.htm/v13-n3", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=13&issue=3&spage=159; http://www.wkap.nl/oasis.htm/272138", acknowledgement = ack-nhfb, } @Article{Thibault:2000:SDP, author = "Scott Thibault and Charles Consel and Julia L. Lawall and Renaud Marlet and Gilles Muller", title = "Static and Dynamic Program Compilation by Interpreter Specialization", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "13", number = "3", pages = "161--178", month = sep, year = "2000", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010078412711", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:31 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=13&issue=3; http://www.wkap.nl/issuetoc.htm/v13-n3", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=13&issue=3&spage=161; http://www.wkap.nl/oasis.htm/272057", acknowledgement = ack-nhfb, } @Article{Hannan:2000:HOU, author = "John Hannan and Patrick Hicks", title = "Higher-Order {UnCurrying}", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "13", number = "3", pages = "179--216", month = sep, year = "2000", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010006229549", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:31 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=13&issue=3; http://www.wkap.nl/issuetoc.htm/v13-n3", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=13&issue=3&spage=179; http://www.wkap.nl/oasis.htm/272058", acknowledgement = ack-nhfb, } @Article{Mogensen:2000:LTS, author = "Torben {\AE}. Mogensen", title = "Linear-Time Self-Interpretation of the Pure Lambda Calculus", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "13", number = "3", pages = "217--237", month = sep, year = "2000", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010058213619", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:31 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=13&issue=3; http://www.wkap.nl/issuetoc.htm/v13-n3", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=13&issue=3&spage=217; http://www.wkap.nl/oasis.htm/272059", acknowledgement = ack-nhfb, } @Article{Nishizaki:2000:PEC, author = "Shin-Ya Nishizaki", title = "A Polymorphic Environment Calculus and its Type-Inference Algorithm", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "13", number = "3", pages = "239--278", month = sep, year = "2000", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010010314528", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:31 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=13&issue=3; http://www.wkap.nl/issuetoc.htm/v13-n3", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=13&issue=3&spage=239; http://www.wkap.nl/oasis.htm/272061", acknowledgement = ack-nhfb, } @Article{Danvy:2000:Ec, author = "Olivier Danvy and Carolyn Talcott", title = "Editorial", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "13", number = "4", pages = "287--288", month = dec, year = "2000", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1026586714900", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:31 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=13&issue=4; http://www.wkap.nl/issuetoc.htm/1388-3690+13+4+2000", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=13&issue=4&spage=287; http://www.wkap.nl/oasis.htm/278950", acknowledgement = ack-nhfb, } @Article{Liu:2000:EII, author = "Yanhong A. Liu", title = "Efficiency by Incrementalization: An Introduction", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "13", number = "4", pages = "289--313", month = dec, year = "2000", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1026547031739", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:31 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=13&issue=4; http://www.wkap.nl/issuetoc.htm/1388-3690+13+4+2000", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=13&issue=4&spage=289; http://www.wkap.nl/oasis.htm/278951", acknowledgement = ack-nhfb, } @Article{Hatcliff:2000:SSM, author = "John Hatcliff and Matthew B. Dwyer and Hongjun Zheng", title = "Slicing Software for Model Construction", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "13", number = "4", pages = "315--353", month = dec, year = "2000", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1026599015809", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:31 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=13&issue=4; http://www.wkap.nl/issuetoc.htm/1388-3690+13+4+2000", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=13&issue=4&spage=315; http://www.wkap.nl/oasis.htm/278952", acknowledgement = ack-nhfb, } @Article{Mogensen:2000:GPE, author = "Torben {\AE}. Mogensen", title = "Glossary for Partial Evaluation and Related Topics", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "13", number = "4", pages = "355--368", month = dec, year = "2000", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1026551132647", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:31 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=13&issue=4; http://www.wkap.nl/issuetoc.htm/1388-3690+13+4+2000", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=13&issue=4&spage=355; http://www.wkap.nl/oasis.htm/278953", acknowledgement = ack-nhfb, } @Article{Danvy:2001:Ea, author = "Olivier Danvy and Carolyn Talcott", title = "Editorial", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "14", number = "1", pages = "5--5", month = mar, year = "2001", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1011513031288", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:32 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=14&issue=1; http://www.wkap.nl/issuetoc.htm/1388-3690+14+1+2001", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=14&issue=1&spage=5; http://www.wkap.nl/oasis.htm/323056", acknowledgement = ack-nhfb, } @Article{Douence:2001:GRT, author = "R{\'e}mi Douence and Mario S{\"u}dholt", title = "A Generic Reification Technique for Object-Oriented Reflective Languages", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "14", number = "1", pages = "7--34", month = mar, year = "2001", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1011549115358", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:32 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=14&issue=1; http://www.wkap.nl/issuetoc.htm/1388-3690+14+1+2001", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=14&issue=1&spage=7; http://www.wkap.nl/oasis.htm/323057", acknowledgement = ack-nhfb, } @Article{Karczmarczuk:2001:FDC, author = "Jerzy Karczmarczuk", title = "Functional Differentiation of Computer Programs", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "14", number = "1", pages = "35--57", month = mar, year = "2001", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1011501232197", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:32 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=14&issue=1; http://www.wkap.nl/issuetoc.htm/1388-3690+14+1+2001", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=14&issue=1&spage=35; http://www.wkap.nl/oasis.htm/323058", acknowledgement = ack-nhfb, } @Article{Sabelfeld:2001:PMS, author = "Andrei Sabelfeld and David Sands", title = "A Per Model of Secure Information Flow in Sequential Programs", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "14", number = "1", pages = "59--91", month = mar, year = "2001", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1011553200337", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:32 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=14&issue=1; http://www.wkap.nl/issuetoc.htm/1388-3690+14+1+2001", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=14&issue=1&spage=59; http://www.wkap.nl/oasis.htm/323060", acknowledgement = ack-nhfb, } @Article{Danvy:2001:Eb, author = "Olivier Danvy and Julia L. Lawall", title = "Editorial", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "14", number = "2--3", pages = "99--100", month = sep, year = "2001", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1012905312544", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:32 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=14&issue=2", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=14&issue=2&spage=99; http://www.wkap.nl/oasis.htm/323060", acknowledgement = ack-nhfb, } @Article{Sumii:2001:HAO, author = "Eijiro Sumii and Naoki Kobayashi", title = "A Hybrid Approach to Online and Offline Partial Evaluation", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "14", number = "2--3", pages = "101--142", month = sep, year = "2001", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1012984529382", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:32 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=14&issue=2", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=14&issue=2&spage=101; http://www.wkap.nl/oasis.htm/323060", acknowledgement = ack-nhfb, } @Article{Gallagher:2001:RTL, author = "John P. Gallagher and Julio C. Peralta", title = "Regular Tree Languages as an Abstract Domain in Program Specialisation", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "14", number = "2--3", pages = "143--172", month = sep, year = "2001", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1012936614361", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:32 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=14&issue=2", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=14&issue=2&spage=143; http://www.wkap.nl/oasis.htm/323060", acknowledgement = ack-nhfb, } @Article{Grobauer:2001:SFP, author = "Bernd Grobauer and Zhe Yang", title = "The Second {Futamura} Projection for Type-Directed Partial Evaluation", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "14", number = "2--3", pages = "173--219", month = sep, year = "2001", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1012992731199", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:32 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=14&issue=2", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=14&issue=2&spage=173; http://www.wkap.nl/oasis.htm/323060", acknowledgement = ack-nhfb, } @Article{Kobayashi:2001:TBU, author = "Naoki Kobayashi", title = "Type-Based Useless-Variable Elimination", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "14", number = "2--3", pages = "221--260", month = sep, year = "2001", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1012944815270", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:32 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=14&issue=2", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=14&issue=2&spage=221; http://www.wkap.nl/oasis.htm/323060", acknowledgement = ack-nhfb, } @Article{Chin:2001:CST, author = "Wei-Ngan Chin and Siau-Cheng Khoo", title = "Calculating Sized Types", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "14", number = "2--3", pages = "261--300", month = sep, year = "2001", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1012996816178", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:32 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=14&issue=2", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=14&issue=2&spage=261; http://www.wkap.nl/oasis.htm/323060", acknowledgement = ack-nhfb, } @Article{Danvy:2001:Ec, author = "Olivier Danvy and Takayasu Ito and Carolyn Talcott", title = "Editorial", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "14", number = "4", pages = "307--307", month = dec, year = "2001", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1014426530629", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:33 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=14&issue=4; http://www.wkap.nl/jrnltoc.htm/1388-3690", URL = "http://ipsapp007.lwwonline.com/content/getfile/4979/18/1/abstract.htm; http://ipsapp007.lwwonline.com/content/getfile/4979/18/1/fulltext.pdf; http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=14&issue=4&spage=307", acknowledgement = ack-nhfb, } @Article{Biagioni:2001:NPS, author = "Edoardo Biagioni and Robert Harper and Peter Lee", title = "A Network Protocol Stack in {Standard ML}", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "14", number = "4", pages = "309--356", month = dec, year = "2001", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1014403914699", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:33 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=14&issue=4; http://www.wkap.nl/jrnltoc.htm/1388-3690", URL = "http://ipsapp007.lwwonline.com/content/getfile/4979/18/2/abstract.htm; http://ipsapp007.lwwonline.com/content/getfile/4979/18/2/fulltext.pdf; http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=14&issue=4&spage=309", acknowledgement = ack-nhfb, } @Article{Moreau:2001:TRD, author = "Luc Moreau", title = "Tree Rerooting in Distributed Garbage Collection: Implementation and Performance Evaluation", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "14", number = "4", pages = "357--386", month = dec, year = "2001", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1014455931537", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:33 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=14&issue=4; http://www.wkap.nl/jrnltoc.htm/1388-3690", URL = "http://ipsapp007.lwwonline.com/content/getfile/4979/18/3/abstract.htm; http://ipsapp007.lwwonline.com/content/getfile/4979/18/3/fulltext.pdf; http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=14&issue=4&spage=357", acknowledgement = ack-nhfb, } @Article{Xiao:2001:STI, author = "Yong Xiao and Amr Sabry and Zena M. Ariola", title = "From Syntactic Theories to Interpreters: Automating the Proof of Unique Decomposition", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "14", number = "4", pages = "387--409", month = dec, year = "2001", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1014408032446", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:33 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=14&issue=4; http://www.wkap.nl/jrnltoc.htm/1388-3690", URL = "http://ipsapp007.lwwonline.com/content/getfile/4979/18/4/abstract.htm; http://ipsapp007.lwwonline.com/content/getfile/4979/18/4/fulltext.pdf; http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=14&issue=4&spage=387", acknowledgement = ack-nhfb, } @Article{Danvy:2002:Ea, author = "Olivier Danvy and Takayasu Ito and Carolyn Talcott", title = "Editorial", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "15", number = "1", pages = "5--5", month = mar, year = "2002", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1019966413716", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:33 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=15&issue=1; http://www.wkap.nl/jrnltoc.htm/1388-3690", URL = "http://ipsapp008.kluweronline.com/content/getfile/4979/19/1/abstract.htm; http://ipsapp008.kluweronline.com/content/getfile/4979/19/1/fulltext.pdf; http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=15&issue=1&spage=5", acknowledgement = ack-nhfb, } @Article{Tozawa:2002:FAC, author = "Akihiko Tozawa and Masami Hagiya", title = "Formalization and Analysis of Class Loading in {Java}", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "15", number = "1", pages = "7--55", month = mar, year = "2002", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1019912130555", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:33 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=15&issue=1; http://www.wkap.nl/jrnltoc.htm/1388-3690", URL = "http://ipsapp008.kluweronline.com/content/getfile/4979/19/2/abstract.htm; http://ipsapp008.kluweronline.com/content/getfile/4979/19/2/fulltext.pdf; http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=15&issue=1&spage=7", acknowledgement = ack-nhfb, } @Article{Coquand:2002:FPS, author = "Catarina Coquand", title = "A Formalised Proof of the Soundness and Completeness of a Simply Typed Lambda-Calculus with Explicit Substitutions", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "15", number = "1", pages = "57--90", month = mar, year = "2002", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1019964114625", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:33 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=15&issue=1; http://www.wkap.nl/jrnltoc.htm/1388-3690", URL = "http://ipsapp008.kluweronline.com/content/getfile/4979/19/3/abstract.htm; http://ipsapp008.kluweronline.com/content/getfile/4979/19/3/fulltext.pdf; http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=15&issue=1&spage=57", acknowledgement = ack-nhfb, } @Article{Xi:2002:DTP, author = "Hongwei Xi", title = "Dependent Types for Program Termination Verification", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "15", number = "1", pages = "91--131", month = mar, year = "2002", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1019916231463", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:33 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=15&issue=1; http://www.wkap.nl/jrnltoc.htm/1388-3690", URL = "http://ipsapp008.kluweronline.com/content/getfile/4979/19/4/abstract.htm; http://ipsapp008.kluweronline.com/content/getfile/4979/19/4/fulltext.pdf; http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=15&issue=1&spage=91", acknowledgement = ack-nhfb, } @Article{Danvy:2002:Eb, author = "Olivier Danvy and Amr Sabry", title = "Editorial", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "15", number = "2--3", pages = "139--140", month = sep, year = "2002", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1020834727430", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:34 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=15&issue=2; http://www.wkap.nl/jrnltoc.htm/1388-3690", URL = "http://ipsapp008.kluweronline.com/content/getfile/4979/20/1/abstract.htm; http://ipsapp008.kluweronline.com/content/getfile/4979/20/1/fulltext.pdf; http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=15&issue=2&spage=139", acknowledgement = ack-nhfb, } @Article{Thielecke:2002:CCC, author = "Hayo Thielecke", title = "Comparing Control Constructs by Double-Barrelled {CPS}", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "15", number = "2--3", pages = "141--160", month = sep, year = "2002", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1020887011500", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:34 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=15&issue=2; http://www.wkap.nl/jrnltoc.htm/1388-3690", URL = "http://ipsapp008.kluweronline.com/content/getfile/4979/20/2/abstract.htm; http://ipsapp008.kluweronline.com/content/getfile/4979/20/2/fulltext.pdf; http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=15&issue=2&spage=141", acknowledgement = ack-nhfb, } @Article{Reppy:2002:ONL, author = "John Reppy", title = "Optimizing Nested Loops Using Local {CPS} Conversion", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "15", number = "2--3", pages = "161--180", month = sep, year = "2002", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1020839128338", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:34 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=15&issue=2; http://www.wkap.nl/jrnltoc.htm/1388-3690", URL = "http://ipsapp008.kluweronline.com/content/getfile/4979/20/3/abstract.htm; http://ipsapp008.kluweronline.com/content/getfile/4979/20/3/fulltext.pdf; http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=15&issue=2&spage=161", acknowledgement = ack-nhfb, } @Article{Berdine:2002:LCP, author = "Josh Berdine and Peter O'Hearn and Uday Reddy and Hayo Thielecke", title = "Linear Continuation-Passing", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "15", number = "2--3", pages = "181--208", month = sep, year = "2002", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1020891112409", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:34 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=15&issue=2; http://www.wkap.nl/jrnltoc.htm/1388-3690", URL = "http://ipsapp008.kluweronline.com/content/getfile/4979/20/4/abstract.htm; http://ipsapp008.kluweronline.com/content/getfile/4979/20/4/fulltext.pdf; http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=15&issue=2&spage=181", acknowledgement = ack-nhfb, } @Article{Zdancewic:2002:SIF, author = "Steve Zdancewic and Andrew C. Myers", title = "Secure Information Flow via Linear Continuations", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "15", number = "2--3", pages = "209--234", month = sep, year = "2002", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1020843229247", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:34 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=15&issue=2; http://www.wkap.nl/jrnltoc.htm/1388-3690", URL = "http://ipsapp008.kluweronline.com/content/getfile/4979/20/5/abstract.htm; http://ipsapp008.kluweronline.com/content/getfile/4979/20/5/fulltext.pdf; http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=15&issue=2&spage=209", acknowledgement = ack-nhfb, } @Article{Hasegawa:2002:ARC, author = "Masahito Hasegawa and Yoshihiko Kakutani", title = "Axioms for Recursion in Call-by-Value", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "15", number = "2--3", pages = "235--264", month = sep, year = "2002", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1020895213317", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:34 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=15&issue=2; http://www.wkap.nl/jrnltoc.htm/1388-3690", URL = "http://ipsapp008.kluweronline.com/content/getfile/4979/20/6/abstract.htm; http://ipsapp008.kluweronline.com/content/getfile/4979/20/6/fulltext.pdf; http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=15&issue=2&spage=235", acknowledgement = ack-nhfb, } @Article{Danvy:2002:Ec, author = "Olivier Danvy and Carolyn Talcott", title = "Editorial", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "15", number = "4", pages = "271--271", month = dec, year = "2002", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1022974204050", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:34 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=15&issue=4; http://www.wkap.nl/jrnltoc.htm/1388-3690", URL = "http://ipsapp008.kluweronline.com/content/getfile/4979/21/1/abstract.htm; http://ipsapp008.kluweronline.com/content/getfile/4979/21/1/fulltext.pdf; http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=15&issue=4&spage=271", acknowledgement = ack-nhfb, } @Article{Johann:2002:GSC, author = "Patricia Johann", title = "A Generalization of Short-Cut Fusion and its Correctness Proof", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "15", number = "4", pages = "273--300", month = dec, year = "2002", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1022982420888", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:34 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=15&issue=4; http://www.wkap.nl/jrnltoc.htm/1388-3690", URL = "http://ipsapp008.kluweronline.com/content/getfile/4979/21/2/abstract.htm; http://ipsapp008.kluweronline.com/content/getfile/4979/21/2/fulltext.pdf; http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=15&issue=4&spage=273", acknowledgement = ack-nhfb, } @Article{Smith:2002:SDA, author = "Scott F. Smith and Carolyn L. Talcott", title = "Specification Diagrams for Actor Systems", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "15", number = "4", pages = "301--348", month = dec, year = "2002", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1022934504959", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:34 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=15&issue=4; http://www.wkap.nl/jrnltoc.htm/1388-3690", URL = "http://ipsapp008.kluweronline.com/content/getfile/4979/21/3/abstract.htm; http://ipsapp008.kluweronline.com/content/getfile/4979/21/3/fulltext.pdf; http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=15&issue=4&spage=301", acknowledgement = ack-nhfb, } @Article{Henderson:2002:FG, author = "Peter Henderson", title = "Functional Geometry", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "15", number = "4", pages = "349--365", month = dec, year = "2002", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1022986521797", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:34 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=15&issue=4; http://www.wkap.nl/jrnltoc.htm/1388-3690", URL = "http://ipsapp008.kluweronline.com/content/getfile/4979/21/4/abstract.htm; http://ipsapp008.kluweronline.com/content/getfile/4979/21/4/fulltext.pdf; http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=15&issue=4&spage=349", acknowledgement = ack-nhfb, } @Article{Danvy:2003:Ea, author = "Olivier Danvy and Fritz Henglein and Harry Mairson and Alberto Pettorossi", title = "Editorial", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "16", number = "1--2", pages = "5--6", month = mar # "--" # jun, year = "2003", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1023059701827", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:35 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=16&issue=1; http://www.wkap.nl/jrnltoc.htm/1388-3690", URL = "http://ipsapp008.kluweronline.com/content/getfile/4979/22/1/abstract.htm; http://ipsapp008.kluweronline.com/content/getfile/4979/22/1/fulltext.pdf; http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=16&issue=1&spage=5", acknowledgement = ack-nhfb, } @Article{Paige:2003:RR, author = "Bob Paige", title = "Research Retrospective", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "16", number = "1--2", pages = "7--13", month = mar # "--" # jun, year = "2003", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1023011918666", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:35 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=16&issue=1; http://www.wkap.nl/jrnltoc.htm/1388-3690", URL = "http://ipsapp008.kluweronline.com/content/getfile/4979/22/2/abstract.htm; http://ipsapp008.kluweronline.com/content/getfile/4979/22/2/fulltext.pdf; http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=16&issue=1&spage=7", acknowledgement = ack-nhfb, } @Article{deMoor:2003:URP, author = "Oege de Moor and David Lacey and Eric Van Wyk", title = "Universal Regular Path Queries", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "16", number = "1--2", pages = "15--35", month = mar # "--" # jun, year = "2003", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1023063919574", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:35 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=16&issue=1; http://www.wkap.nl/jrnltoc.htm/1388-3690", URL = "http://ipsapp008.kluweronline.com/content/getfile/4979/22/3/abstract.htm; http://ipsapp008.kluweronline.com/content/getfile/4979/22/3/fulltext.pdf; http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=16&issue=1&spage=15", acknowledgement = ack-nhfb, } @Article{Liu:2003:DPS, author = "Yanhong A. Liu and Scott D. Stoller", title = "Dynamic Programming via Static Incrementalization", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "16", number = "1--2", pages = "37--62", month = mar # "--" # jun, year = "2003", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1023068020483", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:35 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=16&issue=1; http://www.wkap.nl/jrnltoc.htm/1388-3690", URL = "http://ipsapp008.kluweronline.com/content/getfile/4979/22/4/abstract.htm; http://ipsapp008.kluweronline.com/content/getfile/4979/22/4/fulltext.pdf; http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=16&issue=1&spage=37", acknowledgement = ack-nhfb, } @Article{Leonard:2003:PSF, author = "Elizabeth I. Leonard and Constance L. Heitmeyer", title = "Program Synthesis from Formal Requirements Specifications Using {APTS}", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "16", number = "1--2", pages = "63--92", month = mar # "--" # jun, year = "2003", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1023072104553", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:35 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=16&issue=1; http://www.wkap.nl/jrnltoc.htm/1388-3690", URL = "http://ipsapp008.kluweronline.com/content/getfile/4979/22/5/abstract.htm; http://ipsapp008.kluweronline.com/content/getfile/4979/22/5/fulltext.pdf; http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=16&issue=1&spage=63", acknowledgement = ack-nhfb, } @Article{Reps:2003:CDD, author = "Thomas W. Reps and Louis B. Rall", title = "Computational Divided Differencing and Divided-Difference Arithmetics", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "16", number = "1--2", pages = "93--149", month = mar # "--" # jun, year = "2003", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1023024221391", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:35 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=16&issue=1; http://www.wkap.nl/jrnltoc.htm/1388-3690", URL = "http://ipsapp008.kluweronline.com/content/getfile/4979/22/6/abstract.htm; http://ipsapp008.kluweronline.com/content/getfile/4979/22/6/fulltext.pdf; http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=16&issue=1&spage=93", acknowledgement = ack-nhfb, } @Article{Basin:2003:E, author = "David Basin and Olivier Danvy and Julian Padget and Carolyn Talcott", title = "Editorial", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "16", number = "3", pages = "159--159", month = sep, year = "2003", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1025695922492", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:36 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=16&issue=3; http://www.wkap.nl/jrnltoc.htm/1388-3690", URL = "http://ipsapp008.kluweronline.com/content/getfile/4979/23/1/abstract.htm; http://ipsapp008.kluweronline.com/content/getfile/4979/23/1/fulltext.pdf; http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=16&issue=3&spage=159", acknowledgement = ack-nhfb, } @Article{Ford:2003:FFO, author = "Jonathan Ford and Ian A. Mason", title = "Formal Foundations of Operational Semantics", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "16", number = "3", pages = "161--202", month = sep, year = "2003", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1025689206562", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:36 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=16&issue=3; http://www.wkap.nl/jrnltoc.htm/1388-3690", URL = "http://ipsapp008.kluweronline.com/content/getfile/4979/23/2/abstract.htm; http://ipsapp008.kluweronline.com/content/getfile/4979/23/2/fulltext.pdf; http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=16&issue=3&spage=161", acknowledgement = ack-nhfb, } @Article{Loidl:2003:CPF, author = "H.-W. Loidl and F. Rubio and N. Scaife and K. Hammond and S. Horiguchi and U. Klusik and R. Loogen and G. J. Michaelson and R. Pe{\~n}a and S. Priebe and {\'A}. J. Reb{\'o}n and P. W. Trinder", title = "Comparing Parallel Functional Languages: Programming and Performance", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "16", number = "3", pages = "203--251", month = sep, year = "2003", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1025641323400", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:36 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=16&issue=3; http://www.wkap.nl/jrnltoc.htm/1388-3690", URL = "http://ipsapp008.kluweronline.com/content/getfile/4979/23/3/abstract.htm; http://ipsapp008.kluweronline.com/content/getfile/4979/23/3/fulltext.pdf; http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=16&issue=3&spage=203", acknowledgement = ack-nhfb, } @Article{Gortz:2003:SNW, author = "Inge Li G{\o}rtz and Signe Reuss and Morten Heine S{\o}rensen", title = "Strong Normalization from Weak Normalization by Translation into the Lambda-{I}-Calculus", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "16", number = "3", pages = "253--285", month = sep, year = "2003", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1025693307470", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:50:36 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=16&issue=3; http://www.wkap.nl/jrnltoc.htm/1388-3690", URL = "http://ipsapp008.kluweronline.com/content/getfile/4979/23/4/abstract.htm; http://ipsapp008.kluweronline.com/content/getfile/4979/23/4/fulltext.pdf; http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=16&issue=3&spage=253", acknowledgement = ack-nhfb, } @Article{Danvy:2003:Eb, author = "Olivier Danvy and Peter Thiemann", title = "Editorial", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "16", number = "4", pages = "295--295", month = dec, year = "2003", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1025815202775", ISSN = "1388-3690 (print), 1573-0557 (electronic)", 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.wkap.nl/jrnltoc.htm/1388-3690", URL = "http://ipsapp008.kluweronline.com/content/getfile/4979/24/1/abstract.htm; http://ipsapp008.kluweronline.com/content/getfile/4979/24/1/fulltext.pdf; http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=16&issue=4&spage=295", acknowledgement = ack-nhfb, } @Article{Giacobazzi:2003:NSS, author = "Roberto Giacobazzi and Isabella Mastroeni", title = "Non-Standard Semantics for Program Slicing", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "16", number = "4", pages = "297--339", month = dec, year = "2003", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1025872819613", ISSN = "1388-3690 (print), 1573-0557 (electronic)", 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.wkap.nl/jrnltoc.htm/1388-3690", URL = "http://ipsapp008.kluweronline.com/content/getfile/4979/24/2/abstract.htm; http://ipsapp008.kluweronline.com/content/getfile/4979/24/2/fulltext.pdf; http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=16&issue=4&spage=297", acknowledgement = ack-nhfb, } @Article{Lu:2003:PDA, author = "Lunjin Lu", title = "Path Dependent Analysis of Logic Programs", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "16", number = "4", pages = "341--377", month = dec, year = "2003", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1025824903683", ISSN = "1388-3690 (print), 1573-0557 (electronic)", 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.wkap.nl/jrnltoc.htm/1388-3690", URL = "http://ipsapp008.kluweronline.com/content/getfile/4979/24/3/abstract.htm; http://ipsapp008.kluweronline.com/content/getfile/4979/24/3/fulltext.pdf; http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=16&issue=4&spage=341", acknowledgement = ack-nhfb, } @Article{Corrigendum:2003:AGS, author = "Corrigendum", title = "Automatic Generation of Staged Geometric Predicates", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "16", number = "4", pages = "379--400", month = dec, year = "2003", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1025876920522", ISSN = "1388-3690 (print), 1573-0557 (electronic)", 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", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=16&issue=4&spage=379", acknowledgement = ack-nhfb, } @Article{Nanevski:2003:AGS, author = "Aleksandar Nanevski and Guy Blelloch and Robert Harper", title = "Automatic Generation of Staged Geometric Predicates", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "16", number = "4", pages = "379--400", month = dec, year = "2003", CODEN = "LSCOEX", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Tue Jan 27 09:45:40 MST 2004", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=16&issue=4; http://www.wkap.nl/jrnltoc.htm/1388-3690", URL = "http://ipsapp008.kluweronline.com/content/getfile/4979/24/4/abstract.htm; http://ipsapp008.kluweronline.com/content/getfile/4979/24/4/fulltext.pdf; http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=16&issue=4&spage=379", 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 = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1025829004592", ISSN = "1388-3690 (print), 1573-0557 (electronic)", 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.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, } @Article{Chin:2004:E, author = "Wei-Ngan Chin and Olivier Danvy and Peter Thiemann", title = "Editorial", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "17", number = "1--2", pages = "5--6", month = mar, year = "2004", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/B:LISP.0000029481.73168.ef", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 9 12:34:43 MDT 2008", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=17&issue=1", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=17&issue=1&spage=5", acknowledgement = ack-nhfb, } @Article{Vidal:2004:CAP, author = "Germ{\'a}n Vidal", title = "Cost--Augmented Partial Evaluation of Functional Logic Programs", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "17", number = "1--2", pages = "7--46", month = mar, year = "2004", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/B:LISP.0000029447.02190.42", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 9 12:34:43 MDT 2008", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=17&issue=1", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=17&issue=1&spage=7", acknowledgement = ack-nhfb, keywords = "computational costs; functional logic programming; partial evaluation", } @Article{LeMeur:2004:SSP, author = "Anne-Fran{\c{c}}oise {Le Meur} and Julia L. Lawall and Charles Consel", title = "Specialization Scenarios: {A} Pragmatic Approach to Declaring Program Specialization", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "17", number = "1--2", pages = "47--92", month = mar, year = "2004", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/B:LISP.0000029448.02877.78", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 6 15:27:15 MDT 2005", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=17&issue=1", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=17&issue=1&spage=47", acknowledgement = ack-nhfb, } @Article{Meur:2004:SSP, author = "Anne-Fran{\c{c}}oise Le Meur and Julia L. Lawall and Charles Consel", title = "Specialization Scenarios: {A} Pragmatic Approach to Declaring Program Specialization", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "17", number = "1--2", pages = "47--92", month = mar, year = "2004", CODEN = "LSCOEX", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 9 12:34:43 MDT 2008", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=17&issue=1", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=17&issue=1&spage=47", acknowledgement = ack-nhfb, keywords = "declaration of specialization opportunities; predictable partial evaluation; program specialization; semantics-based program manipulation", } @Article{Khoo:2004:PAO, author = "Siau-Cheng Khoo and Kun Shi", title = "Program Adaptation via Output--Constraint Specialization", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "17", number = "1--2", pages = "93--128", month = mar, year = "2004", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/B:LISP.0000029449.57959.bd", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 9 12:34:43 MDT 2008", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=17&issue=1", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=17&issue=1&spage=93", acknowledgement = ack-nhfb, keywords = "partial evaluation; specialization; weakest pre-condition", } @Article{Voigtlander:2004:UCP, author = "Janis Voigtl{\"a}nder", title = "Using Circular Programs to Deforest in Accumulating Parameters", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "17", number = "1--2", pages = "129--163", month = mar, year = "2004", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/B:LISP.0000029450.36668.cb", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 9 12:34:43 MDT 2008", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=17&issue=1", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=17&issue=1&spage=129", acknowledgement = ack-nhfb, keywords = "accumulating arguments; circular programs; intermediate results; program transformation; (short cut) deforestation; tree transducers; tupling; unfold/fold", } @Article{Basin:2004:E, author = "David Basin and Olivier Danvy and Robert Harper", title = "Editorial", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "17", number = "3", pages = "171--171", month = sep, year = "2004", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/B:LISP.0000029480.20108.7d", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 9 12:34:43 MDT 2008", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=17&issue=3", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=17&issue=3&spage=171", acknowledgement = ack-nhfb, } @Article{Lacey:2004:COC, author = "David Lacey and Neil D. Jones and Eric Van Wyk and Carl Christian Frederiksen", title = "Compiler Optimization Correctness by Temporal Logic", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "17", number = "3", pages = "173--206", month = sep, year = "2004", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/B:LISP.0000029444.99264.c0", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 9 12:34:43 MDT 2008", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=17&issue=3", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=17&issue=3&spage=173", acknowledgement = ack-nhfb, keywords = "compiler verification; model checking; optimizing compilers; temporal logic", } @Article{Kristensen:2004:ICP, author = "Lars Michael Kristensen and S{\o}ren Christensen", title = "Implementing Coloured {Petri} Nets Using a Functional Programming Language", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "17", number = "3", pages = "207--243", month = sep, year = "2004", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/B:LISP.0000029445.29210.ca", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 9 12:34:43 MDT 2008", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=17&issue=3", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=17&issue=3&spage=207", acknowledgement = ack-nhfb, keywords = "Coloured Petri Nets; distributed and concurrent computation; high-level Petri Nets; implementation techniques; Petri Nets; programming environments and tools", } @Article{Tofte:2004:RRB, author = "Mads Tofte and Lars Birkedal and Martin Elsman and Niels Hallenberg", title = "A Retrospective on Region-Based Memory Management", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "17", number = "3", pages = "245--265", month = sep, year = "2004", CODEN = "LSCOEX", DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/B:LISP.0000029446.78563.a4", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 9 12:34:43 MDT 2008", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=17&issue=3", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=17&issue=3&spage=245", acknowledgement = ack-nhfb, keywords = "dynamic storage management; regions; Standard ML", } @Article{Danvy:2004:E, author = "Olivier Danvy and Ian Mason", title = "Editorial", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "17", number = "4", pages = "275--275", month = dec, year = "2004", CODEN = "LSCOEX", DOI = "http://dx.doi.org/10.1007/s10990-004-4865-0", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 9 12:34:43 MDT 2008", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=17&issue=4", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=17&issue=4&spage=275", acknowledgement = ack-nhfb, } @Article{Queinnec:2004:CWS, author = "Christian Queinnec", title = "Continuations and {Web} Servers", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "17", number = "4", pages = "277--295", month = dec, year = "2004", CODEN = "LSCOEX", DOI = "http://dx.doi.org/10.1007/s10990-004-4866-z", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 9 12:34:43 MDT 2008", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=17&issue=4", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=17&issue=4&spage=277", acknowledgement = ack-nhfb, keywords = "continuations; hypertext; scheme; WWW", } @Article{Mastroeni:2004:APA, author = "Isabella Mastroeni", title = "Algebraic Power Analysis by Abstract Interpretation", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "17", number = "4", pages = "297--345", month = dec, year = "2004", CODEN = "LSCOEX", DOI = "http://dx.doi.org/10.1007/s10990-004-4867-y", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 9 12:34:43 MDT 2008", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=17&issue=4", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=17&issue=4&spage=297", acknowledgement = ack-nhfb, keywords = "abstract domains; abstract interpretation; algebraic power analysis; software watermarking; static program analysis", } @Article{Helsen:2004:BRC, author = "Simon Helsen", title = "Bisimilarity for the Region Calculus", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "17", number = "4", pages = "347--394", month = dec, year = "2004", CODEN = "LSCOEX", DOI = "http://dx.doi.org/10.1007/s10990-004-4868-x", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 9 12:34:43 MDT 2008", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=17&issue=4", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=17&issue=4&spage=347", acknowledgement = ack-nhfb, keywords = "bisimulation; contextual equivalence; equational theory; region calculus", } @Article{Danvy:2005:E, author = "Olivier Danvy and Fritz Henglein and Harry Mairson and Alberto Pettorossi", title = "Editorial", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "18", number = "1--2", pages = "5--6", month = jun, year = "2005", CODEN = "LSCOEX", DOI = "http://dx.doi.org/10.1007/s10990-005-7001-x", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 9 12:34:44 MDT 2008", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=18&issue=1", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=18&issue=1&spage=5", acknowledgement = ack-nhfb, } @Article{Mairson:2005:RP, author = "Harry Mairson", title = "{Robert Paige (1947--1999)}", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "18", number = "1--2", pages = "7--8", month = jun, year = "2005", CODEN = "LSCOEX", DOI = "http://dx.doi.org/10.1007/s10990-005-7002-9", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 9 12:34:44 MDT 2008", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=18&issue=1", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=18&issue=1&spage=7", acknowledgement = ack-nhfb, } @Article{Siegel:2005:RBP, author = "Alan Siegel", title = "Remembrances of {Bob Paige}", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "18", number = "1--2", pages = "9--11", month = jun, year = "2005", CODEN = "LSCOEX", DOI = "http://dx.doi.org/10.1007/s10990-005-7003-8", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 9 12:34:44 MDT 2008", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=18&issue=1", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=18&issue=1&spage=9", acknowledgement = ack-nhfb, } @Article{Davis:2005:ABP, author = "Martin Davis", title = "An Appreciation {of Bob Paige}", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "18", number = "1--2", pages = "13--13", month = jun, year = "2005", CODEN = "LSCOEX", DOI = "http://dx.doi.org/10.1007/s10990-005-7004-7", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 9 12:34:44 MDT 2008", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=18&issue=1", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=18&issue=1&spage=13", acknowledgement = ack-nhfb, } @Article{Goyal:2005:TDI, author = "Deepak Goyal", title = "Transformational Derivation of an Improved Alias Analysis Algorithm", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "18", number = "1--2", pages = "15--49", month = jun, year = "2005", CODEN = "LSCOEX", DOI = "http://dx.doi.org/10.1007/s10990-005-7005-6", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 9 12:34:44 MDT 2008", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=18&issue=1", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=18&issue=1&spage=15", acknowledgement = ack-nhfb, keywords = "alias graph; continuity; control flow graph; dominated convergence; finite differencing; input-bounded; may-alias analysis; output-bounded; pointer analysis; sparse evaluation graph; workset algorithm", } @Article{Desharnais:2005:LRP, author = "Jules Desharnais and Bernhard M{\"o}ller", title = "Least Reflexive Points of Relations", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "18", number = "1--2", pages = "51--77", month = jun, year = "2005", CODEN = "LSCOEX", DOI = "http://dx.doi.org/10.1007/s10990-005-7006-5", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 9 12:34:44 MDT 2008", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=18&issue=1", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=18&issue=1&spage=51", acknowledgement = ack-nhfb, keywords = "fixed point; greatest reflexive point; inflationary relation; lattice; least reflexive point; partial order; relation", } @Article{Klarlund:2005:RLA, author = "Nils Klarlund", title = "Relativizations for the Logic-Automata Connection", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "18", number = "1--2", pages = "79--120", month = jun, year = "2005", CODEN = "LSCOEX", DOI = "http://dx.doi.org/10.1007/s10990-005-7007-4", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Wed Jul 9 12:34:44 MDT 2008", bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=18&issue=1", URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=18&issue=1&spage=79", acknowledgement = ack-nhfb, } @Article{Pettorossi:2005:DEL, author = "Alberto Pettorossi and Maurizio Proietti and Sophie Renault", title = "Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism", journal = j-HIGHER-ORDER-