Bibliography
@incollection{WK95,
key = {WK95},
author = {H.R.\ Walters and J.F.Th.\ Kamperman},
title = {{A Model for I/O in Equational Languages with Don't
Care Non-Determinism}},
pages = {522--535},
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{Wal95,
author = "H.R. Walters",
title = "A high-prefomance engine for hybrid term rewriting",
note = "50 page document about interpreter implementation"
}
@techreport{Wir95,
author = "Claus-Peter Wirth",
title = "Syntactic Confluence Criteria for Positive/Negative-Conditional
Term Rewriting Systems",
institution = "SEKI",
number = "SR-95-09",
year = "1995"
}
@inproceedings{WK96.rta,
author = "H.R. Walters and J.F.Th. Kamperman",
title = "EPIC: An equational language -- Abstract Machine and Supporting Tools",
booktitle = "Rewriting Techniques and Applications 1996",
editor = "Harald Ganzinger",
publisher = "Springer-Verlag",
series = "Lecture Notes in Computer Science",
year = "1996"
}
@book{Weg80,
author = "B. Wegbreit",
title = "Studies in extensible programming languages",
publisher = "Garland",
year = "1980",
series = "Outstanding Dissertations in Computer Sciences",
pages = "427",
note = "ISBN/ISSN 0-8240-4423-1"
}
@techreport{Wal94,
key = {Wal94},
author = {H.R. Walters},
title = {A complete term rewriting system for decimal
integer
arithmetic},
institution = {Centrum voor Wiskunde en Informatica},
number = {CS-9435},
year = {1994},
note = {Available by {\em ftp} from
ftp.cwi.nl:/pub/gipe as
Wal94.ps.Z}
}
@TechReport{WK96,
author = "H.R. Walters and J.F.Th. Kamperman",
title = "EPIC 1.0 (unconditional), An Equational Programming Language",
institution = "CWI",
year = 1996,
institution = "CWI",
number = "CS-R9604",
month = "january",
note = "Available as
http://www.cwi.nl/epic/articles/epic10.ps"
}
@inproceedings{Wal90,
key = {Wal90},
author = {H.R. Walters},
title = {{H}ybrid implementations of algebraic
specifications},
booktitle = {Proceedings of the Second International
Conference on Algebraic and Logic Programming},
series = {Lecture Notes in Computer Science},
editor = {H. Kirchner and W. Wechler},
volume = {463},
pages = {40-54},
organization = {Springer-Verlag},
year = {1990}}
@article{WZ91,
key = {WZ91},
author = {M.N. Wegman and F.K. Zadeck},
title = {Constant Propagation with Conditional
Branches},
journal = {ACM Transactions on Programming Languages and
Systems},
volume = {13},
number = {2},
pages = {181--210},
year = {1991}
}
@article{Wei82,
key = {Wei82},
author = {M. Weiser},
title = {Programmers Use Slices When Debugging},
journal = {Communications of the ACM},
volume = {25},
number = {7},
pages = {446-452},
year = {1982}
}
@article{Wei83,
key = {Wei83},
author = {M. Weiser},
title = {Reconstructing Sequential Behavior
from Parallel Behavior Projections},
journal = {Information Processing Letters},
volume = {17},
number = {3},
pages = {129-135},
year = {1983}
}
@article{Wag86,
key = {Wag86},
author = {E.G. Wagner},
title = {{A}lgebraic theories, data types and control
constructs},
journal = {Fundamenta Informaticae IX},
volume = {3},
pages = {343-370},
year = {1986}}
@article{WE87,
key = {WE87},
author = {E.G. Wagner and H. Ehrig},
title = {{C}anonical constraints for parameterized data
types},
journal = {Theoretical Computer Science},
volume = {50},
pages = {323-349},
year = {1987}}
@article{WF74,
key = {WF74},
author = {R.A. Wagner and M.J. Fischer},
title = {{T}he string-to-string correction problem},
journal = {Journal of the ACM},
volume = {21},
number = {1},
pages = {168-173},
year = {1974}}
@techreport{Wal86a,
key = {Wal86a},
author = {H.R. Walters},
title = {{A}n annotated algebraic specification of the
static semantics of {P}ool},
institution = {University of Amsterdam},
type = {Report {FVI} 86-20},
year = {1986}}
@techreport{Wal89,
key = {Wal89},
author = {H.R. Walters},
title = {{H}ybrid implementations of algebraic
specifications},
institution = {University of Amsterdam},
type = {Report {P}8913},
year = {1989}}
@inproceedings{Wal86b,
key = {Wal86b},
author = {C. Walther},
title = {{A} classification of many-sorted unification
problems},
booktitle = {Proceedings of the Eighth International
Conference on Automated Deduction},
series = {Lecture Notes in Computer Science},
editor = {J.H. Siekmann},
volume = {230},
pages = {527-537},
organization = {Springer-Verlag},
year = {1986}}
@inproceedings{WJ88,
key = {WJ88},
author = {J.A. Walz and G.F. Johnson},
title = {{I}ncremental evaluation for a general class of
circular attribute grammars},
booktitle = {Proceedings of the ACM SIGPLAN '88 Conference
on Programming, Language Design and Implementation},
pages = {115-124},
organization = {ACM},
year = {1988}}
@article{Wan79,
key = {Wan79},
author = {M. Wand},
title = {{F}inal algebra semantics and data type
extensions},
journal = {Journal of Computer and System Sciences},
volume = {19},
pages = {27-44},
year = {1979}}
@inproceedings{Wan85,
key = {Wan85},
author = {M. Wand},
title = {{F}rom interpreter to compiler: a
representational derivation},
booktitle = {Programs as Data Objects, Proceedings of a
workshop},
series = {Lecture Notes in Computer Science},
editor = {H. Ganzinger and N.D. Jones},
volume = {217},
pages = {306-324},
organization = {Springer-Verlag},
year = {1985}}
@manual{WS83,
key = {WS83},
author = {A.I. Wasserman and D.T. Shewmake},
title = {{A} {RAPID}/{USE} tutorial},
organization = {Medical Information Science, University of
California},
address = {San Fransisco},
year = {1983}}
@article{Wei87,
key = {Wei87},
author = {E.A. Weiss},
title = {Report on the {F}rench language - {A}n
informatique vocabulary mandated for official use},
journal = {Abacus},
volume = {4},
number = {2},
pages = {30-33},
year = {1987}}
@article{Wil82,
key = {Wil82},
author = {M.H. Williams},
title = {{A} flexible notation for syntactic
definitions},
journal = {ACM Transactions on Programming Languages and
Systems},
volume = {4},
number = {1},
pages = {113-119},
year = {1982}}
@article {Win90,
key = {Win90},
author = {J. Wing},
title = {{A} specifier's introduction to formal methods},
journal = {Computer },
volume = {23},
number = {9},
pages = {8-24},
year = {1990 }}
@techreport{Wir85a,
key = {Wir85a},
author = {M. Wirsing},
title = {{D}enotational semantics of algebraic
specification languages},
institution = {Universit{\"{a}}t Passau},
type = {Report {MIP}-8501},
year = {1985}}
@inproceedings{Wir85b,
key = {Wir85b},
author = {M. Wirsing},
title = {{D}enotational semantics of algebraic
specification languages},
booktitle = {Proceedings of the IFIP Working Conference on
The Role of Abstract Models in Information Processing},
year = {1985}}
@techreport{WHS89,
key = {WHS89},
author = {M. Wirsing and R. Hennicker and R. Stabl},
title = {{MENU} - an example for the systematic reuse of
specifications},
institution = {Universit{\"{a}}t Passau},
type = {Report {MIP}-8930},
year = {1989}}
@article{WPPDB83,
key = {WPPDB83},
author = {M. Wirsing and P. Pepper and H. Partsch and W.
Dosch and M. Broy},
title = {On hierarchies of abstract data types},
journal = {Acta Informatica},
volume = {20},
pages = {1-33},
year = {1983}}
@incollection{Wad80,
key = "Wad80",
title = "Some Unusual $\lambda$-calculus numeral systems",
author = "C.P. Wadsworth",
booktitle = "To H.B. Curry: Essays on Combinatory Logic,
$\lambda$-calculus, and Formalism",
editor = "J.P. Seldin and J.R. Hindly",
pages = "215-229",
publisher = "Academic Press",
year = 1980
}
@ARTICLE{Wat79,
KEY = "Wat79",
AUTHOR = "D.A. Watt",
TITLE = "An extended attribute grammar for {P}ascal",
JOURNAL = "SIGPLAN Notices",
VOLUME = 14,
NUMBER = 2,
YEAR = 1979,
PAGES = "60-74"
}
@inproceedings{Wad90,
key = "Wad0",
author = "P. Wadler",
title = "Comprehending Monads",
booktitle = "Conference Record of the 1990 ACM
Conference on Lisp and Functional Programming",
pages = "61-78",
organization = "ACM",
year = "1990"}
@misc{Win92.objnewfeat,
author = { T. Winkler},
title = {Introducing {OBJ3}'s new features},
month = {February},
year = {1992}
}
@article{Wei84,
key = {Wei84},
author = {M. Weiser},
title = {Program Slicing},
journal = {IEEE Transactions on Software Engineering},
volume = {10},
number = {4},
year = {1984},
pages = {352-357}
}
@phdthesis{Wie91.thesis,
key = {Wie91},
author = {F. Wiedijk},
title = {Persistence in Algebraic Specifications},
school = {University of Amsterdam},
year = {1991}
}
%%
%% And all the chapters in the book
%%
@incollection{Wal89a,
key = {Wal89a},
author = {H.R. Walters},
title = {{T}he static semantics of {POOL}},
booktitle = {Algebraic Specification},
series = {ACM Press Frontier Series},
editor = {J.A. Bergstra and J. Heering and P. Klint},
pages = {163-198},
publisher = {The ACM Press in co-operation with
Addison-Wesley},
address = {Amsterdam},
year = {1989},
note = {Chapter 4}}
@incollection{Wir90,
key = "Wir90",
author = "M. Wirsing",
title = "Algebraic Specification",
booktitle = "Handbook of Theoretical Computer Science, Volume
{B}",
editor = "J. van Leeuwen",
year = 1990,
publisher = "Elsevier Science Publishers",
pages = "675-789"
}
@techreport{Wie87,
key = {Wie87},
author = {F. Wiedijk},
title = {{T}ermherschrijfsystemen in {P}rolog},
institution = {University of Amsterdam},
type = {{R}apport {P}8704},
year = {1987},
note = {In Dutch}}
@inproceedings{WZ95,
key = "WZ95",
author = "H.R. Walters and H. Zantema",
title = "Rewrite systems for integer arithmetic",
pages = "324---338",
year = "1995",
booktitle = "Rewriting Techniques and Applications",
editor = "Jieh Hsiang",
publisher = "Springer-Verlag",
series = "Lecture Notes in Computer Science",
number = "914"
}
@TechReport{WK94,
key = "WK94",
author = "H.R. Walters and J.F.Th. Kamperman",
title = "A hybrid interpreter for ARM term rewriting",
institution = "CWI",
year = 1994,
type = "COMPARE (ESPRIT) deliverable",
number = "CWI-0002-arm",
note = "Will be submitted for publication"
}
@InProceedings{WG94,
author = "Claus-Peter Wirth and Bernhard Gramlich",
title = "On Notions of Inductive Validity for First-Order
Equational Clauses",
key = "WG89",
editor = "Alan Bundy",
number = 814,
series = "Lecture Notes in Artificial Intelligence",
pages = "162--176",
booktitle = "Proceedings International Conference on Automated Deduction--CADE-12",
year = 1994,
publisher = "Springer"
}
@inproceedings{WW88,
key = "WW88",
author = "John H. Williams and Edward L. Wimmers",
title = "Sacrificing simplicity for convenience: Where do you draw
the line?",
booktitle = "Proceedings of the Fifteenth Annual ACM SIGPLAN Symposium
on Principles of Programming Languages",
year = "1988",
pages = "169-179"
}
@inproceedings{Wad92,
key = "Wad92",
author = "Philip Wadler",
title = "The essence of functional programming",
booktitle = "ACM Symposium on Principles Of Programming Languages (POPL)",
year = "1992"
}
@inproceedings{Wad87,
key = "Wad87",
title = "Views: A way for pattern matching to cohabit with data
abstraction",
author = "Philip Wadler",
booktitle = "Proceedings of the fourteenth ACM conference on {P}rinciples
{O}f {P}rogramming {L}anguages",
year = "1987",
pages = "307--313"
}
@unpublished{Wal94b,
key = "Wal94b",
author = "H.R. Walters",
title = "A library facility for parameterized ASF+SDF specifications:
aslib 1.0",
year = "1994",
month = "October",
pages = "1--6"
}
@article{Wan90,
key = "Wan90",
author = "Ching-lin Wang",
title = "Obtaining Lazy Evaluation with Continuations in
Scheme",
journal = "Information Processing Letters",
volume = "35",
pages = "93-97",
year = "1990",
month = "June",
publisher = "Elsevier Science Publishers"
}
@unpublished{Wal94a,
key = "Wal94a",
title = "Profiles: a syntactic extension for structure hiding
in specifications based on pattern matching",
month = "April",
year = "1994"
}
@inproceedings{Wri91,
key = "Wri91",
author = "David A. Wright",
title = "A New Technique for Strictness Analysis",
month = "April",
year = "1991",
booktitle = "TAPSOFT '91",
editor = "S. Abramsky and T.S.E. Maibaum",
pages = "235--258"
}
@inproceedings{Wi88,
key = {Wi88},
author = {J.C. Wileden and A.L. Wolf and C.D. Fisher and P.L. Tarr},
title = {PGRAPHITE: An Experiment in Persistent Typed Object
Management},
booktitle = {Proceedings of the Third Symposium on Software
Development Environments},
address = {Boston, Massachusetts},
year = {1988},
pages = {130-142}
}
@inproceedings{WW87,
key = "WW87",
author = {Paul Watson and Ian Watson},
title = {An Efficient Garbage COllection Scheme for
Parallel Computer Architectures},
editor = {J.W. de Bakker and A.J. Nijman and P.C. Treleaven, vol. II},
booktitle = {Proceedings PARLE'87 Conference},
publisher = {Springer Verlag},
series = {Lecture Notes in Computer Science},
volume = {259},
pages = {432--443},
year = {1987}
}
@techreport{WK93,
author = {H.R. Walters and J.F.Th. Kamperman},
title = {{A} feasibility study in the formal specification of the {DM}, the {IR} and {C}osy {E}ngines},
institution = {{C}entrum voor {W}iskunde en {I}nformatica (CWI)},
type = {ESPRIT Deliverable},
address = {Amsterdam},
year = {1993},
note = {Unpublished technical report}
}
@techreport{Wolf93,
author = {Wolfram, D.A.},
title = {{A}n {I}mplementation of {H}igher-order {R}ewriting},
institution = {Oxford University Computing Laboratory},
type = {report PRG-TR-8-93},
address = {11 Keble Road, Oxford OX1 3QD},
year = {1993}
}
@techreport{Wal94e,
author = {H.R.Walters},
title = {A hybrid interpreter for ARM term rewriting},
institution = {CWI},
organization = {COMPARE},
year = {1994}
}
@techreport{Wal94f,
author = {H.R.Walters},
title = {Status report on ASF2C},
institution = {CWI},
organization = {COMPARE},
year = {1994}
}
@incollection{War82,
author = {Warren, D.H.D},
title = {{H}igher-order extensions to prolog: are they needed?},
booktitle = {Machine Intelligence 10},
pages = {441-454},
editor = {J.E.Hayes and D.Mitchie and Y-H. Pao},
publisher = {Ellis Horwood and John Wiley and Sons},
series = {Lecture Notes in Mathematics 125},
year = {1982}
}
@article{WK93b,
key = {WK93b},
author = {H.R. Walters and J.F.Th. Kamperman},
title = {A Self-fulfilling Prophecy, design and implementation of a
compiler for algebraic specifications},
note = {to appear}
}
@techreport{War77,
key = {War77},
author = {D.H.D. Warren},
title = {Implementing Prolog - Compiling Predicate Logic Programs},
institution = {Department of Artifical Intelligence, Edinburgh University},
number = {DAI Research Reports 39 and 40},
year = {1977}
}
@inproceedings{Wad88,
key = {Wad88},
title = {Deforestation: Transforming programs to elimate trees},
author = {Philip Wadler},
booktitle = {ESOP '88: Second European Symposium on Programming, France},
editor = {H. Ganzinger},
organization = {Springer-Verlag},
series = {Lecture Notes in Computer Science},
volume = {582},
year = 1988
}
@incollection{WB90,
key = {WB90},
author = {Dietmar Wolz and Paul Boehm},
title = {Compilation of LOTOS Data Type Specifications},
year = {1990},
editor = {E. Brinksma and G. Scollo and C.A. Vissers},
publisher = {Elsevier Science Publishers B.V. (North-Holland)},
booktitle = {Protocol Specification, Testing, and Verification, IX},
pages = {187-202},
note = {IFIP, 1990}
}
@Book{Wolfe:90,
author = "Michael Wolfe",
title = "Optimizing supercompilers for supercomputers",
publisher = "The MIT Press",
address = "Cambridge, MA",
year = "1990",
}
@techreport{Wal94d,
key = {Wal94d},
author = {Walters,H.R.},
title = {Reflexive applicative term rewriting systems},
institution = {CWI},
note = {{\sl To appear.}},
year = 1994
}
@unpublished{Wal94a,
key = "Wal94a",
author = "H.R.Walters",
title = "Profiles: a syntactic extension for structure hiding
in specifications based on pattern matching",
month = "April",
year = "1994",
}
@inproceedings{Wal94c,
key = {Wal94c},
author = {Walters,H.R.},
title = {Implementing tools by algebraic specification},
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},
}
@phdthesis{Wal91,
key = {Wal91},
author = {H.R. Walters},
title = {{O}n {E}qual {T}erms, Implementing Algebraic
Specifications},
school = {University of Amsterdam},
year = {1991},
note = {Available by {\em ftp} from
ftp.cwi.nl:/pub/gipe/reports as
Wal91.ps.Z}
}
@techreport{Wal94,
key = {Wal94},
author = {H.R. Walters},
title = {A Complete Term Rewriting System for Decimal Integer Arithmetic},
number = {CS R9435},
year = {1994},
institution = {CWI}
}