Bibliography
@InProceedings{KW95e,
key = {KW95e},
author = {J.F.Th.\ Kamperman and H.R.\ Walters},
title = {{Minimal Term Rewriting Systems}},
pages = {274--290},
booktitle = {Recent Trends in Data Type Specification},
editor = {Magne Haveraaen and Olaf Owe and Ole-Johan Dahl},
publisher = {Springer Verlag},
series = {Lecture Notes in Computer Science},
volume = {1130},
year = {1996}
}
@unpublished{KP96,
key = {KP96},
author = {Jasper Kamperman and Jaco van de Pol},
title = {Simulation of Strategies in Term Rewriting},
year = {1996},
note = {In preparation}
}
@unpublished{Kli93.disc,
author = "Paul Klint",
title = "The future development of the ASF+SDF formalism",
month = "february",
year = "1993",
note = "discussion note"
}
@inproceedings{KKSV93b,
author = {J.R. Kennaway and J.W. Klop and M.R. Sleep and F.J. de Vries},
editor = {Ronan Sleep and Rinus Plasmeijer and Marko van Eekelen},
title = {An Introduction to Term Graph Rewriting},
chapter = {1},
booktitle = {Term Graph Rewriting: Theory and Practice},
publisher = {John Wiley \& Sons Ltd},
year = {1993}
}
@techreport{KvOR93,
author = "J.W. Klop and V. van Oostrom and F. van Raamsdonk",
title = "Combinatory reduction systems: introduction and survey",
number = "CS-R9362",
institution = "CWI",
month = "september",
year = "1993"
}
@TechReport{KZ89,
author = "Deepak Kapur and Hantao Zhang",
title = "{RRL}: Rewrite Rule Laboratory User's Manual",
institution = "The University of Iowa",
year = "1989",
number = "89-03"
}
@techreport{Kam94,
key = {Kam94},
author = {J.F.Th. Kamperman},
title = {{GEL}, a Graph Exchange Language},
institution = {Centrum voor Wiskunde en Informatica (CWI)},
type = {Report {CS}-{R}9440},
address = {Amsterdam},
year = {1994},
note = {Available by {\em ftp} from
ftp.cwi.nl:/pub/gipe as
Kam94.ps.Z}
}
@techreport{KW94,
key = {KW94},
author = {J.F.Th. Kamperman and H.R. Walters},
title = {Lazy rewriting on eager machinery},
institution = {Centrum voor Wiskunde en Informatica (CWI)},
type = {Report {CS}-{R}9461},
address = {Amsterdam},
year = {1994},
note = {Appeared in RTA'95. Available by {\em ftp} from
ftp.cwi.nl:/pub/gipe as KW94.ps.Z}
}
@techreport{Koo92.seal,
key = {Koo92b},
author = {Koorn, J.W.C.},
title = {Connecting semantic tools to a syntax-directed
user-interface},
institution = {Programming Research Group, University of
Amsterdam},
type = {Report {P}9222},
year = {1992},
note = {Available by {\em ftp} from
ftp.cwi.nl:/pub/gipe as
Koo92a.ps.Z}
}
@inproceedings{Koo92.gse,
author = {Koorn, J.W.C.},
title = {{GSE}: A generic text and structure editor},
booktitle = {Conference Proceedings of Computing Science in
the
Netherlands, CSN'92},
editor = {Dietz, J.L.G.},
pages = {168-177},
organization = {SION},
year = {1992},
note = {Appeared as Report {P}9202, University of
Amsterdam.
Available by {\em ftp} from
ftp.cwi.nl:/pub/gipe as
Koo92b.ps.Z}
}
@techreport{KW93,
key = {KW93},
author = {J. F. Th. Kamperman and H.R. Walters},
title = {{ARM}, Abstract rewriting machine},
institution = {Centrum voor Wiskunde en Informatica},
number = {CS-9330},
year = {1993},
note = {Available by {\em ftp} from
ftp.cwi.nl:/pub/gipe as
KW93.ps.Z}
}
@article{KFS93,
key = {KFS93},
author = {M. Kamkar and P. Fritzson and N. Shahmehri},
title = {Three Approaches to Interprocedural Dynamic
Slicing},
journal = {Microprocessing and Microprogramming},
volume = {38},
pages = {625--636},
year = {1993}
}
@article{KF92,
key = {KF92},
author = {B. Korel and R. Ferguson},
title = {Dynamic Slicing of Distributed Programs},
journal = {Applied Mathematics and Computer Science},
volume = {2},
number = {2},
pages = {199--215},
year = {1992}
}
@inproceedings{Kah87,
key = {Kah87},
author = {G. Kahn},
title = {{N}atural semantics},
booktitle = {Fourth Annual Symposium on Theoretical Aspects
of Computer Science},
series = {LNCS},
editor = {F.J. Brandenburg and G. Vidal-Naquet and M.
Wirsing},
volume = {247},
pages = {22-39},
organization = {Springer-Verlag},
year = {1987}}
@article{KLMM83,
key = {KLMM83},
author = {G. Kahn and B. Lang and B. M{\'{e}}l{\`{e}}se
and E. Morcos},
title = {{M}etal: a formalism to specify formalisms},
journal = {Science of Computer Programming},
volume = {3},
pages = {151-188},
year = {1983}}
@article{Kai89,
key = {Kai89},
author = {G.E. Kaiser},
title = {{I}ncremental dynamic semantics for
language-based programming environments},
journal = {ACM Transactions on Programming Languages and
Systems},
volume = {11},
number = {2},
pages = {169-193},
year = {1989}}
@article{KK85,
key = {KK85},
author = {G.E. Kaiser and E. Kant},
title = {{I}ncremental parsing without a parser},
journal = {The Journal of Systems and Software},
volume = {5},
number = {2},
pages = {121-144},
year = {1985}}
@article{Kam83,
key = {Kam83},
author = {S. Kamin},
title = {Final data types and their specification},
journal = {ACM Transactions on Programming Languages and
Systems},
volume = {5},
number = {1},
pages = {97-123},
year = {1983}}
@techreport{Kam90,
key = {Kam90},
author = {S. Kamin},
title = {A debugging environment for functional
programming in {C}entaur},
institution = {INRIA},
type = {{R}apports de {R}echerche 1265},
address = {Rocquencourt},
year = {1990}}
@techreport{KF90,
key = {KF90},
author = {M. Kamkar and P. Fritzson},
title = {Focusing the bug localization process in
algorithmic debugging },
institution = {Link{\"{o}}ping University},
type = {Technical {R}eport {L}i{TH}-{IDA}-{R}-90-04},
address = {Link{\"{o}}ping},
year = {1990}}
@techreport{KSF89,
key = {KSF89},
author = {M. Kamkar and N. Shahmehri and P. Fritzson},
title = {Affect-chaining and dependency oriented flow
analysis applied },
institution = {Link{\"{o}}ping University},
type = {{T}echnical {R}eport {L}i{TH}-{IDA}-{R}-89-02},
address = {Link{\"{o}}ping},
year = {1989}}
@misc{Kan78,
key = {Kan78},
author = {A. Kanda},
title = {{D}ata types as initial algebras: a unification
of {S}cottery and {ADJ}ery (extended abstract)},
pages = {221-230},
year = {1978}}
@article{Kap84,
key = {Kap84},
author = {S. Kaplan},
title = {{C}onditional rewrite rules},
journal = {Theoretical Computer Science},
volume = {33},
pages = {175-193},
year = {1984}}
@inproceedings{Kap87a,
key = {Kap87a},
author = {S. Kaplan},
title = {{A} compiler for conditional term rewriting
systems},
booktitle = {Proceedings of the First International
Conference on Rewriting Techniques},
series = {Lecture Notes in Computer Science},
editor = {P. Lescanne},
volume = {256},
pages = {25-41},
organization = {Springer-Verlag},
year = {1987}}
@article{Kap87b,
key = {Kap87b},
author = {S. Kaplan},
title = {{S}implifying conditional term rewriting
systems: unification, termination and confluence},
journal = {Journal of Symbolic Computation},
volume = {4},
pages = {295-334},
year = {1987}}
@inproceedings{Kap88,
key = {Kap88},
author = {S. Kaplan},
title = {{P}ositive/negative conditional rewriting},
booktitle = {Conditional Term Rewriting Systems},
series = {LNCS},
editor = {S. Kaplan and J.-P. Jouannaud},
volume = {308},
pages = {129-143},
organization = {Springer-Verlag},
year = {1988}}
@inproceedings{KC89,
key = {KC89},
author = {S. Kaplan and C. Choppy},
title = {{A}bstract rewriting with concrete operators},
booktitle = {Proceedings of the Third International
Conference on Rewriting Techniques and Applications, RTA-89},
series = {Lecture Notes in Computer Science},
editor = {N. Dershowitz},
volume = {355},
pages = {178-186},
organization = {Springer-Verlag},
year = {1989}}
@incollection{Kas84,
key = {Kas84},
author = {U. Kastens},
title = {{T}he {GAG}-{S}ystem - {A} tool for compiler
construction},
booktitle = {Methods and Tools for Compiler Construction},
editor = {B. Lorho},
pages = {165-181},
publisher = {Cambridge University Press},
year = {1984}}
@article{Kat84,
key = {Kat84},
author = {T. Katayama},
title = {{T}ranslation of attribute grammars into
procedures},
journal = {ACM Transactions on Programming Languages and
Systems},
volume = {6},
number = {3},
pages = {345-369},
year = {1984}}
@inproceedings{Ken90,
key = {Ken90},
author = {R. Kennaway},
title = {{T}he specificity rule for lazy
pattern-matching in ambiguous term rewrite systems},
booktitle = {ESOP '90 - Proceedings of the Third European
Symposium on Programming},
series = {Lecture Notes in Computer Science},
editor = {N. Jones},
volume = {432},
pages = {256-270},
organization = {Springer-Verlag},
year = {1990}}
@inproceedings{KW86,
key = {KW86},
author = {K. Kennedy and S.K. Warren},
title = {{A}utomatic generation of efficient evaluators
for attribute grammars},
booktitle = {Conference Record of the Third Annual ACM
Symposium on
Principles of Programming Languages},
pages = {32-49},
organization = {ACM},
year = {1976}}
@techreport{Kir88,
key = {Kir88},
author = {C. Kirchner},
title = {{O}rder-sorted equational unification},
institution = {INRIA},
type = {{R}apports de {R}echerche 954},
address = {Rocquencourt},
year = {1988}}
@inproceedings{KKM88,
key = {KKM88},
author = {C. Kirchner and H. Kirchner and J. Meseguer},
title = {{O}perational {S}emantics of {OBJ}-3},
booktitle = {Proceedings of the Fifteenth International
Conference on Automata, Languages and Programming},
series = {Lecture Notes in Computer Science},
editor = {T. Lepist{\"{o}} and A. Salomaa},
volume = {317},
pages = {287-301},
year = {1988}}
@techreport{KSI84,
key = {KSI84},
author = {H. Kita and T. Sakabe and Y. Inagaki},
title = {{A}lgebraic specification method of programming
languages},
institution = {Nagoya University},
type = {{T}echnical {R}esearch {R}eport 8404},
year = {1984}}
@techreport{Kli81,
key = {Kli81},
author = {P. Klint},
title = {{F}ormal language definitions can be made
practical, {P}reprint},
institution = {Mathematical Centre},
type = {Report {IW} 159/81},
address = {Amsterdam},
year = {1981}}
@techreport{Kli85,
key = {Kli85},
author = {P. Klint},
title = {{A} survey of three language-independent
programming environments},
institution = {Centrum voor Wiskunde en Informatica (CWI)},
type = {Report {CS}-{R}85240},
address = {Amsterdam},
year = {1985}}
@techreport{Klo87,
key = {Klo87},
author = {J.W. Klop},
title = {{T}erm rewriting systems: a tutorial},
institution = {Centrum voor Wiskunde en Informatica (CWI)},
type = {Report {CS}-{R}8701},
address = {Amsterdam},
year = {1987}}
@techreport{KM87a,
key = {KM87a},
author = {J.W. Klop and A. Middeldorp},
title = {{S}trongly sequential term rewriting systems},
institution = {Centrum voor Wiskunde en Informatica (CWI)},
type = {Report {CS}-{R}8730},
address = {Amsterdam},
year = {1987}}
@article{Kni89,
key = {Kni89},
author = {K. Knight},
title = {{U}nification: a multidisciplinary survey},
journal = {ACM Computing Surveys},
volume = {21},
number = {1},
pages = {93-124},
year = {1989}}
@article{Knu68,
key = {Knu68},
author = {D.E. Knuth},
title = {{S}emantics of context-free languages},
journal = {Mathematical Systems Theory},
volume = {2},
number = {2},
pages = {127-145},
year = {1968},
note = {Correction in: Mathematical Systems Theory
5(1), pp. 95-96, Springer-Verlag, 1971}}
@article{Knu71,
key = {Knu71},
author = {D.E. Knuth},
title = {{S}emantics of context-free languages:
correction},
journal = {Mathematical Systems Theory},
volume = {5},
number = {1},
pages = {95-96},
year = {1971}}
@inproceedings{Kom82,
key = {Kom82},
author = {H.J. Komorowski},
title = {{P}artial evaluation as a means for inferencing
data structures in an applicative language: a theory and
implementation in the case of {P}rolog},
booktitle = {Conference Record of the Ninth Annual ACM
Symposium on
Principles of Programming Languages},
pages = {255-267},
organization = {ACM},
year = {1982}}
@article{KM87b,
key = {KM87b},
author = {H.J. Komorowski and J. Ma{\l}uszy{\'{n}}ski},
title = {{L}ogic programming and rapid prototyping},
journal = {Science of Computer Programming},
volume = {9},
pages = {179-205},
year = {1987}}
@article{Kos90,
key = {Kos90},
author = {K. Koskimies},
title = {{L}azy recursive descent parsing for modular
language implementation},
journal = {Software-Practice and Experience},
volume = {20},
number = {8},
pages = {749-772},
year = {1990}}
@techreport{Kro82,
key = {Kro82},
author = {H. Kroeze},
title = {{E}en taalonafhankelijke benadering van
prettyprinten},
institution = {Mathematical Centre},
type = {Report {IN} 21/82},
address = {Amsterdam},
year = {1982},
note = {In Dutch}}
@article{Kas80,
key = {Kas80},
author = {U. Kastens},
title = {Ordered attribute grammars},
journal = {Acta Informatica},
volume = {13},
pages = {229-256},
year = {1980}}
@inproceedings{Kli91.meta,
author = {P. Klint},
booktitle = {Proceedings of the METEOR workshop on Methods
Based on
Formal Specification},
editor = {J.A. Bergstra and L.M.G. Feijs},
institution = {Centrum voor Wiskunde en Informatica (CWI)},
pages = {105-124},
publisher = {Springer-Verlag},
series = {Lecture Notes in Computer Science},
title = {A meta-environment for generating programming
environments},
type = {Report {CS}-{R}9064},
volume = {490},
year = {1991}
}
@techreport{Kli91.modular,
key = {Kli91b},
author = {P. Klint},
title = {Lazy scanner generation for modular regular
grammars},
institution = {Centrum voor Wiskunde en Informatica (CWI)},
type = {Report {CS-R}9158},
address = {Amsterdam},
year = {1991}
}
@techreport{KB93,
author = {Koorn, J.W.C. and Bakker, H.C.N.},
title = {Building an editor from existing components:
an exercise in software re-use},
institution = {Programming Research Group, University of
Amsterdam},
type = {Report {P}9312},
year = {1993},
note = {Available by {\em ftp} from
ftp.cwi.nl:/pub/gipe/reports as
KB93.ps.Z}
}
@article{Kli93.meta,
key = {Kli93a},
author = {P. Klint},
title = {A meta-environment for
generating programming environments},
journal = {ACM Transactions on Software Engineering and
Methodology},
volume = {2},
number = {2},
year = {1993},
pages = {176-201}
}
@techreport{Koo92,
key = {Koo92},
author = {J.W.C. Koorn},
title = {{GSE}: A Generic Text and Structure Editor},
institution = {University of Amsterdam},
type = {Report {P}9202},
year = {1992}
}
@article{KM91,
key = "KM91",
author = "J.W. Klop and A. Middeldorp",
title = "Sequentiality in Orthogonal Term Rewriting Systems",
journal = "Journal of Symbolic Computation",
volume = 12,
pages = "161-195",
year = 1991
}
@ARTICLE{Knu84,
KEY = "Knu84",
TITLE = "Literate Programming",
AUTHOR = "D.E. Knuth",
JOURNAL = "The Computer Journal",
VOLUME = 27,
NUMBER = 2,
YEAR = 1984,
PAGES = "97-111"
}
@techreport{Kam91.idsalgdebug,
key = {Kam91},
author = {M. Kamkar},
title = {Interprocedural dynamic slicing applied to
algorithmic debugging},
institution = {Link{\"{o}}ping University},
type = {{T}echnical {R}eport {L}i{TH}-{IDA}-{R}-91-20},
address = {Link{\"{o}}ping},
year = {1991}
}
@article{KL90,
key = {KL90},
author = {B. Korel and J. Laski},
title = {Dynamic Slicing of Computer Programs},
journal = {Journal of Systems and Software},
volume = {13},
year = {1990},
pages = {187-195}
}
@inproceedings{KKPLW81,
key = {KKPLW81},
author = {D.J. Kuck and R.H. Kuhn and D.A. Padua and B.
Leasure and
M. Wolfe},
title = {Dependence Graphs and Compiler Optimizations},
booktitle = {Conference Record of the Eighth ACM Symposium
on
Principles of Programming Languages},
pages = {207-218},
year = {1981}
}
@techreport{Kam91.overview,
key = {Kam91},
author = {M. Kamkar},
title = {An Overview and Comparative Classification of
Static
and Dynamic Program Slicing},
institution = {Link{\"{o}}ping University},
type = {{T}echnical {R}eport {L}i{TH}-{IDA}-{R}-91-19},
address = {Link{\"{o}}ping},
year = {1991},
note = {To appear in {\it Journal of Systems and
Software}.}
}
@incollection{Kip91,
author = {Kipps, James R.},
title = {{GLR} parsing in time {O($n^3$)}},
pages = {43-59},
editor = {Tomita, M.},
booktitle = {Generalized {LR} Parsing},
year = {1991},
publisher = {Kluwer Academic Publishers},
}
@inproceedings{KSF92,
key = {KSF92},
author = {M. Kamkar and N. Shahmehri and P. Fritzson},
title = {Interprocedural Dynamic Slicing and its
Application
to Generalized Algorithmic Debugging},
year = {1992},
booktitle = {Proceedings of the International Conference on
Programming Language Implementation and Logic
Programming, PLILP '92}
}
@phdthesis{Kam93.thesis,
key = {Kam93},
author = {M. Kamkar},
title = {Interprocedural Dynamic Slicing with
Applications to
Debugging and Testing},
year = {1993},
school = {Link\"{o}ping University}
}
@inproceedings{Kos91,
author = {C.H.A Koster},
title = {Affix Grammars for Programming Languages},
booktitle = {International Summer School on
Atribute Grammars, Applications and Systems},
series = {Lecture Notes in Computer Science},
editor = {H. Alblas and B. Melichar},
volume = {545},
pages = {358-373},
organization = {Springer-Verlag},
year = {1991}}
@unpublished{Kam91,
author = {Jasper Kamperman},
month = {April},
note = {Proposal at IR-meeting},
title = {Migration Scenario's},
year = {1991}
}
@inproceedings{KHC91,
key = "KHC91",
title = "Monitoring Semantics: A Formal Framework for
Specifying,
Implementing, and Reasoning about Execution Monitors",
author = "A. Kishon and P. Hudak and C. Consel",
booktitle = "Proceedings of the ACM SIGPLAN 91 Conference on
Programming Language Design and Implementation",
year = 1991,
pages = "338-352",
note = "Appeared as SIGPLAN Notices 26(6)"
}
@incollection{Klo92,
key = "Klo92",
author = "J.W. Klop",
title = "Term Rewriting Systems",
booktitle = "Handbook of Logic in Computer Science, Volume 2.",
publisher = "Oxford University Press",
year = 1992,
editor = "S. Abramsky and D. Gabbay and T. Maibaum",
pages = "1-116"
}
@book{KR78,
key = {KR78},
author = {B.W. Kernighan and D.M. Ritchie},
title = {{T}he {C} {P}rogramming {L}anguage},
publisher = {Prentice-Hall},
year = {1978}}
@incollection{Kli89,
key = {Kli89},
author = {P. Klint},
title = {Scanner generation for modular regular
grammars},
booktitle = {J.W. de Bakker, 25 Jaar Semantiek, Liber
Amicorum},
institution = {Centrum voor Wiskunde en Informatica (CWI)},
address = {Amsterdam},
year = {1989}}
@book{KP90,
key = {KP90},
author = {K. Koskimies and J. Paakki},
title = {Automating Language Implementation - a
pragmatic approach},
publisher = {Ellis Horwood},
series = {Ellis Horwood books in information technology},
year = {1990}}
@TechReport{KW96,
author = "J.F.Th. Kamperman and H.R. Walters",
title = "Simulating TRSs by Minimal TRSs: a Simple, Efficient, and
Correct Compilation Technique",
institution = "CWI",
year = 1996,
number = "CS-R9605",
month = "january",
note = "Available as http://www.cwi.nl/epic/articles/CS-R9605.ps.Z"
}
@inproceedings{KW95b,
key = "KW95b",
author = "J.F.Th. Kamperman and H.R. Walters",
title = "Lazy Rewriting and Eager Machinery",
pages = "147--162",
year = "1995",
booktitle = "Rewriting Techniques and Applications",
editor = "Jieh Hsiang",
publisher = "Springer-Verlag",
series = "Lecture Notes in Computer Science",
number = "914"
}
@MastersThesis{Koo95,
author = "S.K.Koochak Kosari",
title = "A Peephole Optimization for an Abstract Rewriting Machine",
school = "University of Amsterdam",
year = 1995
}
@Manual{KGF94,
title = "Autoconf -- Generating Automatic Configuration Scripts",
author = "David MacKenzie and Roland McGrath and Noah Friedman",
organization = "FSF",
edition = "1.9",
year = 1994,
month = "april"
}
@InCollection{KU63,
key = {KU63},
author = "A.N. Kolmogorov and V.A. Uspenskii",
title = "On the definition of an algorithm",
booktitle = "American Mathematical Society Translations",
publisher = "American Mathematical Society",
volume = 9,
series = "Series 2"
}
@Misc{Kam94d,
key = "Kam94d",
author = "J.F.Th. Kamperman",
title = "A {GEL} interface for the {DMCP}",
howpublished = "Compare Deliverable",
year = "1994",
month = "september",
note = "see mail 2869",
}
@inproceedings{KPS94,
key = "KPS94",
author = "Herbert Kuchen and Rinus Plasmeijer and Holger Stoltze",
title = "Efficient Distributed Memory Implementation of a Data
Parallel Functional Language",
pages = "464--477",
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{Ken90a,
key = "Ken90a",
author = "Richard Kennaway",
title = "The Specificity Rule for Lazy Pattern Matching in
Ambiguous Term Rewrite Systems",
booktitle = "ESOP",
editor = "N. Jones",
series = "Lecture Notes in Computer Science",
number = "432",
publisher = "Springer-Verlag",
year = "1990",
pages = "256--270"
}
@techreport{KV94,
key = "KV94",
title = "Using Filters for the Disambiguation of Context-free Grammars",
author = "Paul Klint and Eelco Visser",
number = "P9426",
year = "1994",
address = "Programming Research Group, University of Amsterdam"
}
@techreport{KW94,
key = "KW94",
title = "Lazy rewriting on eager machinery",
author = "J.F.Th. Kamperman and H.R. Walters",
type = {Report {CS}-{R}9461},
year = {1994},
institution = {Centrum voor Wiskunde en Informatica (CWI)},
address = {Amsterdam},
note = {Published in RTA'95}
}
@article{Ken90b,
key = "Ken90b",
title = "Implementing Term Rewrite Languages in {DACTL}",
author = "Richard Kennaway",
journal = "Theoretical Computer Science",
volume = "72",
year = "1990",
pages = "225--249"
}
@article{Kea94,
key = "Kea94",
title = "An overview of the {F}lagship system",
author = "John A. Keane",
journal = "Journal of Functional Programming",
volume = "4",
number = "1",
pages = "19-45",
month = "January",
year = "1994"
}
@book{Kli85,
key = "Kli85",
author = "Paul Klint",
title = "A Study in String Processing Languages",
series = "Lecture Notes in Computer Science",
volume = "205",
publisher = "Springer-Verlag",
year = "1985"
}
@phdthesis{Kli82,
key = "Kli82",
author = "Paul Klint",
title = "From {SPRING} to {SUMMER} -- Design, Definition and Implementation
of Programming Languages for String Manipulation and Pattern Matching",
institution = "Technische Hogeschool Eindhoven",
year = "1985"
}
@inproceedings{KW93a,
key = {KW93a},
author = {J.F.Th. Kamperman and H.R. Walters},
title = {{ARM} -- {A}bstract {R}ewriting {M}achine},
booktitle = {Computing Science in the Netherlands},
year = {1993},
pages = {193--204},
editor = {H.A. Wijshoff}
}
@inproceedings{KL89,
key = "KL89",
author = "Philip J. Koopman and Peter Lee",
title = "A Fresh Look at Combinator Graph Reduction
(Or, Having a {TIGRE} by the Tail)",
year = "1989",
booktitle = "Proceedings of SIGPLAN PLDI '89",
publisher = "ACM"
}
@article{Kha90a,
key = "Kha90a",
author = "Z. Khasidashvili",
title = "A Minimal Normalizing Strategy for Orthogonal
And Persistent Term Rewriting Systems",
journal = "Proceedings of I.N. Vekua Institute of applied
Mathematics",
volume = "36",
year = "1990",
pages = "188-199",
note = "Studies in Mathematical Logic and Theory of Algorithms"
}
@article{Kha90b,
key = "Kha90b",
author = "Z. Khasidashvili",
title = "Expression Reduction Systems",
journal = "Proceedings of I.N. Vekua Institute of applied
Mathematics",
volume = "36",
year = "1990",
pages = "200-220",
note = "Studies in Mathematical Logic and Theory of Algorithms"
}
@article{Ken89,
key = "Ken89",
title = "Sequential evaluation strategies for parallel-or and
related reduction systems",
journal = "Annals of Pure and Applied Logic",
number = "43",
pages = "31-56",
year = "1989"
}
@unpublished{KW93b,
key = "KW93b",
title = "Compilation of Algebraic Specifications
-- An Annotated Bibliography",
month = "April",
year = "1993"
}
@unpublished{Kli94,
key = "Kli94",
author = "Paul Klint",
title = "Design of a fixed exchange format for ASF+SDF",
year = "1994",
month = "July",
pages = "1--23"
}
@inproceedings{KKSV93,
author = {J.R. Kennaway and J.W. Klop and M.R. Sleep and F.J. de Vries},
editor = {Ronan Sleep and Rinus Plasmeijer and Marko van Eekelen},
title = {The Adequacy of Term Graph Rewriting for Simulating Term Rewriting},
chapter = {12},
booktitle = {Term Graph Rewriting: Theory and Practice},
publisher = {John Wiley \& Sons Ltd},
year = {1993}
}
@Book{KH92,
author = "G. Kane and J. Heinrich",
title = "{MIPS} {RISC} architecture",
publisher = "Prentice Hall",
year = "1992",
key = "KH92",
}
@Book{KR88,
key = "KR88",
author = "Brian W. Kernighan and Dennis M. Ritchie",
title = "The {C} programming language",
publisher = "Prentice Hall",
year = "1988",
edition = "second"
}
@inproceedings{Kah93,
author = {Kahrs, S.},
title = {{C}ompilation of {C}ombinatory {R}eduction
{S}ystems},
editor = {Jan Heering and Karl Meinke and Berhhard M\"oller and
Tobias Nipkow},
booktitle = {Proceedings of H O A '93, An International Workshop on
Higher-Order Algebra, Logic and Term Rewriting},
publisher = {Springer-Verlag},
series = {Lecture Notes in Computer Science},
volume = {816},
pages = {169--188},
year = {1993}
}
@phdthesis{Klo80,
author = {Klop, J.W.},
title = {{C}ombinatory {R}eduction {S}ystems},
school = {Centrum voor Wiskunde en Informatica},
year = {1980}
}
@inproceedings{Kie85,
key = {Kie85},
author = {Richard B. Kieburtz},
title = {The G-machine: A fast, graph-reduction evaluator},
booktitle = {Functional Programming Languages and Computer Architecture},
series = {Lecture Notes in Computer Science},
volume = {201},
editor = {J.P. Jouannaud},
organization = {Springer-Verlag},
year = 1985,
pages = {368-381}
}
@inproceedings{KI89,
key = {KI89},
author = {H. Klaeren and K. Indermark},
title = {Efficient Implementation of an Algebraic Specification
Language},
booktitle = {Proceedings of the METEOR workshop on Algebraic Methods: Theory, Tools and Applications. Passau 87},
editor = {M. Wirsing and J.A. Bergstra},
organization = {Springer-Verlag},
series = {Lecture Notes in Computer Science},
volume = {394},
year = 1989
}
@techreport{KvEN90,
key = {KEN90a},
author = {P.W.M. Koopman and Marko van Eekelen and Eric Nocker and Sjaak Smetsers and Rinus Plasmeijer},
title = {The ABC-machine: A Sequential Stack-based Abstract Machine for Graph Rewriting},
institution = {University of Nijmegen},
number = {90-22},
month = {December},
year = 1990
}
@inproceedings{Kam94a,
key = {Kam94a},
author = {Kamperman,J.F.Th.},
title = {GEL, a Graph Exchange Language},
booktitle = {Functional programming in the Real World},
editor = {R.Giegerich and J.H.Hughes},
series = {Dagstuhl Seminar Report},
volume = {89},
year = {1994},
organization = {Schloss Dagstuhl},
comment = {Abstract of lecture},
}
@InProceedings{Kli95,
author = {P. Klint},
title = {The Evolution of Implementation Techniques in the
ASF+SDF Meta-environment},
booktitle = {Proceedings of {ASF+SDF'95}: a workshop on Generating
Tools from Algebraic Specifications},
year = {1995},
editor = {Brand, M. G. J. van den and Deursen, A. van and Dinesh,
T. B. and Kamperman, J. and Visser, E.},
publisher = {Technical Report P9504, Programming Research Group,
University of Amsterdam},
month = {May 11 \& 12},
URL = {http://ftp.fwi.uva.nl/pub/programming-research/reports/1995/P9504/},
pages = {5--26}
}
@InProceedings{KW95,
author = {Kamperman, J. F. Th. and Walters, H. R.},
title = {The New {ASF} compiler ---
{A}n exercise in self-applicability},
crossref = {ASF+SDF95},
pages = {271--293}
}
@inproceedings{KWD94,
author = {J.F.Th. Kamperman and T.B. Dinesh and H.R. Walters},
title = {An extensible language for the generation of parallel
Data Manipulation and Control Packages},
booktitle = {Proceedings of the Poster Session of Compiler Construction '94},
editor = {Peter A. Fritzson},
year = {1994},
note = {Appeared as technical report LiTH-IDA-R-94-11, university
of Link\"oping}
}
@phdthesis{Koo94,
key = {Koo94},
author = {J.W.C. Koorn},
title = {Generating uniform user-interfaces for
interactive programming environments},
school = {University of Amsterdam},
year = {1994},
note = {Available by {\em ftp} from ftp.cwi.nl:/pub/gipe/reports as
Koo94.ps.Z}
}
@TechReport{KW95c,
author = "H.R. Walters and J.F.Th. Kamperman",
title = "A model for {I/O} in equational languages with don't
care non-determinism",
institution = "CWI",
year = 1995,
number = "CS-R9572",
month = "december",
note = "Presented at WADT-11, Oslo.
Submitted for publication. Available as
http://www.cwi.nl/epic/articles/CS-R9572.ps.Z"
}
@TechReport{KW95d,
author = "J.F.Th. Kamperman and H.R. Walters",
title = "Minimal Term Rewriting Systems",
institution = "CWI",
year = 1995,
number = "CS-R9573",
month = "december",
note = "Available as http://www.cwi.nl/epic/articles/CS-R9573.ps.Z.
To appear in the proceedings of the 11th
Workshop on Abstract Data Types,
published by Springer-Verlag."
}