Bibliography

@article{ADS93,
    key         = {ADS93},
    author      = {H. Agrawal and R.A. DeMillo and E.H. 
Spafford},
    title       = {Debugging with Dynamic Slicing and 
Backtracking},
    journal     = {Software---Practice and Experience},
    volume      = {23},
    number      = {6},
    pages       = {589--616},
    year        = {1993}
}

@article{AD83,
  key         = {AD83},
  author      = {R. Agrawal and K.D. Detro},
  title       = {An efficient incremental {LR} parser for 
grammars with 
	        epsilon productions},
  journal     = {Acta Informatica},
  volume      = {19},
  pages       = {369-376},
  year        = {1983}}

@article{AC75,
  key         = {AC75},
  author      = {A.V. Aho and M.J. Corasick},
  title       = {Efficient string matching: an aid to 
bibliographic search},
  journal     = {Communications of the ACM},
  volume      = {18},
  number      = {6},
  pages       = {333-340},
  year        = {1975}}

@article{AJU75,
  key         = {AJU75},
  author      = {A.V. Aho and S.C. Johnson and J.D. Ullman},
  title       = {{D}eterministic parsing of ambiguous grammars},
  journal     = {Communications of the ACM},
  volume      = {18},
  number      = {8},
  pages       = {441-452},
  year        = {1975}}

@techreport{AN85,
  key         = {AN85},
  author      = {H. A{\"{i}}t-Kaci and R. Nasr},
  title       = {{LOGIN}: a logic programming language with 
built-in inheritance},
  institution = {Microelectronics and Computer Technology 
Corporation},
  type        = {{MCC} {T}echnical {R}eport {AI}-068-85},
  address     = {Austin, Texas},
  year        = {1985}}

@article{AM85,
  key         = {AM85},
  author      = {V. Ambriola and C. Montangero},
  title       = {{A}utomatic generation of execution tools in a 
{GANDALF} environment},
  journal     = {The Journal of Systems and Software},
  volume      = {5},
  number      = {2},
  pages       = {155-171},
  year        = {1985}}

@techreport{AB87,
  key         = {AB87},
  author      = {P. America and Bakker, J.W. de},
  title       = {Designing equivalent semantic models for 
process creation},
  institution = {Centrum voor Wiskunde en Informatica (CWI)},
  type        = {Report {CS}-{R}8732},
  address     = {Amsterdam},
  year        = {1987}}

@techreport{ABKR85,
  key         = {ABKR85},
  author      = {P. America and Bakker, J.W. de and J.N. Kok and 
J. Rutten},
  title       = {Operational semantics of a parallel 
object-oriented language},
  institution = {Centrum voor Wiskunde en Informatica (CWI)},
  type        = {Report {CS}-{R}8515},
  address     = {Amsterdam},
  year        = {1985}}

@techreport{ABKR86,
  key         = {ABKR86},
  author      = {P. America and Bakker, J.W. de and J.N. Kok and 
J.J.M.M. Rutten},
  title       = {A denotational semantics of a parallel 
object-oriented language},
  institution = {Centrum voor Wiskunde en Informatica (CWI)},
  type        = {Report {CS}-{R}8626},
  address     = {Amsterdam},
  year        = {1986},
  note        = {To appear in Information \& Computation}}

@techreport{Arn88,
  key         = {Arn88},
  author      = {P. Arnold},
  title       = {{T}he user reference manual for the {A}xis 
system},
  institution = {Hewlett-Packard Ltd.},
  type        = {{T}echnical {M}emo},
  year        = {1988},
  note        = {Draft}}

@inproceedings{Att88,
  key         = {Att88},
  author      = {I. Attali},
  title       = {{C}ompiling {TYPOL} with attribute grammars},
  booktitle   = {Proceedings of the International Workshop on 
Programming Language Implementation and Logic Programming '88},
  series      = {Lecture Notes in Computer Science},
  editor      = {P. Deransart and B. Lorho and J. 
Ma{\l}uszy{\'{n}}ski},
  volume      = {348},
  pages       = {252-272},
  organization = {Springer-Verlag},
  year        = {1988}}

@inproceedings{AF88,
  key         = {AF88},
  author      = {I. Attali and P. Franchi-Zannettacci},
  title       = {{U}nification-free execution of {TYPOL} 
programs by semantic attribute evaluation},
  booktitle   = {Proceedings of the Fifth International 
Conference and Symposium on Logic Programming},
  series      = {Logic Programming Series},
  editor      = {R. Kowalski and K. Bowen},
  pages       = {160-177},
  organization = {MIT Press},
  year        = {1988}}

@misc{Aug84,
  key         = {Aug84},
  author      = {A. Augusteijn},
  title       = {{T}wee programmeervoorbeelden in {T}wentel},
  type        = {{M}emorandum {I}nf-84-7},
  address     = {Enschede},
  year        = {1984},
  note        = {In Dutch}}

@techreport{Aug90,
  key         = {Aug90},
  author      = {A. Augusteijn},
  title       = {{T}he {E}legant compiler tool set - {R}elease 
4.0},
  institution = {Philips Research Laboratories},
  address     = {Eindhoven},
  year        = {1990}}

@techreport{Aus90,
  key         = {Aus90},
  author      = {D. Austry},
  title       = {{T}he {VTP} project: modular abstract syntax 
specification},
  institution = {INRIA},
  type        = {{R}apports de {R}echerche 1219},
  address     = {Sophia-Antipolis},
  year        = {1990}}

@inproceedings{AGGMS88,
  key         = {AGGMS88},
  author      = {J. Avenhaus and R. G{\"{o}}bel and B. Gramlich 
and K. Madlener and J. Steinbach},
  title       = {{TRSPEC}: a term rewriting based system for 
algebraic specifications},
  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       = {245-248},
  organization = {Springer-Verlag},
  year        = {1988}}

@inproceedings{ACG92,
  key         = {ACG92},
  author      = {I. Attali and J. Chazarain and S. Gilette},
  title       = {Incremental Evaluation of Natural Semantics 
Specifications},
  booktitle   = {Proceedings of the Fourth International 
Symposium on 
	        Programming Language Implementation 
	        and Logic Programming, '92},
  series      = {Lecture Notes in Computer Science},
  editor      = {M. Bruynooghe and M. Wirsing}, 
  volume      = {631},
  pages       = {87-99},
  organization = {Springer-Verlag},
  year        = {1992}}

@phdthesis{Agr91.thesis,
   author 	= {H. Agrawal},
   title 	= {Towards automatic debugging of Computer Programs},
   school 	= {Purdue University},
   year 	= {1992}
}

@inproceedings{AC90.functypol,
  author      = {I. Attali and J. Chazarain},
  title       = {Functional Evaluation of Strongly Non Circular 
Typol Specifications},
  booktitle   = {Attribute grammars and their applications - 
Proceedings of the WAGA conference},
  series      = {Lecture Notes in Computer Science},
  editor      = {P.Deransart M. Jourdan },
  volume      = {461},
  pages       = {157-176},
  organization = {Springer-Verlag},
  year        = {1990}}

@inproceedings{ADS91,
  key         = {ADS91},
  author      = {H. Agrawal and R.A. DeMillo and E.H. Spafford},
  title       = {Dynamic Slicing in the presence of 
Unconstrained Pointers} ,
  booktitle   = {Proceedings of the ACM Fourth Symposium on 
	         Testing, Analysis, and Verification (TAV4)},		
  pages       = {60-73},
  year        = {1991},
  note        = {Also Purdue University technical report 
SERC-TR-93-P}
}

@inproceedings{AH90,
  key         = {AH90},
  author      = {H. Agrawal and J.R. Horgan},
  title       = {Dynamic Program Slicing},
  booktitle   = {Proceedings of the ACM SIGPLAN'90 Conference on
                 Programming Language Design and Implementation},
  pages       = {246-256},
  year        = {1990},
  note        = {{\it SIGPLAN Notices} 25(6)}
}

@unpublished{AD92,
  key           = "AD92",
  author        = "B.R.T. Arnold and Deursen, A. van",
  title         = "Algebraic Specification of a Language Defining
                        Interest Rate Products",
  year          = 1992,
  note          = "CWI, Amsterdam; ORFIS International, Huis ter 
Heide.
                          Confidential Document."
}

@book{ASDFman93,
  key         = {Kli93b},
  editor      = {P. Klint},
  title       = {The ASF+SDF Meta-environment User's Guide, 
	        \rm version 26 February},
  publisher   = {Centrum voor Wiskunde en Informatica (CWI)},
  year        = {1993},
  note        = {Available by {\em ftp} from 
ftp.cwi.nl:/pub/gipe/reports as  
                 SysManual.ps.Z}
}

@unpublished{Ass91,
   author = {Uwe Assmann},
   month = {April},
   note = {Compare Deliverable D2.2.1, Revision 1.3},
   title = {Requirements on the IR of COMPARE and the COSY Model
 based on an Overview of Optimization Techniques},
   year = {1991}
}

@book{ASU86,
  key         = {ASU86},
  author      = {A.V. Aho and R. Sethi and J.D. Ullman},
  title       = {Compilers. Principles, Techniques and Tools},
  publisher   = {Addison-Wesley},
  year        = {1986}}

@book{AU72,
  key         = {AU72},
  author      = {A.V. Aho and J.D. Ullman},
  title       = {{T}he {T}heory of {P}arsing, {T}ranslation, and 
{C}ompiling - {V}olume {I}: {P}arsing},
  series      = {Series in Automatic Computation},
  publisher   = {Prentice-Hall},
  year        = {1972}}

@book{AU73,
  key         = {AU73},
  author      = {A.V. Aho and J.D. Ullman},
  title       = {{T}he {T}heory of {P}arsing, {T}ranslation, and 
{C}ompiling - {V}olume {II}: {C}ompiling},
  series      = {Series in Automatic Computation},
  publisher   = {Prentice-Hall},
  year        = {1973}}

@manual{Aus89a,
  key         = {Aus89},
  author      = {D. Austry},
  title       = {{T}he {E}rror environment guide},
  series      = {The CENTAUR Documentation - Version 0.9, Volume 
I - User's Guide},
  organization = {INRIA},
  address     = {Sophia-Antipolis},
  year        = {1989}}

@manual{Aus89b,
  key         = {Aus89},
  author      = {D. Austry},
  title       = {{T}he {E}rror user's manual},
  series      = {The CENTAUR Documentation - Version 0.9, Volume 
II - User's Manual},
  organization = {INRIA},
  address     = {Sophia-Antipolis},
  year        = {1989}}

@manual{Aus89c,
  key         = {Aus89},
  author      = {D. Austry},
  title       = {{T}he {M}etal user's guide},
  series      = {The CENTAUR Documentation - Version 0.9, Volume 
I - User's Guide},
  organization = {INRIA},
  address     = {Sophia-Antipolis},
  year        = {1989}}

@manual{AB89a,
  key         = {AB89},
  author      = {D. Austry and P. Borras},
  title       = {{T}he {M}etal {R}eference {M}anual},
  series      = {The CENTAUR Documentation - Version 0.9, Volume 
III - Reference Manual},
  organization = {INRIA},
  address     = {Sophia-Antipolis},
  year        = {1989}}

@manual{AB89b,
  key         = {AB89},
  author      = {D. Austry and P. Borras},
  title       = {{T}he {M}etal user's manual},
  series      = {The CENTAUR Documentation - Version 0.9, Volume 
II - User's Manual},
  organization = {INRIA},
  address     = {Sophia-Antipolis},
  year        = {1989}}

@InProceedings{ALN87,
  author = 	 {Hassan A\"{\i}t Kaci and Patrick Lincoln and Roger Nasr},
  title = 	 "Le Fun: Logic, equations and Functions",
  key =		 "ALN87",
  pages =	 "17--23",
  booktitle =	 "Proceedings of the Symposium on Logic Programming",
  year =	 1987,
  publisher =	 "The conputer society of the IEEE"
}

@Misc{Ama95,
  key =		 "Ama95",
  author =	 "AMAST",
  title =	 "Fourth International Conference on Algebraic Methodology",
  howpublished = "WWW",
  note =	 "Preliminary Program"
}

@inproceedings{AHJT93,
	key = "AHJT93",
	author = "G. Akerholt and K. Hammond and S. Peyton Jones and P. Trinder",
	title = "Processing Transactions on {GRIP}, a Parallel Graph Reducer",
	pages = "634--647",
	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"
}

@techreport{AMP92a,
	key = "AMP92a",
	author = "K.R. Apt and E. Marchiori and C. Palamidessi",
	title = "A theory of first-order built-in's of Prolog",
	number = {CS-R9216},
	year = "1992",
	institution = "CWI"
}

@techreport{AMP92b,
	key = "AMP92b",
	author = "K.R. Apt and E. Marchiori and C. Palamidessi",
	title = "A declarative approach for first-order built-in's of Prolog",
	number = {CS-R9246},
	year = "1992",
	institution = "CWI"
}

@inproceedings{AJ89,
	key = "AJ89",
	author = "Andrew W. Appel and Trevor Jim",
	title = "Continuation-Passing, Closure-Passing Style",
	booktitle = "ACM Symposium on Principles Of Programming Languages (POPL)",
	year = "1989",
	pages = "293--302"
}

@inproceedings{AJ89b,
	key = "AJ89b",
	author = "Lennart Augustsson and Thomas Johnsson",
	title = "Parallel Graph Reduction with the {$\langle \nu,G\rangle$}-machine",
	booktitle = "Fourth International Conference on Functional Programming Languages 
                    and Computer Architecture",
	year = "1989",
	pages = "202--213"
}

@techreport{Aer81,
	key = "Aer81",
	title = "Implementing SASL without garbage collection",
	author = "J.P.H. Aerts",
	number = "81-WSK-05",
	year = "1981",
	month = "November",
	school = "Technological University Eindhoven, Netherlands"
}

@inproceedings{AGL94,
	key = "AGL94",
	author = "Puri Arenas-S\'anchez and Ana Gil-Luezas and
		Francisco J. L\'opez-Fraguas",
	title = "Combining Lazy Narrowing with Disequality Constraints",
	year = "1994",
	booktitle = "Proceedings of the International Conference on
		     Programming Language Implementation and Logic
		     Programming, PLILP '94"
}

@article{ACC82,
	key = "ACC82",
	author = "Malcolm Atkinson and Ken Chisholm and Paul Cockshott",
	title = "PS-Algol: an Algol with a Persistent Heap",
	journal = "ACM SIGPLAN Notices",
	month = "July",
	year = "1982"
}

@inproceedings{Amt93,
	key = "Amt93",
	author = "Torben Amtoft",
	title = "Minimal Thunkification",
	booktitle = "Third International Workshop on Static Analysis, 
                     Padova, Italy",
	series = lncs,
	publisher = "Springer-Verlag",
	volume = "724",
	pages = "218--229",
	year = "1993"
}

@inproceedings{Arg89,
	key = "Arg89",
	author = "Guy Argo",
	title = "Improving the Three Instruction Machine",
	booktitle = "Functional Programming and Computer Architecture",
	year = "1989",
        publisher = "ACM",
        pages = "100--111"
}

@inproceedings{Aug87,
  key = "Aug87",
  author = {Lex Augusteijn},
  title = {Garbage Collection in a Distributed Environment},
  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 = {75--93},
  year = {1987}
}

@book{AHU84,
  author      = {Aho, A.V. and Hopcroft, J.E. and Ullman, J.D.},
  title       = {{T}he {D}esign and {A}nalysis of {C}omputer {A}lgorithms},
  publisher   = {Addison Wesley},
  year        = {1984}
}

@book{AK91,
  key		= {AK91},
  author	= {Hassan A\"{\i}t-Kaci},
  title		= {Warren's Abstract Machine. A Tutorial Reconstruction},
  publisher	= {The MIT Press},
  year		= {1991}
}

@inproceedings{Aug85,
  key		= {Aug85},
  author	= {Lennart Augustsson},
  title		= {Compiling Pattern Matching},
  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{AM87,
  key		= {AM87},
  author	= {Andrew W. Appel and David B. MacQueen},
  title		= {A {S}tandard {ML} Compiler},
  booktitle	= {Functional Programming Languages and Computer Architecture},
  series        = {Lecture Notes in Computer Science},
  volume	= {274},
  editor	= {Gilles Kahn},
  organization	= {Springer-Verlag},
  address	= {New York},
  year 		= 1987,
  pages 	= {301-24}
}

@inproceedings{AGM90,
  key		= {AGM90},
  author	= {Hitoshi Aida and Joseph Goguen and Jos\'e Meseguer},
  title		= {Compiling Concurrent Rewriting onto the Rewrite Rule Machine},
  booktitle	= {Proceedings of the Second International Workshop on Conditional and Typed Rewrite Systems},
  year		= 1990,
  month		= {june},
  organization	= {Springer},
  series	= {Lecture Notes in Computer Science},
  volume	= {516},
  pages		= {320-332}
}

@inproceedings{AAS94,
  author = {Martin Alt and Uwe Assmann and Hans van Someren},
  title = {Cosy Compiler Phase Embedding with the CoSy Compiler Model},
  booktitle = {Compiler Construction '94},
  editor = {Peter A. Fritzson},
  year = {1994},
  volume = {786},
  series = {LNCS},
  pages = {278-293},
  publisher = {Springer-Verlag}
}

@inproceedings{AGP92,
     author = {P.M. Achten and J.H.G. van Groningen and
		  M.J. Plasmeijer},
     title = {High-level specification of I/O in functional
		  languages},
     booktitle = {Proceedings Glasgow Workshop on Functional
		  Programming},
     editor = {John Launchbury},
     publisher = {Springer-Verlag},
     year = {1992}
}

@InProceedings{ASF+SDF95,
  booktitle = 	{Proceedings of {ASF+SDF'95}: a workshop on Generating
		 Tools from Algebraic Specifications},
  title = 	{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/}
}