File /home/thiemann/tex/bib/compiler.bib last modified on Mon Apr 10 18:48:29 1995.
@ARTICLE{Patterson1985,
	AUTHOR = {David A. Patterson},
	TITLE = {Reduced Instruction Set Computers},
	JOURNAL = cacm,
	YEAR = 1985,
	VOLUME = {28},
	NUMBER = {1},
	PAGES = {8-21},
	MONTH = jan
}

@INPROCEEDINGS{PughWonnacott1992,
	CROSSREF = {PLDI1992},
	AUTHOR = {Willian Pugh and David Wonnacott},
	TITLE = {Eliminating False Data Dependencies Using the Omega Test},
	YEAR = 1992,
	PAGES = {140-151}
}

@ARTICLE{Brown1994,
	AUTHOR = {Bob Brown},
	TITLE = {Non-Linear Type Extensions},
	JOURNAL = notices,
	YEAR = 1994,
	VOLUME = {29},
	NUMBER = {2},
	PAGES = {39-43},
	MONTH = feb
}

@ARTICLE{Karr1976,
	AUTHOR = {Michael Karr},
	TITLE = {Affine Relationships Among Variables of a Program},
	JOURNAL = acta,
	YEAR = 1976,
	VOLUME = {6},
	PAGES = {133-151}
}

@INPROCEEDINGS{WeiseCrew1993,
	CROSSREF = {PLDI1993},
	AUTHOR = {Daniel Weise and Roger Crew},
	TITLE = {Programmable Syntax Macros},
	YEAR = 1993,
	PAGES = {156-165},
	ABSTRACT = {Provides a macro language for C in a clean way by syntax extension}
}

@ARTICLE{Stolz1993,
	AUTHOR = {Otto Stolz},
	TITLE = {Anonymous Routine-Texts: an Orthogonal Approach to Block Objects},
	JOURNAL = notices,
	YEAR = 1993,
	VOLUME = {28},
	NUMBER = {4},
	PAGES = {45-48},
	MONTH = apr
}

@ARTICLE{Hamel1992,
	AUTHOR = {Lutz H. Hamel},
	TITLE = {Industrial Strength Compiler Construction with Equations},
	JOURNAL = {SIGPLAN Notices},
	YEAR = 1992,
	VOLUME = {27},
	NUMBER = {8},
	PAGES = {43--50}
}

@ARTICLE{Hatcher1991,
	AUTHOR = {P. Hatcher},
	TITLE = {The Equational Specification of Efficient Compiler Code Generation},
	JOURNAL = {Computer Languages},
	YEAR = 1991,
	VOLUME = {16},
	NUMBER = {1},
	PAGES = {81--95}
}

@TECHREPORT{Gough1992,
	AUTHOR = {K. John Gough},
	TITLE = {The {D}-Code Compiler Frontend {GP2D}},
	INSTITUTION = {Wilhelm-Schickard-Institut, Universit{\"{a}}t T{\"{u}}bingen},
	YEAR = 1992,
	NUMBER = {WSI-92-2},
	NOTE = {also available as QUT FIT technical report 1/92}
}

@article{Knuth1968,
	author	= "Donald E. Knuth",
	title	= "Semantics of Context-Free Languages",
	journal = mst,
	volume	= "2",
	pages	= "127-145",
	year	= 1968}


@ARTICLE{Bernstein1985,
	AUTHOR = {Robert L. Bernstein},
	TITLE = {Producing Good Code for the Case Statement},
	JOURNAL = swpe,
	YEAR = 1985,
	VOLUME = {15},
	NUMBER = {10},
	PAGES = {x}
}

@ARTICLE{Knuth1965,
	AUTHOR = "Donald E. Knuth",
	TITLE = "On the Translation of Languages from Left to Right",
	JOURNAL = {Information and Control},
	YEAR = "1965",
	VOLUME = "8",
	PAGES = "607-639"
}

@inproceedings{TeitelbaumChapman90,
	author="Tim Teitelbaum and Richard Chapman",
	title="Higher-Order Attribute Grammars and Editing Environments",
	booktitle="Programming Language Design and Implementation",
	journal= Notices,
	volume=25,
	number=6,
	year=1990,
	pages={197-208}
}

@inproceedings{JPDB90,
	author="Martin Jourdan and Didier Parigot and Catherine {Juli\ïe}
	and Olivier Durin and Carole {Le Bellec}",
	title="Design, Implementation and Evaluation of the {FNC-2}
	Attribute Grammar System",
	booktitle="Programming Language Design and Implementation",
	journal= Notices,
	volume=25,
	number=6,
	year=1990,
	pages="209-222"}

@inproceedings{Giegerich1990,
	author="Robert Giegerich",
	title="On the Structure of Verifiable Code Generator
	Specifications",
	booktitle="Programming Language Design and Implementation",
	journal= Notices,
	volume=25,
	number=6,
	year=1990,
	pages="1-8"}


@INPROCEEDINGS{GiegerichSchmal1988,
	CROSSREF = {ESOP88},
	AUTHOR = {R. Giegerich and K. Schmal},
	TITLE = {Code Selection Techinques: Pattern Matching, Tree Parsing, and Inversion of Derivors},
	YEAR = 1988,
	PAGES = {247-268}
}

@article{ElsworthParkes1990,
	author="E. F. Elsworth and M. A. B. Parkes",
	title="Automated Compiler Construction based on Top-Down Systax
	Analysis and Attribute Evaluation",
	journal= Notices,
	volume=25,
	number=8,
	year=1990,
	pages="37--42"}

@article{ReslerOSullican1990,
	author="Dan Resler and Keith {O'Sullivan}",
	title="{VisiCLANG}---A Visible Compiler for {CLANG}",
	journal= Notices,
	volume=25,
	number=8,
	year=1990,
	pages="120--123"}


@ARTICLE{Gutknecht1989,
	AUTHOR = {{J\"urg} Gutknecht},
	TITLE = "Variations on the Role of Module Interfaces",
	JOURNAL = {Structured Programming},
	YEAR = "1989",
	VOLUME = "10",
	NUMBER = "1",
	PAGES = "40-46",
	MONTH = jan
}

@ARTICLE{Wirth1971,
	AUTHOR = {Niklaus Wirth},
	TITLE = {The Design of the {Pascal} Compiler},
	JOURNAL = swpe,
	YEAR = 1971,
	VOLUME = {1},
	NUMBER = {4},
	PAGES = {309-333}
}

@INPROCEEDINGS{PS1979,
	BOOKTITLE = {Proc. SIGPLAN Symposium on Compiler Construction},
	AUTHOR = {D. R. Perkins and R. L. Sites},
	TITLE = {Machine Independent {Pascal} Code Optimization},
	YEAR = 1979,
	PAGES = {201-207}
}

@ARTICLE{SethiUllman1970,
	AUTHOR = {Ravi Sethi and J. D. Ullman},
	TITLE = {The Generation of Optimal Code for Arithmetic Expressions},
	JOURNAL = jacm,
	YEAR = 1970,
	VOLUME = {17},
	NUMBER = {4},
	PAGES = {715-729}
}

@ARTICLE{ChowHennessy1990,
	AUTHOR = {Fred C. Chow and John L. Hennessy},
	TITLE = {The Priority-Based Coloring Approach to Register Allocation},
	JOURNAL = toplas,
	YEAR = 1990,
	VOLUME = {17},
	NUMBER = {4},
	MONTH = oct,
	PAGES = {501-536}
}

@INPROCEEDINGS{Chaitin1982,
	BOOKTITLE = {Proc. ACM SIGPLAN 1982 Symposium on Compiler Construction},
	AUTHOR = {Gregory J. Chaitin},
	TITLE = {Register Allocation and Spilling via Graph Coloring},
	YEAR = 1982,
	PAGES = {?}
}

@ARTICLE{CytronFerranteRosenWegmanZadeck1991,
	AUTHOR = {Ron Cytron and Jeanne Ferrante and Barry K. Rosen and Mark N. Wegman and F. Kenneth Zadeck},
	TITLE = {Efficiently Computing Static Single Assignment Form and the Control Flow Graph},
	JOURNAL = toplas,
	YEAR = 1991,
	VOLUME = {13},
	NUMBER = {4},
	MONTH = oct,
	PAGES = {451-490}
}

@InProceedings{WeiseCrewErnstSteensgard1994,
  author = 	 "Daniel Weise and Roger F. Crew and Michael Ernst and Bjarne Steensgaard",
  title = 	 "Value Dependence Graphs: Representation without Taxation",
  crossref =	 "POPL1994",
  pages =	 "297-310"
}

@INPROCEEDINGS{GoffKennedyTseng1991,
	CROSSREF = {PLDI1991},
	AUTHOR = {Gina Goff and Ken Kennedy and Chau-Wen Tseng},
	TITLE = {Practical Dependence Testing},
	YEAR = 1991,
	PAGES = {15-29}
}

@INPROCEEDINGS{MHL1991,
	CROSSREF = {PLDI1991},
	AUTHOR = {Dror E. Maydan and John L Hennessy and Monica S. Lam},
	TITLE = {Efficient and Exact Data Dependence Analysis},
	YEAR = 1991,
	PAGES = {1-14}
}

@ARTICLE{WG1989,
	AUTHOR = {Niklaus Wirth and {J\"urg} Gutknecht},
	TITLE = "The {Oberon} System",
	JOURNAL = "Software, Practice and Experience",
	YEAR = "1989",
	VOLUME = "19",
	NUMBER = "9",
	MONTH = sep
}

@ARTICLE{Wirth1988a,
	AUTHOR = {Niklaus Wirth},
	TITLE = "From {Modula} to {Oberon}",
	JOURNAL = "Software, Practice and Experience",
	YEAR = "1988",
	VOLUME = "18",
	NUMBER = "7",
	MONTH = jul,
	PAGES = "661-670"
}

@ARTICLE{Wirth1988b,
	AUTHOR = {Niklaus Wirth},
	TITLE = "The programming language {Oberon}",
	JOURNAL = "Software, Practice and Experience",
	YEAR = "1988",
	VOLUME = "18",
	NUMBER = "7",
	MONTH = jul,
	PAGES = "671-690"
}

@ARTICLE{Wirth1988c,
	AUTHOR = "Niklaus Wirth",
	TITLE = "Type Extensions",
	JOURNAL = toplas,
	YEAR = "1988",
	VOLUME = "10",
	NUMBER = "2",
	PAGES = "204-214",
	MONTH = apr
}

@INPROCEEDINGS{Oberon2,
	CROSSREF = {M2-1991},
	AUTHOR = {Hans Peter M{\"o}ssenb{\"o}ck},
	TITLE = {Object-Oriented Programming in {Oberon}-2},
	YEAR = 1991,
	PAGES = {144-153}
}

@INPROCEEDINGS{Oberon2:Compiler,
	CROSSREF = {M2-1991},
	AUTHOR = {R\'{e}gis Crelier},
	TITLE = {OP2: a Portable {Oberon}-2 Compiler},
	YEAR = 1991,
	PAGES = {58-67}
}

@INPROCEEDINGS{Oberon:gc,
	CROSSREF = {M2-1991},
	AUTHOR = {Charles A. Lins},
	TITLE = {Generational Garbage Collection in {Oberon}},
	YEAR = 1991,
	PAGES = {302-311}
}

@INPROCEEDINGS{Nelson1991,
	CROSSREF = {M2-1991},
	AUTHOR = {Greg Nelson},
	TITLE = {From Modula-2 to Modula-3},
	YEAR = 1991,
	PAGES = {132-143}
}

@INPROCEEDINGS{SH1986,
	CROSSREF = {POPL1986},
	AUTHOR = {Gregor Snelting and Wolfgang Henhapl},
	TITLE = {Unification in Many-Sorted Algebras as a Device for Incremental Semantic Analysis},
	YEAR = 1986,
	PAGES = {229-235}
}

@INPROCEEDINGS{CDJKN1989,
	CROSSREF = {POPL1989},
	AUTHOR = {Luca Cardelli and Jim Donahue and Mick Jordan and Bill Kalsow and Greg Nelson},
	TITLE = {The Modula-3 Type System},
	YEAR = 1989,
	PAGES = {202-212}
}

@ARTICLE{coco2-2,
	AUTHOR = {H. Dobler},
	TITLE = {Top-Down Parsing in Coco-2},
	JOURNAL = notices,
	YEAR = {1991},
	VOLUME = {26},
	NUMBER = {3},
	PAGES = {79-87},
	MONTH = mar
}

***** literature from coco2-1:

@ARTICLE{coco2-1,
	AUTHOR = {H. Dobler and K. Pirklbauer},
	TITLE = {Coco-2 --- A New Compiler Compiler},
	JOURNAL = notices,
	YEAR = {1990},
	VOLUME = {25},
	MONTH = may
}

@ARTICLE{M"ossenb"ock1988,
	AUTHOR = {Hans Peter M{\"o}ssenb{\"o}ck},
	TITLE = {A Convenient Way to Incorporate Semantic Actions in Two-Pass Compiling Schemes},
	JOURNAL = swpe,
	YEAR = {1988}
}

@INPROCEEDINGS{Appel1989,
	AUTHOR = {Andrew W. Appel and Trevor Jim},
	TITLE = {Continuation-Passing, Closure-Passing Style},
	CROSSREF = {POPL1989},
	YEAR = {1989},
	PAGES = {193-302},
	ORGANIZATION = {ACM}
}

@INPROCEEDINGS{KelseyHudak1989,
	CROSSREF = {POPL89},
	AUTHOR = {Richard Kelsey and Paul Hudak},
	TITLE = {Realistic compilation by program transformation},
	YEAR = 1989,
	PAGES = {281-292}
}

@ARTICLE{FraserHanson:notices,
	AUTHOR = {Christopher W. Fraser and David R. Hanson},
	TITLE = {A Retargetable Compiler for {ANSI} {C}},
	JOURNAL = notices,
	YEAR = 1991,
	VOLUME = {26},
	NUMBER = {10},
	PAGES = {29-43},
	MONTH = oct
}

@ARTICLE{FraserHanson:spill,
	AUTHOR = {Christopher W. Fraser and David R. Hanson},
	TITLE = {Simple Register Spilling in a Retargetable Compiler},
	JOURNAL = swpe,
	YEAR = 1992,
	VOLUME = {22},
	NUMBER = {1},
	PAGES = {85-99},
	MONTH = jan
}

@INPROCEEDINGS{Kastens1991,
	BOOKTITLE = {Proceedings of the International Summer School on Attribute Grammars, Application and Sysmtes},
	AUTHOR = {Uwe Kastens},
	TITLE = {Attribute Grammars as a Specification Method},
	YEAR = 1991,
	PAGES = {16-47},
	PUBLISHER = SP,
	NOTE = {LNCS 545}
}

@INPROCEEDINGS{Kastens1991a,
	BOOKTITLE = {Proceedings of the International Summer School on Attribute Grammars, Application and Sysmtes},
	AUTHOR = {Uwe Kastens},
	TITLE = {Attribute Grammars in a Compiler Construction Environment},
	YEAR = 1991,
	PAGES = {380-400},
	PUBLISHER = SP,
	NOTE = {LNCS 545}
}

@INPROCEEDINGS{Kastens1991b,
	BOOKTITLE = {Proceedings of the International Summer School on Attribute Grammars, Application and Sysmtes},
	AUTHOR = {Uwe Kastens},
	TITLE = {Implementation of Visit-Oriented Attribute Evaluators},
	YEAR = 1991,
	PAGES = {114-139},
	PUBLISHER = SP,
	NOTE = {LNCS 545}
}

@ARTICLE{KW1991,
	AUTHOR = {Uwe Kastens and William M. Waite},
	TITLE = {An Abstract Data Type for Name Analysis},
	JOURNAL = acta,
	YEAR = 1991,
	VOLUME = {28},
	PAGES = {539-558}
}

@INPROCEEDINGS{WLM1991,
	CROSSREF = "PLDI1991",
	AUTHOR = "Paul R. Wilson and Michael S. Lam and Thomas G. Moher",
	TITLE = {Effective ``Static-graph'' Reorganization to Improve 
		Locality},
	YEAR = "1991",
	PAGES = "177-191"
}

@INPROCEEDINGS{Morris1991,
	CROSSREF = {PLDI1991},
	AUTHOR = {W. G. Morris},
	TITLE = {{CCG}: A Prototype Coagulating Code Generator},
	YEAR = 1991,
	PAGES = {45-58}
}

@INPROCEEDINGS{CK1991,
	CROSSREF = {PLDI1991},
	AUTHOR = {David Callahan and Brian Koblenz},
	TITLE = {Register Allocation via Hierarchical Graph Coloring},
	YEAR = 1991,
	PAGES = {192-203}
}

@ARTICLE{Cohen1991,
	AUTHOR = {Norman Cohen},
	TITLE = {Type-Extension Type Tests Can Be Performed in Constant Time},
	JOURNAL = toplas,
	YEAR = 1991,
	VOLUME = {13},
	NUMBER = {4},
	PAGES = {626-629}
}

@ARTICLE{Cohen1981,
	AUTHOR = {J. Cohen},
	TITLE = {Garbage Collection of Linked Data Structures},
	JOURNAL = acmcs,
	YEAR = 1981,
	VOLUME = {13},
	NUMBER = {3},
	PAGES = {341-367},
	MONTH = sep
}

@INPROCEEDINGS{BR1991,
	CROSSREF = "PLDI1991",
	AUTHOR = "David Bernstein and Michael Rodeh",
	TITLE = {Global Instruction Scheduling for Superscalar Machines},
	YEAR = "1991",
	PAGES = "241-255"
}

@INPROCEEDINGS{BEH1991,
	CROSSREF = {PLDI1991},
	AUTHOR = {David G. Bradlee and Susan J. Eggers and Robert R. Henry},
	TITLE = {Integrating Register Allocation and Instruction Scheduling for {RISC}s},
	YEAR = 1991
}

@INPROCEEDINGS{BEH1991a,
	CROSSREF = {PLDI1991},
	AUTHOR = {David G. Bradlee and Susan J. Eggers and Robert R. Henry},
	TITLE = {The {Marion} System for Retargetable Instruction Scheduling},
	YEAR = 1991,
	PAGES = {229-240}
}

@ARTICLE{Warren1990,
	AUTHOR = {H. S. {Warren, Jr.}},
	TITLE = {Instruction Scheduling for the {IBM} {RISC} System/6000 Processor},
	JOURNAL = ibmjrd,
	YEAR = 1990,
	VOLUME = {34},
	NUMBER = {1},
	PAGES = {85-92},
	MONTH = jan,
	myNOTE = {describes scheduling requirements and sketches an algorithm}
}

@article{aitkaci89a.B,
  author={A\"it-Kaci, Hassan and Robert Boyer and Patrick Lincoln and
Roger Nasr},
  title={Efficient Implementation of Lattice Operations},
  month=jan,
  year=1989,
  journal=toplas,
  pages={115-146},
  volume=11,
  number=1
}

@INPROCEEDINGS{GK1992,
	CROSSREF = {PLDI1992},
	AUTHOR = {Torbj\"orn Granlund and Richard Kenner},
	TITLE = {Eliminating Branches using a Supercompiler and the {GNU} {C} Compiler},
	YEAR = 1992,
	PAGES = {341-352}
}

@INPROCEEDINGS{Pro1992,
	CROSSREF = {PLDI1992},
	AUTHOR = {Todd A. Proebsting},
	TITLE = {Simple and Efficient {BURS} Table Generation},
	YEAR = 1992,
	PAGES = {331-340}
}

@INPROCEEDINGS{PF1992,
	CROSSREF = {PLDI1992},
	AUTHOR = {Todd A. Proebsting and Charles N. Fischer},
	TITLE = {Probabilistic Register Allocation},
	YEAR = 1992,
	PAGES = {300-310}
}

@INPROCEEDINGS{PF1991,
	CROSSREF = {PLDI1991},
	AUTHOR = {Todd A. Proebsting and Charles N. Fischer},
	TITLE = {Linear-Time, Optimal Code Scheduling for Delayed-Load Architectures},
	YEAR = 1991,
	PAGES = {256-267}
}

@INPROCEEDINGS{DMH1992,
	CROSSREF = {PLDI1992},
	AUTHOR = {Amer Diwan and Eliot Moss and Richard Hudson},
	TITLE = {Compiler Support for Garbage Collection in  a Statically Typed Language},
	YEAR = 1992,
	PAGES = {273-282}
}

@INPROCEEDINGS{LR1992,
	CROSSREF = {PLDI1992},
	AUTHOR = {William Landi and Barbara G. Ryder},
	TITLE = {A Safe Approximate Algorithm for Interprocedural Pointer Aliasing},
	YEAR = 1992,
	PAGES = {235-248}
}

@INPROCEEDINGS{CG1993,
	CROSSREF = {PLDI1993},
	AUTHOR = {Rom Cytron and Reid Gershbein},
	TITLE = {Efficient Accommodation of May-Alias Information in {SSA} Form},
	YEAR = 1993,
	PAGES = {36-45}
}

@INPROCEEDINGS{LRZ1993,
	CROSSREF = {PLDI1993},
	AUTHOR = {William Landi and Barbara G. Ryder and Sean Zhang},
	TITLE = {Interprocedural Modification Side Effect Analysis With Poitner Aliasing},
	YEAR = 1993,
	PAGES = {56-67}
}

@INPROCEEDINGS{Deutsch1994,
	CROSSREF = {PLDI1994},
	AUTHOR = {Alain Deutsch},
	TITLE = {Interprocedural May-Alias Analysis for Pointers: Beyond k-limiting},
	YEAR = 1994,
	PAGES = {230-241}
}

@INPROCEEDINGS{KRS1992,
	CROSSREF = {PLDI1992},
	AUTHOR = {Jens Knoop and Oliver R\"uthing and Bernhard Steffen},
	TITLE = {Lazy Code Motion},
	YEAR = 1992,
	PAGES = {224-234}
}

@INPROCEEDINGS{Mahadevan1994,
	CROSSREF = {CC1994},
	AUTHOR = {Uma Mahadevan and Sridhar Ramakrishnan},
	TITLE = {Instruction Scheduling Over Regions: A Framework for Scheduling Across Basci Blocks},
	YEAR = 1994,
	PAGES = {419-434}
}

@INPROCEEDINGS{Ørbaek1994,
	CROSSREF = {CC1994},
	AUTHOR = {Peter Ørbaek},
	TITLE = {{OASIS}: An Optimizing Action-Based Compiler Generator},
	YEAR = 1994,
	EDITOR = {1-15}
}

@ARTICLE{Pennello1986,
	AUTHOR = {Thomas Pennello},
	TITLE = {Very Fast {LR} Parsing},
	JOURNAL = {SIGPLAN Notices},
	YEAR = 1986,
	VOLUME = {21},
	NUMBER = {7},
	PAGES = {145-151}
}

@TECHREPORT{yacc,
	AUTHOR = {S. C. Johnson},
	TITLE = {Yacc---yet another compiler compiler},
	INSTITUTION = {{AT\&T} Bell Laboratories},
	YEAR = 1975,
	NUMBER = {32},
	ADDRESS = {Murray Hill, NJ}
}