Bibliography
@techreport{HW95,
author = "Magne Haveraaen and Eric G. Wagner",
title = "Guarded Algebras and Data Type Specification",
number = "108",
note = "ISSN 0333-3590",
institution = "Department of Informatics, University of Bergen",
year = "1995"
}
@inproceedings{HM93,
author = {B.M. Hearn and K. Meinke},
title = {{ATLAS}: A Type Language for Algebraic Specification},
booktitle = {Higher-Order Algebra, Logic, and Term Rewriting},
editor = {Jan Heering and Karl Meinke and Bernhard M\"{o}ller
and Tobias Nipkow},
publisher = {Springer-Verlag},
series = {Lecture Notes in Computer Science},
number = {816},
year = {1993},
pages = {146-168}
}
@article{Hee86,
key = {Hee86},
author = {J. Heering},
title = {{P}artial evaluation and
{\mbox{$\omega$}}-completeness of algebraic
specifications},
journal = {Theoretical Computer Science},
volume = {43},
pages = {149-167},
year = {1986}
}
@inproceedings{Hee92.implho,
key = {Hee92},
author = {J. Heering},
title = {Implementing Higher-Order Algebraic
Specifications},
booktitle = {Proceedings of the 1992 Workshop on the
lambdaProlog Programming Language},
editor = {D. Miller},
organization = {University of Pennsylvania, Philadelphia},
year = {1992},
note = {Published as report MS-CIS-92-86, pages
141--157.
Available by {\em ftp} from ftp.cwi.nl:/pub/gipe
as
Hee92a.ps.Z
}
}
@techreport{Hen89,
key = {Hen89},
author = {P.R.H. Hendriks},
title = {{L}ists and associative functions in
algebraic specifications - semantics and
implementation},
institution = {Centrum voor Wiskunde en Informatica (CWI)},
type = {Report {CS}-{R}8908},
address = {Amsterdam},
year = {1989}}
@article{HKR90,
key = {HKR90},
author = {J. Heering and P. Klint and J. Rekers},
title = {{I}ncremental generation of parsers},
journal = {IEEE Transactions on Software Engineering},
volume = {16},
number = {12},
pages = {1344-1351},
year = {1990},
note = {Also in: {\it SIGPLAN Notices}, 24(7):179-191,
1989}
}
@techreport{HKR91,
key = {HKR91},
author = {J. Heering and P. Klint and J. Rekers},
title = {Lazy and incremental program generation},
institution = {Centrum voor Wiskunde en Informatica (CWI)},
type = {Report {CS}-{R}9124},
address = {Amsterdam},
year = {1991},
note = {To appear in
{\it ACM Transactions on Programming Languages
and Systems}
}
}
@inproceedings{HPR89.pointers,
key = {HPR89},
author = {S. Horwitz and P. Pfeiffer and T. Reps},
title = {Dependence Analysis for Pointer Variables},
booktitle = {Proceedings of the ACM 1989 Conference on
Programming Language Design and Implementation},
address = {Portland, Oregon},
year = {1989},
note = {{\it SIGPLAN Notices} 24(7)}
}
@inproceedings{HDC88.influence,
key = {HDC88},
author = {J.C. Hwang and M.W. Du and C.R. Chou},
title = {The Influence of Language Semantics on
Program Slices},
booktitle = {Proceedings of the 1988 International
Conference on
Computer Languages},
address = {Miami Beach},
year = {1988}
}
@inproceedings{HDC88.recursive,
key = {HDC88},
author = {J.C. Hwang and M.W. Du and C.R. Chou},
title = {Finding Program Slices for Recursive
Procedures},
booktitle = {Proceedings of the 12th Annual International
Computer
Software and Applications Conference},
address = {Chicago},
year = {1988}
}
@inproceedings{Hau89,
key = {Hau89},
author = {P. Hausler},
title = {Denotational Program Slicing},
booktitle = {Proceedings of the 22nd Hawaii International
Conference
on System Sciences},
address = {Hawaii},
pages = {486--494},
year = {1989}
}
@article{HPR89,
key = {HPR89},
author = {S. Horwitz and J. Prins and T. Reps},
title = {Integrating Noninterfering Versions of
Programs},
journal = {ACM Transactions on Programming Languages and
Systems},
volume = {11},
number = {3},
year = {1989},
pages = {345-387}
}
@article{HR91,
key = {HR91},
author = {S. Horwitz and T. Reps},
title = {Efficient comparison of program slices},
journal = {Acta Informatica},
volume = {28},
pages = {713--732},
year = {1991}
}
@article{Hab85,
key = {Hab85},
author = {A.N. Habermann},
title = {{A}utomatic deletion of obsolete information},
journal = {The Journal of Systems and Software},
volume = {5},
number = {2},
pages = {145-154},
year = {1985}}
@inproceedings{HWWW85,
key = {HWWW85},
author = {J.Y. Halpern and J.H. Williams and E.L. Wimmers
and T.C. Winkler},
title = {{D}enotational semantics and rewrite rules for
{FP}: preliminary version},
booktitle = {Conference Record of the Twelfth Annual ACM
Symposium on
Principles of Programming Languages},
pages = {1-13},
organization = {ACM},
year = {1985}}
@inproceedings{HL88,
key = {HL88},
author = {H. Hansen and M. L{\"{o}}we},
title = {{M}odular {A}lgebraic {S}pecifications},
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 = {168-179},
organization = {Springer-Verlag},
year = {1988}}
@article{Har85,
key = {Har85},
author = {R.W. Harper},
title = {{S}tandard {ML} {I}nput/{O}utput},
journal = {Polymorphism, the ML/LCF/Hope Newsletter},
volume = {II},
number = {2},
year = {1985}}
@inproceedings{HMT87,
key = {HMT87},
author = {R. Harper and R. Milner and M. Tofte},
title = {{A} type discipline for program modules},
booktitle = {TAPSOFT '87 - Proceedings of the International
Joint Conference on Theory and Practice of Software Development
2},
series = {Lecture Notes in Computer Science},
editor = {H. Ehrig and R. Kowalski and G. Levi and U.
Montanari},
volume = {250},
pages = {308-319},
organization = {Springer-Verlag},
year = {1987}}
@article{Har87,
key = {Har87},
author = {L.A. Harris},
title = {{SLR}(1) and {LALR}(1) parsing for unrestricted
grammars},
journal = {Acta Informatica},
volume = {24},
pages = {191-209},
year = {1987}}
@inproceedings{Has88,
key = {Has88},
author = {L. Hascoet},
title = {{P}artial evaluation with inference rules},
booktitle = {Proceedings workshop on Partial Evaluation and
Mixed Computation},
pages = {187-209},
year = {1988},
note = {Appeared as New Generation Computing 6(2-3)}}
@techreport{Hay88,
key = {Hay88},
author = {F. Hayes},
title = {{A} relational algebra specification using
{A}xis},
institution = {Hewlett-Packard Ltd.},
type = {{T}echnical {M}emo {HPL}-{ISC}-{TM}-88-019},
year = {1988}}
@techreport{Hee82,
key = {Hee82},
author = {J. Heering},
title = {{S}tandaard operating systems als oplossing en
als probleem},
institution = {Mathematical Centre},
type = {{R}apport {IN} 20/82},
address = {Amsterdam},
year = {1982},
note = {In Dutch}}
@techreport{Hee85a,
key = {Hee85a},
author = {J. Heering},
title = {{E}entalige programmeeromgevingen},
institution = {Centrum voor Wiskunde en Informatica (CWI)},
type = {{N}otitie {CS}-{N}8503},
address = {Amsterdam},
year = {1985},
note = {In Dutch}}
@techreport{Hee85b,
key = {Hee85b},
author = {J. Heering},
title = {{V}ariaties op het thema "stack" {E}en oefening
in algebra{\"{i}}sche specificatie},
institution = {Centrum voor Wiskunde en Informatica (CWI)},
type = {{N}otitie {CS}-{N}8502},
address = {Amsterdam},
year = {1985},
note = {In Dutch}}
@article{HHKR89,
key = {HHKR89},
author = {J. Heering and P.R.H. Hendriks and P. Klint and
J. Rekers},
title = {{T}he syntax definition formalism {SDF} -
reference manual},
journal = {SIGPLAN Notices},
volume = {24},
number = {11},
pages = {43-75},
year = {1989}}
@techreport{HK85a,
key = {HK85a},
author = {J. Heering and P. Klint},
title = {{T}he efficiency of the {E}quation
{I}nterpreter compared with the {UNH} {P}rolog interpreter},
institution = {Centrum voor Wiskunde en Informatica (CWI)},
type = {Report {CS}-8509},
address = {Amsterdam},
year = {1985}}
@article{HK85b,
key = {HK85b},
author = {J. Heering and P. Klint},
title = {{T}owards monolingual programming environments},
journal = {ACM Transactions on Programming Languages and
Systems},
volume = {7},
number = {2},
pages = {183-213},
year = {1985}}
@article{HK86a,
key = {HK86a},
author = {J. Heering and P. Klint},
title = {{T}he efficiency of the {E}quation
{I}nterpreter compared with the {UNH} {P}rolog interpreter
(extended abstract)},
journal = {SIGPLAN Notices},
volume = {21},
number = {2},
pages = {18-21},
year = {1986}}
@techreport{HK86b,
key = {HK86b},
author = {J. Heering and P. Klint},
title = {{A} syntax definition formalism},
institution = {Centrum voor Wiskunde en Informatica (CWI)},
type = {Report {CS}-{R}8633},
address = {Amsterdam},
year = {1986}}
@incollection{HK88,
key = {HK88},
author = {J. Heering and P. Klint},
title = {{T}owards shorter algebraic specifications: a
simple language definition and its compilation to {P}rolog},
booktitle = {Esprit '88 - Putting the Technology to Use},
volume = {1},
pages = {365-379},
publisher = {North-Holland},
address = {Amsterdam},
year = {1988}}
@techreport{HKR87,
key = {HKR87},
author = {J. Heering and P. Klint and J. Rekers},
title = {{I}ncremental generation of lexical scanners},
institution = {Centrum voor Wiskunde en Informatica (CWI)},
type = {Report {CS}-{R}8761},
address = {Amsterdam},
year = {1987},
note = {To appear in {\it ACM Transactions on
Programming Languages and Systems}}
}
@article{HKR89,
key = {HKR89},
author = {J. Heering and P. Klint and J. Rekers},
title = {{I}ncremental generation of parsers},
journal = {SIGPLAN Notices},
volume = {24},
number = {7},
pages = {179-191},
year = {1989}}
@techreport{Hen87a,
key = {Hen87a},
author = {P.R.H. Hendriks},
title = {{T}ype-checking {M}ini-{ML}: an algebraic
specification with user-defined syntax},
institution = {Centrum voor Wiskunde en Informatica (CWI)},
type = {Report {CS}-{R}8737},
address = {Amsterdam},
year = {1987},
note = {Extended abstract in: Conference Proceedings of
Computing Science in the Netherlands, CSN'87, pp. 21-38, SION
(1987)}}
@inproceedings{Hen87b,
key = {Hen87b},
author = {P.R.H. Hendriks},
title = {{T}ype-checking {M}ini-{ML}: an experience with
user-defined syntax in an algebraic specification},
booktitle = {Conference Proceedings of Computing Science in
the Netherlands, CSN'87},
pages = {21-38},
organization = {SION},
year = {1987}}
@techreport{Hen88a,
key = {Hen88a},
author = {P.R.H. Hendriks},
title = {{ASF} system user's guide},
institution = {Centrum voor Wiskunde en Informatica (CWI)},
type = {Report {CS}-{R}8823},
address = {Amsterdam},
year = {1988},
note = {Extended abstract in: Conference Proceedings of
Computing Science in the Netherlands, CSN'88 1, pp. 83-94, SION
(1988)}}
@inproceedings{Hen88b,
key = {Hen88b},
author = {P.R.H. Hendriks},
title = {{A}utomatic implementation of algebraic
specifications},
booktitle = {Conference Proceedings of Computing Science in
the Netherlands, CSN'88},
volume = {1},
pages = {83-94},
organization = {SION},
year = {1988}}
@incollection{HS84,
key = {HS84},
author = {W. Henhapl and G. Snelting},
title = {{C}ontext relations - a concept for incremental
context analysis in program fragments},
booktitle = {Programmiersprachen und Programmentwicklung, 8.
GI Fachtagung},
series = {Informatik-Fachberichte},
volume = {77},
publisher = {Springer-Verlag},
year = {1984}}
@misc{HKK89,
key = {HKK89},
author = {M. Hermann and C. Kirchner and H. Kirchner},
title = {{I}mplementations of term rewriting systems},
address = {Vand{\oe}uvre-l{\`{e}}s-Nancy},
year = {1989},
note = {To appear in Computer Journal, Bristish
Computer Society}}
@misc{Hoe84a,
key = {Hoe84a},
author = {Hoeven, G.F. van den},
title = {{D}e beschrijving van de algoritmen van
{W}arshall en {D}ijkstra in een functionele programmeertaal},
type = {{M}emorandum {I}nf-84-11},
address = {Enschede},
year = {1984},
note = {In Dutch}}
@techreport{Hoe84b,
key = {Hoe84b},
author = {Hoeven, G.F. van der},
title = {{P}reliminary report on the language {T}wentel},
institution = {Twente University of Technology},
type = {{M}emorandum {I}nf-84-5},
address = {Enschede},
year = {1984}}
@article{HOD82a,
key = {HOD82a},
author = {C.M. Hoffmann and M.J. O'Donnell},
title = {{P}attern matching in trees},
journal = {Journal of the ACM},
volume = {29},
number = {1},
pages = {68-95},
year = {1982}}
@article{HOD82b,
key = {HOD82b},
author = {C.M. Hoffmann and M.J. O'Donnell},
title = {{P}rogramming with equations},
journal = {ACM Transactions on Programming Languages and
Systems},
volume = {4},
number = {1},
pages = {83-112},
year = {1982}}
@inproceedings{Hoo86,
key = {Hoo86},
author = {R. Hoover},
title = {{D}ynamically bypassing copy rule chains in
attribute grammars},
booktitle = {Conference Record of the Thirteenth Annual ACM
Symposium on
Principles of Programming Languages},
pages = {14-25},
organization = {ACM},
year = {1986}}
@inproceedings{HT86a,
key = {HT86a},
author = {R. Hoover and T. Teitelbaum},
title = {{E}fficient incremental evaluation of aggregate
values in attribute grammars},
booktitle = {Proceedings of the ACM SIGPLAN '86 Symposium on
Compiler Construction},
pages = {39-50},
organization = {ACM},
year = {1986},
note = {Appeared as {\it SIGPLAN Notices} 21(7)}}
@inproceedings{Hop86,
key = {Hop86},
author = {J. Hopcroft},
title = {{T}he promise of electronic prototyping},
booktitle = {Proceedings of the Twelfth Syposium on
Mathematical Foundations of Computer Science},
series = {Lecture Notes in Computer Science},
editor = {J. Gruska and B. Rovan and J. Wiedermann},
volume = {233},
pages = {128-139},
organization = {Springer-Verlag},
year = {1986}}
@incollection{Hor85,
key = {Hor85},
author = {J.J. Horning},
title = {{C}ombining algebraic and predicative
specifications in {L}arch},
booktitle = {Formal Methods and Software Development,
TAPSOFT Proceedings 2},
series = {Lecture Notes in Computer Science},
editor = {H. Ehrig and C. Floyd and M. Nivat and J.
Thatcher},
volume = {186},
pages = {12-26},
publisher = {Springer-Verlag},
year = {1985}}
@techreport{HR79,
key = {HR79},
author = {G. Hornung and P. Raulefs},
title = {{T}erminal algebra semantics and retractions
for abstract data types},
institution = {Institut f{\"{u}}r Informatik III,
Universit{\"{a}}t Bonn},
type = {{M}emo {SEKI}-{BN}-79-6},
year = {1979}}
@article{Hor90,
key = {Hor90},
author = {R.N. Horspool},
title = {{I}ncremental generation of {LR} parsers},
journal = {Computer Languages},
volume = {15},
number = {4},
pages = {205-233},
year = {1990}}
@article{HL87,
key = {HL87},
author = {R.N. Horspool and M.R. Levy},
title = {{M}kscan - an interactive scanner generator},
journal = {Software-Practice and Experience},
volume = {17},
number = {6},
pages = {369-378},
year = {1987}}
@inproceedings{HPR88.adequacy,
key = {HPR88.adequacy},
author = {S. Horwitz and J. Prins and T. Reps},
title = {{O}n the adequacy of program dependence graphs
for representing programs},
booktitle = {Conference Record of the Fifteenth Annual ACM
Symposium on
Principles of Programming Languages},
pages = {146-157},
organization = {ACM},
year = {1988}
}
@article{HT86b,
key = {HT86b},
author = {S. Horwitz and T. Teitelbaum},
title = {{G}enerating editing environments based on
relations and attributes},
journal = {ACM Transactions on Programming Languages and
Systems},
volume = {8},
number = {4},
pages = {577-608},
year = {1986}}
@article{Hue80,
key = {Hue80},
author = {G. Huet},
title = {{C}onfluent reductions: abstract properties and
applications to term rewriting systems},
journal = {Journal of the ACM},
volume = {27},
number = {4},
pages = {797-821},
year = {1980}}
@article{Hue81,
key = {Hue81},
author = {G. Huet},
title = {{A} complete proof of correctness of the
{K}nuth-{B}endix completion algorithm},
journal = {Journal of Computer and System Sciences},
volume = {23},
pages = {11-21},
year = {1981}}
@misc{Hue85,
key = {Hue85},
author = {G. Huet},
title = {{D}eduction and computation},
booktitle = {Methods \& Languages for Artificial
Intelligence, INRIA-course},
year = {1985}}
@misc{Hue86,
key = {Hue86},
author = {G. Huet},
title = {{F}ormal structures for computation and
deduction, {F}irst edition lecture notes},
year = {1986}}
@incollection{HO80,
key = {HO80},
author = {G. Huet and D.C. Oppen},
title = {{E}quations and rewrite rules, a survey},
booktitle = {Formal Language Theory, perspectives and open
problems},
editor = {R.V. Book},
pages = {349-405},
publisher = {Academic Press},
year = {1980}}
@techreport{Hul80b,
key = {Hul80b},
author = {J.M. Hullot},
title = {{C}ompilation de formes canoniques dans des
th{\'{e}}ories},
institution = {Universit{\'{e}} de Paris-sud, Centre d'Orsay},
year = {1980},
note = {In French}}
@inproceedings{Hul80a,
key = {Hul80a},
author = {J.M. Hullot},
title = {Canonical forms and Unification},
booktitle = {Proceedings of the Fifth Conference on
Automated Deduction},
series = {Lecture Notes in Computer Science},
editor = {W. Bibel and R. Kowalski},
volume = {87},
pages = {318-334},
organization = {Springer-Verlag},
year = {1980}}
@techreport{Hus85,
key = {Hus85},
author = {H. Hussmann},
title = {{U}nification in conditional-equational
theories},
institution = {Universit{\"{a}}t Passau},
type = {Report {MIP}-8502},
year = {1985},
note = {Extended abstract in: EUROCAL '85: 10th
European Conference on Computer Algebra, ed. B. Buchberger, and
B.F. Caviness, Lecture Notes in Computer Science 204, pp.
543-553, 1985}}
@manual{Hus86a,
key = {Hus86a},
author = {H. Hussmann},
title = {{R}apid prototyping for algebraic
specifications
- {RAP} system user's manual, {V}ersion 2.0,
{D}raft},
organization = {Universit{\"{a}}t Passau},
year = {1986}}
@manual{Hus86b,
key = {Hus86b},
author = {H. Hussmann},
title = {{R}apid prototyping for algebraic
specifications
- {RAP} system installation guide, {V}ersion
2.0},
organization = {Universit{\"{a}}t Passau},
year = {1986}}
@inproceedings{Hus88,
key = {Hus88},
author = {H. Hussmann},
title = {{T}he {P}assau {RAP} system: rapid prototyping
for algebraic specifications},
booktitle = {Proceedings of the First International Workshop
on Conditional Term Rewriting Systems},
series = {LNCS},
editor = {S. Kaplan and J.-P. Jouannaud},
volume = {308},
pages = {264-265},
organization = {Springer-Verlag},
year = {1988}}
@techreport{Hee92.second,
key = {Hee92b},
author = {J. Heering},
title = {Second-order algebraic specification of static
semantics},
institution = {Centrum voor Wiskunde en Informatica (CWI)},
type = {Report {CS}-{R}9254},
address = {Amsterdam},
year = {1992},
note = {Available by {\em ftp} from
ftp.cwi.nl:/pub/gipe/reports as
Hee92b.ps.Z}
}
@phdthesis{Hen91,
key = {Hen91},
author = {P.R.H. Hendriks},
title = {Implementation of Modular Algebraic
Specifications},
school = {University of Amsterdam},
year = {1991}
}
@manual{HHKR92,
author = {J. Heering and P.R.H. Hendriks and P. Klint and
J. Rekers},
title = {{T}he syntax definition formalism {SDF} -
reference manual, \rm version 6 December},
year = {1992},
note = {Earlier version in
{\it SIGPLAN Notices}, 24(11):43-75, 1989.
Available by {\em ftp} from
ftp.cwi.nl:/pub/gipe/reports as
SDFmanual.ps.Z
}
}
@article{HKR92.igls,
key = {HKR92},
author = {J. Heering and P. Klint and J. Rekers},
title = {Incremental generation of lexical scanners},
journal = {ACM Transactions on Programming Languages and
Systems},
volume = {14},
number = {4},
year = {1992},
pages = {490-520}
}
@incollection{HL91,
key = "HL91",
author = "G. Huet and J.-J. L\'{e}vy",
title = "Computations in Orthogonal Rewriting Systems part {I}
and {II}",
booktitle = "Computational Logic; essays in honour of Alan
Robinson",
editor = "J.-L. Lassez and G. Plotkin",
year = 1991,
publisher = "MIT Press",
pages = "395-443"
}
@inproceedings{HR89,
key = "HR89",
author = "H. Hussmann and C. Rank",
title = "Specification and prototyping of a compiler for a
small
applicative language",
booktitle = "Algebraic Methods: Theory, tools and
applications",
editor = "M. Wirsing and J.A. Bergstra",
series = "Lecture Notes in Computer Science",
publisher = "Springer-Verlag",
volume = 394,
year =1989
}
@ARTICLE{HW73,
KEY = "HW73",
AUTHOR = "C.A.R. Hoare and N. Wirth",
TITLE = "An axiomatic definition
of the programming language {P}ascal",
JOURNAL = "Acta Informatica",
VOLUME = 2,
PAGES = "335-355",
YEAR = 1973
}
@article{Hud91,
key = "Hud91",
author = "S.E. Hudson",
title = "Incremental attribute evaluation:
a flexible algorithm for lazy update",
journal = "ACM Transactions on Programming Languages and
Systems",
volume = "13",
number = "3",
pages = "315-341",
year = "1991"}
@inproceedings{HD91.amast,
author = {G. Steve Hirst and T. B. Dinesh},
title = {On combining specifications and their induced
relations
over object oriented programs.},
booktitle = {\it Algebraic Methodology and Software
Technology (AMAST'91)},
editor = { M. Nivat, C. Rattray, T. Rus and G. Scollo},
series = {Workshops in Computing},
publisher = {Springer Verlag},
pages = {70-77},
year = {1992}
}
@inproceedings{HRB88,
key = {HRB88},
author = {S. Horwitz and T. Reps and D. Binkley},
title = {Interprocedural Slicing Using Dependence
Graphs},
booktitle = {Proceedings of the ACM SIGPLAN'88 Conference on
Programming Language Design and Implementation},
pages = {35-46},
year = {1988},
note = {Appeared as {\it SIGPLAN Notices} 23 (7)}
}
@article{HRB90,
key = {HRB90},
author = {S. Horwitz and T. Reps and D. Binkley},
title = {Interprocedural Slicing Using Dependence
Graphs},
journal = {ACM Transactions on Programming Languages and
Systems},
volume = {12},
number = {1},
year = {1990},
pages = {26-61}
}
@article{HN86,
key = {HN86},
author = {A. N. Habermann and D. Notkin},
title = {Gandalf: software development environments},
journal = {IEEE Transactions on Software Engineering},
volume = {12},
number = {12},
pages = {1117-1127},
year = {1986}}
@article{Han78,
key = {Han78},
author = {D.R. Hanson},
title = {Event Associations in {SNOBOL4} for Program
Debugging},
journal = {Software - Practice and Experience},
volume = {8},
pages = {115-129},
year = {1978}}
@incollection{HK89b,
key = {HK89},
author = {J. Heering and P. Klint},
title = {{T}he syntax definition formalism {SDF}},
booktitle = {Algebraic Specification},
series = {ACM Press Frontier Series},
editor = {J.A. Bergstra and J. Heering and P. Klint},
pages = {283-297},
publisher = {The ACM Press in co-operation with
Addison-Wesley},
year = {1989},
note = {Chapter 6}}
@incollection{Hen89a,
key = {Hen89},
author = {P.R.H. Hendriks},
title = {{T}ypechecking {M}ini-{ML}},
booktitle = {Algebraic Specification},
series = {ACM Press Frontier Series},
editor = {J.A. Bergstra and J. Heering and P. Klint},
pages = {299-337},
publisher = {The ACM Press in co-operation with
Addison-Wesley},
year = {1989},
note = {Chapter 7}}
@incollection{HK89a,
key = {HK89},
author = {J. Heering and P. Klint},
title = {{PICO} revisited},
booktitle = {Algebraic Specification},
series = {ACM Press Frontier Series},
editor = {J.A. Bergstra and J. Heering and P. Klint},
pages = {359-379},
publisher = {The ACM Press in co-operation with
Addison-Wesley},
year = {1989},
note = {Chapter 9}}
@techreport{Hoo87.thesis,
author = {R. Hoover},
title = {Incremental graph evaluation},
institution = {Cornell University},
type = {{T}echnical report {TR} 87-836},
address = {Ithaca},
year = {1987},
note = {Ph.D. Thesis}}
@phdthesis{Hed92.thesis,
key = "Hed92",
author = "G. Hedin",
title = "Incremental Semantic Analysis",
school = "Lund University",
year = 1992
}
@techreport{Hee91,
key = {Hee91},
author = {J. Heering},
title = {Implementing higher-order algebraic
specifications},
institution = {Centrum voor Wiskunde en Informatica (CWI)},
type = {Report {CS}-{R}9150},
address = {Amsterdam},
year = {1991},
note = {To appear in the Proceedings of the Workshop on
the
LambdaProlog Programming Language.}
}
@book{HL89,
key = "HL89",
author = "Horebeek, I. van and J. Lewi",
title = "Algebraic Specifications in Software Engineering,
An Introduction",
publisher = "Springer-Verlag",
year = 1989
}
@techreport{Har86,
key = {Har86},
author = {R. Harper},
title = {{M}odules and persistence in {S}tandard {ML}},
institution = {University of Edinburgh},
type = {{R}eport {ECS}-{LFCS}-86-11},
address = {Edinburgh},
year = {1986}}
@techreport{HMM86,
key = {HMM86},
author = {R. Harper and D. MacQueen and R. Milner},
title = {{S}tandard {ML}},
institution = {University of Edinburgh},
type = {{LFCS} {R}eport {S}eries {ECS}-{LFCS}-86-2},
address = {Edinburgh},
year = {1986}}
@techreport{HMT87a,
key = {HMT87},
author = {R. Harper and R. Milner and M. Tofte},
title = {{T}he semantics of {S}tandard {ML} version 1},
institution = {University of Edinburgh},
type = {{R}eport {ECS}-{LFCS}-87-36},
address = {Edinburgh},
year = {1987},
note = {Also published as CSR-244-87}}
@book{Har78,
key = {Har78},
author = {M.A. Harrison},
title = {{I}ntroduction to {F}ormal {L}anguage {T}heory},
publisher = {Addison-Wesley},
year = {1978}}
@incollection{HK87,
key = {HK87},
author = {J. Heering and P. Klint},
title = {{U}ser definable syntax for specification
languages},
booktitle = {ESPRIT '86: Results and Achievements},
pages = {619-630},
publisher = {North-Holland},
year = {1987}}
@book{HU79,
key = {HU79},
author = {J.E. Hopcroft and J.D. Ullman},
title = {{I}ntroduction to {A}utomata {T}heory,
{L}anguages, and {C}omputation},
publisher = {Addison-Wesley},
year = {1979}}
@manual{Hus87,
key = {Hus87},
author = {H. Hussmann},
title = {{R}apid prototyping for algebraic
specifications - {RAP} system user's manual},
organization = {Universit{\"{a}}t Passau},
type = {{R}eport {MIP}-8504},
year = {1987},
note = {2nd revised edition (Version 2.0)}}
@INCOLLECTION{HL91a,
AUTHOR = "Huet, G{\'e}rard and L{\'e}vy, Jean-Jacques",
TITLE = "Computations in Orthogonal Rewriting Systems, {I}",
BOOKTITLE = "Computational Logic:
Essays in honor of Alan Robinson",
PUBLISHER = "MIT Press",
YEAR = 1991,
EDITOR = "Lassez, Jean-Louis and Plotkin, Gordon",
CHAPTER = 11,
ADDRESS = "Cambridge, Massachusetts"
}
@INCOLLECTION{HL91b,
AUTHOR = "Huet, G{\'e}rard and L{\'e}vy, Jean-Jacques",
TITLE = "Computations in Orthogonal Rewriting Systems, {II}",
BOOKTITLE = "Computational Logic:
Essays in honor of Alan Robinson",
PUBLISHER = "MIT Press" ,
YEAR = 1991,
EDITOR = "Lassez, Jean-Louis and Plotkin, Gordon",
CHAPTER = 12,
ADDRESS = "Cambridge, Massachusetts"
}
@inproceedings{HMS93,
key = "HMS93",
author = "Chris Hankin and Daniel Le M\'etayer and David Sands",
title = "A Parallel Programming Style and Its Algebra of Programs",
pages = "367--378",
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{HB93,
key = "HB93",
author = "Matthew Haines and Wim B{\"o}hm",
title = "Task Management, Virtual Shared Memory, and Multithreading
in a Distributed Memory Implementation of Sisal",
pages = "12--23",
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{HL79,
key = "HL79",
author = "G. Huet and J.-J. L\'{e}vy",
title = "Call-by-need computations in non-ambiguous linear term
rewriting systems",
number = "359",
institution = "INRIA",
year = "1979",
note = {Also appeared as: {\em Computations in Orthogonal
Rewriting Systems part {I} and {II}}, in:
`Computational Logic; essays in honour of Alan Robinson'
(eds. J.-L. Lassez and G. Plotkin), MIT Press, Cambridge,
MA, 1991, 395-443}
}
@techreport{HG89,
key = "HG89",
author = "K. Hammond and J.R.W. Glauert",
title = "Implementing Pattern-Matching Functional Languages using
Dactl",
number = "{SYS}-{C89}-{08}",
institution = "School of Information Systems, University of East Anglia",
year = "1989"
}
@article{HJW92,
key = "HJW92",
title = "Report on the Programming Language Haskell, Version 1.2",
author = "Paul Hudak and Simon Peyton Jones and Philip Wadler and
Brian Boutel and Jon Fairbairn and Joseph Fasel and Mar{\'\i}a
Guzm{\'a}n and Kevin Hammond and John Hughes and Thomas Johnsson
and Dick Kieburtz and Rishiyur Nikhil and Will Partain and
John Peterson",
journal = "ACM SIGPLAN Notices",
volume = "27",
number = "5",
month = "May",
year = "1992",
pages = "1--164"
}
@inproceedings{Har87,
key = "Har87",
author = "Dave Harrison",
title = "{RUTH}: A Functional Language for Real-Time Programming",
editor = "J.W. de Bakker and A.J. Nijman and P.C. Treleaven",
booktitle = {Proceedings PARLE'87 Conference},
publisher = {Springer Verlag},
series = {Lecture Notes in Computer Science},
volume = {259},
pages = {141-158},
year = {1987}
}
@article{Hey91,
key = "Hey91",
author = "J{\"u}rgen Heymann",
title = "A Comprehensive Analytical Model for Garbage Collection Algorithms",
journal = "SIGPLAN Notices",
volume = "26",
number = "8",
month = "August",
year = "1991",
publisher = "ACM"
}
@article{HGW94,
key = "HGW94",
author = "Pieter H. Hartel and Hugh Glaser and John M. Wild",
title = "Compilation of Functional Languages using Flow
Graph Analysis",
journal = "Software--Practice and Experience",
volume = "24",
number = "2",
pages = "127-173",
month = "February",
year = "1994"
}
@inproceedings{HG94,
key = "HG94",
title = "Towards a Provably Correct Compiler for {OBJ3}",
author = "Lutz H. Hamel and Joseph A. Goguen",
year = "1994",
booktitle = "Proceedings of the International Conference on
Programming Language Implementation and Logic
Programming, PLILP '94"
}
@TechReport{Ham94,
author = "Lutz H. Hamel",
title = "Towards a provable correct compiler for {OBJ3}",
institution = "Programming Research Group Oxford University Computing Laboratory",
year = 1994,
number = "PRG-TR-1-94"
}
@Article{HJS93,
author = "C.A.R. Hoare and He Jifeng and A.Sampaio",
title = "Normal form approach to compiler design",
journal = "Acta Informatica",
year = 1993,
volume = 30,
pages = "701--739"
}
@inproceedings{Han94,
key = "Han94",
title = "Combining Lazy Narrowing and Simplification",
author = "Michael Hanus",
year = "1994",
booktitle = "Proceedings of the International Conference on
Programming Language Implementation and Logic
Programming, PLILP '94"
}
@article{Han94b,
key = "Han94b",
title = "The Integration of Functions into Logic Programming: From
Theory to Practice",
journal = "The Journal of Logic Programming",
year = "1994",
number = "19,20",
pages = "583--628"
}
@techreport{HK94,
key = "HK94",
author = "Marcel Holsheimer and Martin Kersten",
title = "Architectural Support for Data Mining",
number = "CS-R9429",
institution = "CWI",
year = "1994",
month = "May"
}
@techreport{HWM94,
key = "HWM94",
author = "H.P. Barendrecht and H. Wupper and H. Mulder",
title = "Computable Processes",
number = "CS-R9428",
month = "April",
year = "1994",
institution = "CWI"
}
@techreport{Har91,
key = "Har91",
title = "Harlequin Abstract RISC Processor reference manual",
author = "Harlequin Ltd",
month = "august",
year = "1991",
note = "Confidential Information of Harlequin"
}
@inproceedings{HM76,
key = "HM76",
author = "Peter Henderson and James H. Morris, Jr.",
title = "A Lazy Evaluator",
booktitle = "Proceedings of the ACM conference on Principles of
Programming Languages",
year = "1976"
}
@article{HKR92.igls,
key = {HKR92},
author = {J. Heering and P. Klint and J. Rekers},
title = {Incremental generation of lexical scanners},
journal = {ACM Transactions on Programming Languages and Systems},
volume = {14},
number = {4},
year = {1992},
pages = {490-520}
}
@article{HKR90,
key = {HKR90},
author = {J. Heering and P. Klint and J. Rekers},
title = {{I}ncremental generation of parsers},
journal = {IEEE Transactions on Software Engineering},
volume = {16},
number = {12},
pages = {1344-1351},
year = {1990},
note = {Also in: {\it SIGPLAN Notices}, 24(7):179-191, 1989}
}
@inproceedings{HK89b,
key = {HK89},
author = {J. Heering and P. Klint},
title = {{T}he syntax definition formalism {SDF}},
booktitle = {\cite{BHK89}},
pages = {283-297},
year = {1989}
}
%
% pum's bib file:
%
@Article{HF96,
author = "Pieter~H.~Hartel and Marc~Feeley and others",
title = "Benchmarking Implementations of Functional Languages with
``Pseudoknot'', a Float-Intensive Benchmark",
key = "HF96",
journal = "Journal of Functional Programming",
year = "1996",
note = "Accepted for publication"
}
@inproceedings{Heu88,
key = {Heu88},
author = {Thierry Heuillard},
title = {Compiling Conditional rewriting systems},
booktitle = {Proceedins of the First International Workshop on Conditional Term Rewriting Systems},
editor = {S. Kaplan and J.P. Jouannaud},
series = {Lecture Notes in Computer Science},
volume = {308},
year = {1988},
organization = {Springer-Verlag},
pages = {111-128}
}
@inproceedings{Hul80,
author = {J.M. Hullot},
title = {Canonical Forms and Unification},
booktitle = {Proceedings of the 5th Conference on Automated
Deduction},
publisher = {Springer-Verlag},
series = {Lecture Notes in Computer Science},
volume = {87},
pages = {318-334},
year = {1980}
}
@InProceedings{HK95,
author = {J. Heering and P. Klint},
title = {The Prehistory of {ASF+SDF} (1980-1984)},
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 = {1--4}
}
@InProceedings{Hee95,
author = {J. Heering},
title = {An Algebraic Machine for Imperative Programs (Abstract)},
crossref = {ASF+SDF95},
pages = {27}
}
@inproceedings{HPR88.integrating,
key = {HPR88.integrating},
author = {S. Horwitz and J. Prins and T. Reps},
title = {Integrating Non-Interfering Versions of
Programs},
booktitle = {Conference Record of the ACM SIGSOFT/SIGPLAN
Symposium on
Principles of Programming Languages},
pages = {133-145},
year = {1988}
}
@Unpublished{HJ94,
key = {HJ94},
author = "Paul Hudak and Mark P.Jones",
title = "Haskell vs. {A}da vs. {C}++ vs. {A}wk v.s ...",
note = "http://www.cs.yale.edu/HTML/YALE/CS/HyPlans/hudak-paul.html"
}