Bibliography
@techreport{DG95,
key = {DG95},
author = {D. Dams and J.F. Groote},
title = {Specification and Implementation of Components of a {$\mu$}CRL
Toolbox},
institution = {Utrecht Research Institute for Philosophy},
series = {Logic Group Preprint Series},
number = {152},
month = {december},
year = {1995}
}
@techreport{DF95,
key = {DF95},
author = "R\'emi Douence and Pascal Fradet",
title = "A Taxonomy of Functional Language Implementations. Part {I}:
Call-by-Value",
institution = "IRISA",
number = "972",
month = "december",
year = "1995",
note = "obtained as http://www.irisa.fr/EXTERNE/bibli/pi/pi972.html"
}
@book{DHK96,
title = "Language Prototyping. An Algebraic Specification Approach",
publisher = "World Scientific Publishing Inc.",
year = 1996,
month = "april",
editor = "A. van Deursen and J. Heering and P. Klint",
series = "AMAST Series in Computing",
volume = "5"
}
@inproceedings{DJK91,
author = "N. Dershowitz and J.-P. Jouannaud and J.W. Klop",
title = "Open problems in rewriting",
editor = "R.V. Book",
booktitle = "Proceedings of the 4th International Conference on
Rewriting Techniques and Applications",
series = "Lecture Notes in Computer Science",
publisher = "Springer-Verlag",
number = "488",
year = 1991,
pages = "445-456"
}
@inproceedings{Die88,
key = {Die88},
author = {Diepen, N.W.P. van},
title = {Implementation of modular algebraic
specifications},
booktitle = {Proceedings of ESOP '88},
series = {Lecture Notes in Computer Science},
editor = {H. Ganzinger},
volume = {300},
pages = {64-78},
organization = {Springer-Verlag},
year = {1988}
}
@phdthesis{Din92.thesis,
author = {T. B. Dinesh},
title = {Object Oriented Programming --- Inheritance to
Adoption},
school = {Department of Computer Science, University of
Iowa},
year = {1992},
note = {Technical Report 92-02,
Available by {\em ftp} from
ftp.cwi.nl:/pub/gipe as
Din92.ps.Z}
}
@techreport{DT92.anim,
key = {DT92},
author = {T.B. Dinesh and F. Tip},
title = {Animators and Error Reporters for Generated
Programming Environments},
institution = {Centrum voor Wiskunde en Informatica (CWI)},
type = {{R}eport {CS}-{R}9253},
address = {Amsterdam},
year = {1992},
note = {Available by {\em ftp} from
ftp.cwi.nl:/pub/gipe as
DT92.ps.Z}
}
@inproceedings{DGS92a,
key = {DGS92a},
author = {E. Duesterwald and R. Gupta and M.L. Soffa},
title = {Distributed Slicing and Partial Re-execution
for
Distributed Programs},
booktitle = {Proceedings of the fifth workshop on
Languages and
Compilers for Parallel Computing},
address = {New Haven, Connecticut},
pages = {329--337},
year = {1992}
}
@inproceedings{DGS92b,
key = {DGS92b},
author = {E. Duesterwald and R. Gupta and M.L. Soffa},
title = {Rigorous Data Flow Testing through Output
Influences},
booktitle = {Proceedings of the Second Irvine Software
Symposium ISS'92},
pages = {131-145},
address = {California},
year = {1992}
}
@inproceedings{DM82,
key = {DM82},
author = {L. Damas and R. Milner},
title = {{P}rincipal type-schemes for functional
programs},
booktitle = {Conference Record of the Ninth Annual ACM
Symposium on
Principles of Programming Languages},
pages = {207-212},
organization = {ACM},
year = {1982}}
@article{DMM88,
key = {DMM88},
author = {P. Degano and S. Mannucci and B. Mojana},
title = {{E}fficient incremental {LR} parsing for
syntax-directed editors},
journal = {ACM Transactions on Programming Languages and
Systems},
volume = {10},
number = {3},
pages = {345-373},
year = {1988}}
@inproceedings{DD80,
key = {DD80},
author = {A.J. Demers and J.E. Donahue},
title = {{D}ata types, parameters and type checking},
booktitle = {Conference Record of the Seventh Annual ACM
Symposium on
Principles of Programming Languages},
pages = {12-23},
organization = {ACM},
year = {1980}}
@inproceedings{DRZ85,
key = {DRZ85},
author = {A. Demers and A. Rogers and F.K. Zadeck},
title = {{A}ttribute propagation by message passing},
booktitle = {Proceedings of the ACM SIGPLAN '85 Symposium on
Language Issues in Programming Environments},
pages = {43-59},
year = {1985}}
@article{DM85,
key = {DM85},
author = {P. Deransart and J. Ma{\l}uszy{\'{n}}ski},
title = {{R}elating logic programs and attribute
grammars},
journal = {Journal of Logic Programming},
volume = {2},
pages = {119-155},
year = {1985}}
@article{Der79,
key = {Der79},
author = {N. Dershowitz},
title = {{A} note on simplification orderings},
journal = {Information Processing Letters},
volume = {9},
number = {5},
pages = {212-215},
year = {1979}}
@techreport{Der83,
key = {Der83},
author = {N. Dershowitz},
title = {{A}pplications of the completion procedure
(extended abstract)},
institution = {University of Illinois},
type = {{D}epartment of {C}omputer {S}cience},
address = {Urbana, Illinois},
year = {1983}}
@article{Der87,
key = {Der87},
author = {N. Dershowitz},
title = {{T}ermination of rewriting},
journal = {Journal of Symbolic Computation},
volume = {3},
pages = {69-115},
year = {1987}}
@article{DM79,
key = {DM79},
author = {N. Dershowitz and Z. Manna},
title = {{P}roving termination with multiset orderings},
journal = {Communications of the ACM},
volume = {22},
number = {8},
pages = {465-476},
year = {1979}}
@inproceedings{DOS88,
key = {DOS88},
author = {N. Dershowitz and M. Okada and G. Sivakumar},
title = {{C}onfluence of conditional rewrite systems},
booktitle = {Proceedings of the First International Workshop
on Conditional Term Rewriting Systems},
series = {Lecture Notes in Computer Science},
editor = {S. Kaplan and J.-P. Jouannaud},
volume = {308},
pages = {31-44},
organization = {Springer-Verlag},
year = {1988}}
@inproceedings{Des86,
key = {Des86},
author = {J. Despeyroux},
title = {{P}roof of translation in natural semantics},
booktitle = {Symposium on Logic in Computer Science (to
appear)},
address = {Cambridge, Massachussets},
year = {1986}}
@incollection{Des84,
key = {Des84},
author = {T. Despeyroux},
title = {{E}xecutable specification of static semantics},
booktitle = {Semantics of Data Types},
series = {Lecture Notes in Computer Science},
editor = {G. Kahn and D.B. MacQueen and G. Plotkin},
volume = {173},
pages = {215-233},
publisher = {Springer-Verlag},
year = {1984}}
@inproceedings{DF85,
key = {DF85},
author = {D. Detlefs and R. Forgaard},
title = {{A} procedure for automatically proving the
termination of a set of rewrite rules},
booktitle = {Proceedings of the First International
Conference on Rewriting Techniques and Applications},
series = {Lecture Notes in Computer Science},
editor = {J.-P. Jouannaud},
volume = {202},
pages = {255-270},
organization = {Springer-Verlag},
year = {1985}}
@techreport{Die86,
key = {Die86},
author = {Diepen, N.W.P. van},
title = {{A} study in algebraic specification: a
language with goto-statements},
institution = {Centrum voor Wiskunde en Informatica (CWI)},
type = {Report {CS}-{R}8627},
address = {Amsterdam},
year = {1986}}
@techreport{Die88.report,
key = {Die88},
author = {Diepen, N.W.P. van},
title = {{I}mplementation of modular algebraic
specifications},
institution = {Centrum voor Wiskunde en Informatica (CWI)},
type = {Report {CS}-{R}8801},
address = {Amsterdam},
year = {1988}}
@techreport{DR85,
key = {DR85},
author = {Diepen, N.W.P. van and Roever, W.P. de},
title = {{P}rogram derivation through transformations:
the evolution of list-copying algorithms},
institution = {Centrum voor Wiskunde en Informatica (CWI)},
type = {Report {CS}-{R}8520},
address = {Amsterdam},
year = {1985}}
@techreport{DK90,
key = {DK90},
author = {Dijk, M.H.H. van and J.W.C. Koorn},
title = {{GSE}, a generic syntax-directed editor},
institution = {Centrum voor Wiskunde en Informatica (CWI)},
type = {Report {CS}-{R}9045},
address = {Amsterdam},
year = {1990}}
@article{DH87,
key = {DH87},
author = {M. Dincbas and Hentenryck, P. van},
title = {{E}xtended unification algorithms for the
integration of functional programming into logic programming},
journal = {Journal of Logic Programming},
volume = {4},
pages = {199-227},
year = {1987}}
@techreport{DACGR88,
key = {DACGR88},
author = {C. Dollin and P. Arnold and D. Coleman and H.
Gilchrist and T. Rush},
title = {{A}xis tutorial: a simple filing system},
institution = {Hewlett-Packard Ltd.},
type = {{T}echnical {R}eport {HPL}-{ISC}-{TM}-88-18},
year = {1988}}
@techreport{DH88,
key = {DH88},
author = {C. Dollin and F. Hayes},
title = {{T}he {A}xis library manual},
institution = {Hewlett-Packard Ltd.},
type = {{T}echnical {M}emo {HPL}-{ISC}-{TM}-88-033},
year = {1988}}
@techreport{DHKL80,
key = {DHKL80},
author = {V. Donzeau-Gouge and G. Huet and G. Kahn and B.
Lang},
title = {{P}rogramming environments based on structured
editors: the {MENTOR} experience},
institution = {INRIA},
type = {{R}apports de {R}echerche 26},
address = {Rocquencourt},
year = {1980}}
@misc{DLM,
key = {DLM},
author = {V. Donzeau-Gouge and B. Lang and B.
M{\'{e}}l{\`{e}}se},
title = {{P}ractical applications of a syntax directed
program manipulation environment},
type = {{INRIA}},
address = {Domaine de Voluceau}}
@techreport{Dro83,
key = {Dro83},
author = {K. Drosten},
title = {{T}owards executable specifications using
conditional axioms},
institution = {Technische Universit{\"{a}}t Braunschweig},
year = {1983}}
@techreport{Dro85,
key = {Dro85},
author = {K. Drosten},
title = {{T}erm rewriting systems with restricted
variables (extended abstract)},
institution = {Technische Universit{\"{a}}t Braunschweig},
type = {{B}ericht no. 85-11},
year = {1985}}
@inproceedings{Dro88,
key = {Dro88},
author = {K. Drosten},
title = {{T}ranslating algebraic specifications to
{P}rolog programs: a comparative study},
booktitle = {Proceedings of the International Workshop on
Algebraic and Logic Programming},
series = {Lecture Notes in Computer Science},
editor = {J. Grabowski and P. Lescanne and W. Wechler},
volume = {343},
pages = {137-146},
organization = {Springer-Verlag},
year = {1988}}
@techreport{DE84,
key = {DE84},
author = {K. Drosten and H.-D. Ehrich},
title = {{T}ranslating algebraic specifications to
{P}rolog programs},
institution = {Technische Universit{\"{a}}t Braunschweig},
type = {{I}nformatik-{B}ericht {N}r. 84-08},
year = {1984}}
@article{DC90,
key = {DC90},
author = {G.D.P. Dueck and G.V. Cormack},
title = {{M}odular attribute grammars},
journal = {The Computer Journal},
volume = {33},
number = {2},
pages = {164-172},
year = {1990}}
@inproceedings{Dyb83a,
key = {Dyb83a},
author = {P. Dybjer},
title = {{A}lgebraic models of functional languages},
booktitle = {Declarative Programming Workshop},
pages = {146-184},
address = {London},
year = {1983}}
@inproceedings{Dyb83b,
key = {Dyb83b},
author = {P. Dybjer},
title = {{S}emantics and specification - a short
introduction},
booktitle = {Declarative Programming Workshop},
pages = {140-145},
address = {London},
year = {1983}}
@inproceedings{DD93,
key = {DD93},
author = {Deursen, A. van and T.B. Dinesh},
title = {Origin Tracking for Higher-Order Term
Rewriting Systems},
booktitle = {Proceedings of the International Workshop on
Higher-Order Algebra, Logic and Term Rewriting},
editor = {J. Heering and K. Meinke and B. M\"{o}ller and T.
Nipkow},
year = 1993,
month = {September},
address = {Amsterdam},
note = {To Appear,
Also available by {\em ftp}
from ftp.cwi.nl:/pub/gipe/reports as DD93.ps.Z}
}
@techreport{Deu91a,
key = {Deu91a},
author = {Deursen, A. van},
title = {{A}n algebraic specification for the
static semantics of {P}ascal},
institution = {Centrum voor Wiskunde en Informatica (CWI)},
type = {{R}eport {CS}-{R}9129},
address = {Amsterdam},
year = {1991},
note = {Extended abstract in:
{\it Conference Proceedings of Computing
Science in the Netherlands CSN'91}, pages
150-164.
Available by {\em ftp} from
ftp.cwi.nl:/pub/gipe/reports as
Deu91.ps.Z
}
}
@techreport{Deu92.lambda,
key = {Deu92},
author = {Deursen, A. van},
title = {Specification and Generation of a
$\lambda$-calculus
Environment},
institution = {Centrum voor Wiskunde en Informatica (CWI)},
type = {{R}eport {CS}-{R}9233},
address = {Amsterdam},
year = {1992},
note = {Also appeared in J.L.G. Dietz (ed), Proceedings
CSN'92,
pages 14-26.
Available by {\em ftp} from
ftp.cwi.nl:/pub/gipe/reports as
Deu92.ps.Z
}
}
@techreport{Deu94.prs
,key = {Deu94}
,author = {Deursen, A. van}
,title = {Origin Tracking in Primitive Recursive Schemes}
,institution = {Centrum voor Wiskunde en Informatica (CWI)}
,type = {{R}eport {CS}-{R}9401}
,address = {Amsterdam}
,year = {1994}
,note = {An earlier version appeared in
H.A. Wijshof (ed), Proceedings CSN'93, pages 132-143.
Report version available by {\em ftp} from
ftp.cwi.nl:/pub/gipe/reports as Deu94.ps.Z}
}
@techreport{DKT92.origins,
key = {DKT92},
author = {Deursen, A. van and P. Klint and F. Tip},
title = {Origin Tracking},
institution = {Centrum voor Wiskunde en Informatica (CWI)},
type = {{R}eport {CS}-{R}9230},
address = {Amsterdam},
year = {1992},
note = {Available by {\em ftp} from
ftp.cwi.nl:/pub/gipe/reports as
DKT92.ps.Z}
}
@article{DKT93,
key = {DKT93},
author = {Deursen, A. van and P. Klint and F. Tip},
title = {Origin Tracking},
journal = {Journal of Symbolic Computation},
volume = 15,
note = {Special Issue on Automatic Programming},
pages = {523-545},
year = 1993
}
@inproceedings{Din91.iscis,
author = {T. B. Dinesh},
booktitle = {Proceedings of Sixth International Symposium on
Computer and Information Sciences},
title = {Delegation for Flexible Subtyping and Inheritance},
pages = {295-304},
year = {1991}
}
@inproceedings{Din92.eug,
author = {T. B. Dinesh},
booktitle = {Abstracts and Proceedings of Tenth International
Eiffel User Group Conference},
title = {Yet Another Proposal for making Eiffel Type--safe},
year = {1992}
}
@article{Din92.oopsm,
author = {T. B. Dinesh},
title = {Extending Compound Assignments for C++},
journal = {OOPS Messenger},
pages = {45-49},
volume = {3},
number = {1},
year = {1992}
}
@techreport{DMR89,
key = "DMR89",
author = "A. Despland and M. Mazaud and R. Rakotozafy",
title = "Using rewriting techniques to produce
code-generators
and proving them correct",
institution = "INRIA",
type = "{R}apports de {R}echerche 1046",
address = "Sophia-Antipolis",
year = "1989"}
@incollection{DJ90,
key = "DJ90",
author = "N. Dershowitz and J.-P Jouannaud",
title = "Rewrite Systems",
booktitle = "Handbook of Theoretical Computer Science, {V}ol
{B}.",
publisher = "Elsevier Science Publishers",
year = 1990,
editor = "Leeuwen, J. van",
pages = "243-320"}
@incollection{Die89,
key = {Die89},
author = {Diepen, N.W.P. van},
title = {{SMALL} dynamic semantics of a language with
{GOTO}s},
booktitle = {Algebraic Specification},
series = {ACM Press Frontier Series},
editor = {J.A. Bergstra and J. Heering and P. Klint},
pages = {133-161},
publisher = {The ACM Press in co-operation with
Addison-Wesley},
year = {1989},
note = {Chapter 3}}
@inproceedings{DM93,
author = {Deursen, A. van and Mosses, P.D.},
title = {Executing {A}ction {S}emantics descriptions using
{ASF+SDF}},
booktitle = {Algebraic Methodology and Software Technology
(AMAST'93)},
editor = {M. Nivat and C. Rattray and T. Rus and G. Scollo},
year = {1993},
pages = {415-416},
publisher = {Springer-Verlag},
series = {Workshops in Computing},
note = {System demonstration}
}
@techreport{Des88,
key = "Des88",
title = "TYPOL: a Formalism to Implement Natural Semantics",
author = "Th. Despeyroux",
institution = "INRIA",
number = 94,
year = 1988
}
@book{Dij76,
key = "Dij76",
author = "E.W. Dijkstra",
title = "A Discipline of Programming",
publisher = "Prentice-Hall",
year = 1976 }
@book{DJL88,
key = {DJL88},
author = {P. Deransart and M. Jourdan and B. Lorho},
title = {{A}ttribute {G}rammars - {D}efinitions,
{S}ystems and {B}ibliography},
series = {Lecture Notes in Computer Science},
volume = {323 },
publisher = {Springer-Verlag},
year = {1988}}
@manual{Des89,
key = {Des89},
author = {Th. Despeyroux},
title = {{TYPOL} - {R}eference {M}anual},
series = {The CENTAUR Documentation - Version 0.9, Volume
III - Reference Manual},
organization = {INRIA},
address = {Sophia-Antipolis},
year = {1989}}
@manual{DT89,
key = {DT89},
author = {Th. Despeyroux and L. Th{\'{e}}ry},
title = {{TYPOL} - {U}ser's guide and manual},
series = {The CENTAUR Documentation - Version 0.9, Volume
I - User's Guide},
organization = {INRIA},
address = {Sophia-Antipolis},
year = {1989}}
@inproceedings{Deu91b,
key = {Deu91b},
author = {Deursen, A. van},
title = {{A}n algebraic specification for the
static semantics of {P}ascal},
booktitle = {Conference Proceedings of Computing Science in
the
Netherlands, CSN'91},
editor = {Leeuwen, J. van},
pages = {150-164},
organization = {SION},
year = {1991}}
@manual{DK89,
key = {DK89},
author = {Dijk, M.H.H. van and J.W.C. Koorn},
title = {{G}eneric syntax editor},
note = {In: The CENTAUR Documentation -
Version 0.9, Volume I - User's Guide},
organization = {INRIA},
address = {Sophia-Antipolis},
year = {1989}
}
@InProceedings{DL90,
author = "Nachum Dershowitz and Namoi Lindenstrauss",
title = "An Abstract Concurrent Machine for Rewriting",
key = "DL90",
editor = "H.Kirchner and W.Wechler",
number = 463,
series = "Lecture Notes in Computer Science",
pages = "318--331",
booktitle = "Conference Proceedings of the Second International
Conference on Algebraic and Logic Programming",
year = 1990,
publisher = "Springer-Verlag"
}
@InProceedings{DG89,
author = "John Darlington and Yi-ke Guo",
title = "Narrowing And Unification In Functional Programming
--
An Evaluation Mechanism for Absolute Set Abstraction",
key = "DG89",
editor = "N. Dershowitz",
number = 355,
series = "Lecture Notes in Computer Science",
pages = "92--108",
booktitle = "Rewriting Techniques and Applications",
year = 1989,
publisher = "Springer"
}
@inproceedings{DFH93,
key = "DFH93",
author = "J. Darlington and A.J. Field and P.G. Harrison",
title = "Parallel Programming Using Skeleton Functions",
pages = "146--160",
booktitle = "PARLE'93 Parallel Architectures and Languages Europe",
editor = "Arndt Bode and Mike Reeve and Gottfried Wolf",
year = "1993",
series = "Lecture Notes in Computer Science",
volume = "694"
}
@inproceedings{Deu90,
key = "Deu90",
author = "Alain Deutsch",
title = "On determining lifetime and aliasing of dynamically allocated
data in higher-order functional specifications",
booktitle = "Seventeenth Annual {ACM} Symposium on {P}rinciples {O}f
{P}rogramming {Languages}",
publisher = "ACM",
year = "1990",
pages = "157-168"
}
@inproceedings{DWH90,
key = "DWH90",
author = "Alan Demers and Mark Weiser and Barry Hayes and Hans Boehm
and Daniel Bobrow and Scott Shenker",
title = "Combining Generational and Conservative Garbage Collection:
Framework and Implementations",
booktitle = "Seventeenth Annual {ACM} Symposium on {P}rinciples {O}f
{P}rogramming {Languages}",
publisher = "ACM",
year = "1990",
pages = "261-269"
}
@article{DP88,
key = {DP88},
author = {Dershowitz,N. and Plaisted,D.A.},
title = {{E}quational programming},
journal = {Machine Intelligence},
volume = {11},
pages = {21---56},
year = {1986}}
@article{DH92,
key = "DH92",
author = "Olivier Danvy and John Hatcliff",
title = "{CPS}-Transformation After Strictness Analysis",
journal = "ACM Letters on Programming Languages and Systems",
volume = "1",
number = "3",
month = "september",
year = "1992",
pages = "195--212"
}
@inproceedings{DH92.thunks,
key = "DH92.thunks",
author = "Olivier Danvy and John Hatcliff",
title = "Thunks (continued)",
booktitle = "WSA'92: Workshop on Static Analysis",
year = "1992",
month = "September"
}
@techreport{DR94,
key= {DR94},
author= {A.M. Dery and L. Rideau},
title= {A Message Protocol for Distributed Programming
Environments},
institution= {GIPE II, Generation of Interactive Programming
Environments, phase 2, sixth review report},
note= {ESPRIT project 2177},
year= {1994},
month= {january}
}
%% belong to the ASF+SDF overview
@inproceedings{DJK93,
author = {Dershowitz, N. and Jouannaud, J.-P. and Klop, J.W.},
title = {More {P}roblems in {R}ewriting},
booktitle = {Proceeding of the Fifth International Conference on Rewriting Techniques and Application (Montreal, Canada)},
editor = {C.Kirchner},
series = {LNCS 690},
publisher = {Springer Verlag, Berlin},
year = {1993}
}
@mastersthesis{Dik89,
key = {Dik89},
author = {Casper H.S. Dik},
title = {A Fast Implementation of the Algebraic Specification Formalism},
school = {Faculty of Mathematics and Computer Science, University of Amsterdam},
year = {1989},
month = {February}
}
@InProceedings{Deu95,
author = {A. van Deursen},
title = {A Simple Pi-calculus Manipulation Too},
crossref = {ASF+SDF95},
pages = {211--233}
}
@InProceedings{Din95,
author = {Dinesh, T. B.},
title = {Injection Misdemeanors},
crossref = {ASF+SDF95},
pages = {255--270}
}
@techreport{DR94,
key= {DR94},
author= {A.M. Dery and L. Rideau},
title= {A Message Protocol for Distributed Programming
Environments},
institution= {GIPE II, Generation of Interactive Programming
Environments, phase 2, sixth review report},
note= {ESPRIT project 2177},
year= {1994},
month= {january}
}
@inproceedings{Din93,
author = {T. Dinesh},
title = {Type checking revisited: Modular error
handling},
booktitle = {International Workshop on Semantics of
Specification Languages},
place = {Utrecht},
year = {1993},
note = {Full version
available by {\em ftp} from ftp.cwi.nl:/pub/gipe as
Din93.ps.Z}
}
@article{D87,
key = {Der87},
author = {Dershowitz, N.},
title = {{T}ermination of rewriting},
journal = {J. Symbolic Computation},
volume = {3(1\&2)},
month = {Feb./April},
note = {Corrigendum: 4, 3, Dec.\ 1987, 409-410},
year = {1987},
pages = {69--115}
}