Bibliography
@inproceedings{LH96,
key = {LH96},
author = {Sheng Liang and Paul Hudak},
title = {Modular Denotational Semantics for Compiler Construction},
pages = {219-234},
booktitle = {Programming Languages and Systems -- ESOP'96},
editor = {Hanne Riis Nielson},
number = {1058},
series = {Lecture Notes in Computer Science},
publisher = {Springer-Verlag},
year = {1996}
}
@unpublished{Lut96,
author = "Bas Luttik",
title = "Simulation for Rewrite Systems",
month = "march",
year = "1996",
note = "Master's thesis in preparation"
}
@article{LV95,
author = "Nancy Lynch and Frits Vaandrager",
title = "Forward and backward simulations: I. untimed systems",
journal = "Information and Computation",
volume = "121",
number = "2",
year = "1995",
month = "september",
pages = "214-233"
}
@techreport{LC93,
key = {LC93},
author = {J.R. Larus and S. Chandra},
title = {Using Tracing and Dynamic Slicing to Tune
Compilers},
institution = {University of Wisconsin-Madison},
type = {Computer Sciences Technical Report \#1174},
year = {1993}
}
@inproceedings{LR92,
key = {LR92},
author = {W. Landi and B.G. Ryder},
title = {A Safe Approximate Algorithm for
Interprocedural Pointer
Aliasing},
booktitle = {Proceedings of the 1992 ACM Conference on
Programming
Language Design and Implementation},
address = {San Francisco},
pages = {235--248},
year = {1992},
note = {{\it SIGPLAN Notices} 27(7)}
}
@article{LR87,
key = {LR87},
author = {H.K.N. Leung and H.K. Reghbati},
title = {Comments on Program Slicing},
journal = {IEEE Transactions on Software Engineering},
volume = {SE-13},
number = {12},
pages = {1370--1371},
year = {1987}
}
@inproceedings{LW87,
key = {LW87},
author = {J.R. Lyle and M. Weiser},
title = {Automatic bug location by program slicing},
booktitle = {Proceedings of the Second International
Conference
on Computers and Applications},
address = {Beijing (Peking), China},
pages = {877--883},
year = {1987}
}
@inproceedings{LG89,
key = {LG89},
author = {J.R. Lyle and K.B. Gallagher},
title = {A Program Decomposition Scheme with
Applications to
Software Modification and Testing},
booktitle = {Proceedings of the 22nd Hawaii International
Conference
on System Sciences},
year = {1989}
}
@techreport{Lak91,
key = {Lak91},
author = {A. Lakhotia},
title = {Graph theoretic foundations of program
slicing and integration},
institution = {University of Southwestern Louisiana},
type = {Report {CACS} {TR}-91-5-5},
year = {1991}
}
@techreport{Lak92,
key = {Lak92},
author = {A. Lakhotia},
title = {Improved interprocedural slicing algorithm},
institution = {University of Southwestern Louisiana},
type = {Report {CACS} {TR}-92-5-8},
year = {1992}
}
@inproceedings{Lan74,
key = {Lan74},
author = {B. Lang},
title = {{D}eterministic techniques for efficient
non-deterministic parsers},
booktitle = {Proceedings of the Second Colloquium on
Automata, Languages and Programming},
series = {Lecture Notes in Computer Science},
editor = {J. Loeckx},
volume = {14},
pages = {255-269},
organization = {Springer-Verlag},
year = {1974}}
@incollection{Lan85,
key = {Lan85},
author = {B. Lang},
title = {{M}entor - design and implementation of the
kernel of a program manipulation system},
booktitle = {Integrated project support environments},
editor = {J. McDermid},
volume = {1},
pages = {175-188},
publisher = {IEEE Software Engineering Series},
year = {1985}}
@techreport{Lan88a,
key = {Lan88a},
author = {B. Lang},
title = {{C}omplete evaluation of {H}orn clauses: an
automata theoretic approach},
institution = {INRIA},
type = {{R}apports de {R}echerche 913},
address = {Rocquencourt},
year = {1988}}
@inproceedings{Lan88b,
key = {Lan88b},
author = {B. Lang},
title = {{P}arsing incomplete sentences},
booktitle = {Proceedings of the Twelfth International
Conference on Computational Linguistics},
pages = {365-371},
organization = {Association for Computational Linguistics},
address = {Budapest},
year = {1988}}
@techreport{Lan81,
key = {Lan81},
author = {D. Lankford},
title = {{A} simple explanation of inductionless
induction},
institution = {Louisiana Technical University},
type = {Report {MTP}-14},
address = {Ruston},
year = {1981}}
@inproceedings{LP87,
key = {LP87},
author = {P. Lee and U. Pleban},
title = {{A} realistic compiler generator based on
high-level semantics},
booktitle = {Conference Record of the Fourteenth Annual ACM
Symposium on
Principles of Programming Languages},
pages = {284-295},
organization = {ACM},
year = {1987}}
@misc{Leh78,
key = {Leh78},
author = {D.J. Lehmann},
title = {{O}n the algebra of order (extended abstract)},
pages = {214-220},
year = {1978}}
@techreport{Lei84,
key = {Lei84},
author = {D. Leivant},
title = {{T}yping and convergence in the {L}ambda
{C}alculus,
{P}reliminary draft},
institution = {Carnegie-Mellon University},
year = {1984}}
@inproceedings{Les83,
key = {Les83},
author = {P. Lescanne},
title = {{C}omputer experiments with the {REVE} term
rewriting system generator},
booktitle = {Conference Record of the Tenth Annual ACM
Symposium on
Principles of Programming Languages},
pages = {99-108},
organization = {ACM},
year = {1983}}
@techreport{Lip83,
key = {Lip83},
author = {U. Lipeck},
title = {{E}in algebraischer {K}alk{\"{u}}l f{\"{u}}r
einen strukturierten {E}ntwurf von {D}atenabstraktionen},
institution = {Universit{\"{a}}t Dortmund},
type = {{F}orschungsbericht 148},
year = {1983},
note = {In German}}
@techreport{LMSSS78,
key = {LMSSS78},
author = {B. Liskov and E. Moss and C. Schaffert and B.
Scheifler and A. Snyder},
title = {{CLU} {R}eference {M}anual},
institution = {Massachusetts Institute of Technology},
type = {{C}omputation {S}tructures {G}roup {M}emo 161},
year = {1978}}
@techreport{Log88,
key = {Log88},
author = {M.H. Logger},
title = {{A}n integrated text and syntax-directed
editor},
institution = {Centrum voor Wiskunde en Informatica (CWI)},
type = {Report {CS}-{R}8820},
address = {Amsterdam},
year = {1988}}
@article{Lom73,
key = {Lom73},
author = {D.B. Lomet},
title = {{A} formalization of transition diagram
systems},
journal = {Journal of the ACM},
volume = {20},
number = {2},
pages = {235-257},
year = {1973}}
@phdthesis{Lyl84.thesis,
key = {Lyl84},
author = {J.R. Lyle},
title = {Evaluating Variations on Program Slicing for
Debugging},
school = {University of Maryland},
year = {1984}
}
@manual{LeLisp90,
key = {LeLisp90},
title = {{LeLisp}, {Version} 15.23, reference manual},
organization = {INRIA},
address = {Rocquencourt},
year = {1990}}
@techreport{Laa90,
key = {Laa90},
author = {Laan, W. van der},
title = {{A} program generator for database
applications},
institution = {University of Amsterdam},
year = {1990},
note = {Master thesis}}
@manual{LeLisp87,
key = {LeLisp87},
title = {{LeLisp}, {V}ersion 15.21, le manuel de
r{\'{e}}f{\'{e}}rence},
organization = {INRIA},
address = {Rocquencourt},
year = {1987}}
@manual{LS86,
key = {LS86},
author = {M.E. Lesk and E. Schmidt},
title = {{LEX} - {A} lexical analyzer generator},
edition = {UNIX Programmer's Supplementary Documents,
Volume 1 (PS1)},
organization = {Bell Laboratories},
year = {1986}}
@article{Lan65,
author = {P.J. Landin},
title = {A correspondence between ALGOL 60 and Church's
lambda-notation: Parts I and II},
journal = {Communications of the ACM},
volume = {8},
number = {2,3},
pages = {89--101,158--165},
month = {February and March},
year = {1965}
}
@InProceedings{LHJ95,
author = "Sheng Liang and Paul Hudak and Mark Jones",
title = "Monad Transformers and Modular Interpreters",
key = "LHJ95",
booktitle = "Conference Record of POPL'95: 22nd ACM SIGPLAN
SIGACT Symposium on Principles of Programming Languages",
year = 1995
}
@InProceedings{Lin89,
author = "Naomi Lindenstrauss",
title = "A Parallel Implementation of Rewriting and Narrowing",
key = "Lin89",
editor = "N. Dershowitz",
number = 355,
series = "Lecture Notes in Computer Science",
pages = "569--573",
booktitle = "Rewriting Techniques and Applications",
year = 1989,
publisher = "Springer"
}
@inproceedings{LHMR94,
key = "LHMR94",
author = {P. Lincoln and N. Mart\'{\i}-Oliet and J. Meseguer and L. Ricciulli},
title = {Compiling Rewriting onto {SIMD} and {MIMD/SIMD} Machines},
pages = "37--48",
booktitle = "PARLE'94 Parallel Architectures and Languages Europe",
editor = "C. Halatsis and D. Maritsas and G. Philokyprou and S. Theodoridis",
year = "1994",
series = "Lecture Notes in Computer Science",
volume = "817"
}
@inproceedings{Les89,
key = "Les89",
title = "Stacklessness: Compiling Recursion for a Distributed Architecture",
author = "David R. Lester",
year = "1989",
booktitle = "Fourth International Conference on Functional Programming
Languages and Computer Architecture",
pages = "116--128"
}
@inproceedings{Lav88,
key = "Lav88",
author = "Alain Laville",
title = "Implementation of Lazy Pattern Matching Algorithms",
booktitle = "ESOP",
editor = "H. Ganzinger",
series = "Lecture Notes in Computer Science",
volume = "300",
publisher = "Springer-Verlag",
pages = "298--316",
year = "1988"
}
@inproceedings{LH92,
key = "LH92",
author = "Koen Langendoen and Pieter H. Hartel",
title = "FCG: a Code Generator for Lazy Functional Languages",
booktitle = "Compiler Construction",
editor = "U. Kastens and P. Pfahler",
address = "Paderborn",
series = "LNCS",
volume = "641",
publisher = "Springer-Verlag",
year = "1992"
}
@inproceedings{Lau93,
key = "Lau93",
author = "John Launchbury",
title = "A Natural Semantics for Lazy Evaluation",
booktitle = "Twentieth Symposium on Principles of Programming Languages",
publisher = "ACM",
year = "1993",
month = "January",
address = "Charleston"
}
@article{LL93,
key = "LL93",
author = "Rafael D. Lins and Bruno O. Lira",
title = "$\Gamma$CMC: A novel way of compiling functional
languages",
journal = "Journal of Programming Languages",
year = "1993",
number = "1",
pages = "19-40",
editor = "Chapman \& Hall"
}
@phdthesis{Lam83,
key = {Lam83},
author = {D.A. Lamb},
title = {Sharing Intermediate Representations: The Interface
Description Language},
school = {Computer Science Department, Carnegie Mellon University},
address = {Pittsburgh, Pennsylvania},
year = {1983}
}
@techreport{Lam87,
key = {Lam87},
author = {D.A. Lamb},
title = {Using Graph Deltas to Implement Programming Support
Libraries},
number = {87-197},
institution = {Department of Computing and Information Science,
Queen's University},
address = {Kingston, Ontario}
}
@book{Loe81,
author = {Loeliger, R. G.},
title = {{T}hreaded interpretive languages : their design and implementation},
publisher = {Byte Books},
year = {1981}
}
@phdthesis{Lan93,
key = {Lan93},
author = {Koendert Gustaaf Langendoen},
title = {Graph Reduction on Shared-Memory Multiprocessors},
school = {University of Amsterdam},
year = {1993}
}