Bibliography
@unpublished{BKOV96,
key = {BKOV96},
author = {Mark van den Brand and Paul Klint and Pieter Olivier
and Eelco Visser},
title = {ATerms: representing structured data for exchange between
heterogenous tools},
note = {Draft},
year = {1996},
month = {June}
}
@unpublished{BO96,
key = {BO96},
author = {Mark van den Brand and Pieter Olivier},
title = {The algebraic specification of the AsFix2-to-RNx compiler},
note = {Draft obtained from markvdb@fwi.uva.nl}
}
@article{BW89b,
key = {BW89b},
author = {Duncan A. Buell},
title = {A Multiprecise Integer Arithmetic Package},
journal = {The Journal of Supercomputing},
volume = {3},
year = {1989},
pages = {89-107}
}
@techreport{BDFH96b,
author = "J. Bergstra and T.B. Dinesh and J. Field and J. Heering",
title = "A Complete Transformational Toolkit for Compilers",
institution = "IBM Research Division",
number = "RC 20342",
year = "1996",
note = "Abstract in \cite{BDFH96}"
}
@InProceedings{BDFH96,
author = "J. A. Bergstra and T. B. Dinesh and J. Field and J. Heering",
title = "A Complete Transformational Toolkit for Compilers",
booktitle = "Proceedings European Symposium on Programming (ESOP '96)",
series = lncs,
volume = "1058",
pages = {92-107},
year = 1996,
publisher = "Springer-Verlag",
note = "Full version: Technical Report RC 20342, IBM
T. J. Watson Research Center, Yorktown
Heights, and Technical Report CS-R9601,
Centrum voor Wiskunde en Informatica (CWI), Amsterdam"
}
@article{Buh90,
author = "Boris Buhrshteyn",
title = "Generation and Recognition of Formal Languages by Modifiable
Grammar",
journal = "ACM Sigplan notices",
volume = "25",
number = "12",
month = "december",
year = "1990"
}
@techreport{BS96,
author = "J.A. Bergstra and M.P.A. Sellink",
title = "Sequential Data Algebra Primitives",
institution = "University of Amsterdam, Programming Research Group",
number = "P9602",
month = "march",
year = "1996"
}
@article{BBR95,
author = {J.A.Bergstra and I. Bethke and P.Rodenburg},
title = {A propositional logic with 4 values: true, false,
divergent and meaningless.},
journal = {J. Applied Non-classical Logics},
volume = {5},
number = {2},
pages = {199-217},
year = {1995}
}
@techreport{BH93.homhid,
key = {BH93},
author = {J.A. Bergstra and J. Heering},
title = {Homomorphism preserving algebraic
specifications
require hidden sorts},
institution = {Centrum voor Wiskunde en Informatica (CWI)},
type = {Report {CS}-{R}93XX},
address = {Amsterdam},
year = {1993},
note = {Available by {\em ftp} from
ftp.cwi.nl:/pub/gipe as
BH93.ps.Z}
}
@article{BHK90,
key = {BHK90},
author = {J.A. Bergstra and J. Heering and P. Klint},
title = {Module algebra},
journal = {Journal of the ACM},
volume = {37},
number = {2},
pages = {335-372},
year = {1990}
}
@techreport{BV94,
author = "Brand, Mark van den and Visser, Eelco",
institution = "Programming Research Group, University of
Amsterdam",
month = "July",
note = "Postscript version available by anonymous ftp as
{\tt ftp.fwi.uva.nl:/pub/prg/reports/1994/P9420.ps.Z}",
number = "P9420",
title = "From {Box} to {\TeX}:
{An} algebraic approach to the generation of
documentation tools",
year = "1994"
}
@article{Bar78,
key = {Bar78},
author = {J.M. Barth},
title = {A Practical Interprocedural Data Flow
Analysis Algorithm},
journal = {Communications of the ACM},
volume = {21},
number = {9},
pages = {724--736},
year = {1978}
}
@techreport{BH92,
key = {BH92},
author = {T. Ball and S. Horwitz},
title = {Slicing Programs with Arbitrary Control Flow},
institution = {University of Wisconsin-Madison},
type = {Computer Sciences Technical Report \#1128},
year = {1992}
}
@inproceedings{BE93,
key = {BE93},
author = {J. Beck and D. Eichmann},
title = {Program and Interface Slicing for Reverse
Engineering},
booktitle = {Proceedings of the 15th International
Conference on
Software Engineering},
address = {Baltimore},
year = {1993}
}
@article{BC85.while,
key = {BC85},
author = {J.-F. Bergeretti and B.A. Carr\'{e}},
title = {Information-Flow and Data-Flow Analysis of
{\bf while}-programs},
journal = {ACM Transactions on Programming Languages and
Systems},
volume = {7},
number = {1},
year = {1985},
pages = {37-61}
}
@techreport{BBK84,
key = {BBK84},
author = {J.C.M. Baeten and J.A. Bergstra and J.W. Klop},
title = {{P}riority rewrite systems},
institution = {Centrum voor Wiskunde en Informatica (CWI)},
type = {Report {CS}-{R}8407},
address = {Amsterdam},
year = {1984}}
@techreport{BBK86,
key = {BBK86},
author = {J.C.M. Baeten and J.A. Bergstra and J.W. Klop},
title = {{T}erm rewriting systems with priorities},
institution = {University of Amsterdam},
type = {Report {FVI} 86-03},
year = {1986}}
@techreport{BBKW88,
key = {BBKW88},
author = {J.C.M. Baeten and J.A. Bergstra and J.W. Klop
and W.P. Weijland},
title = {{T}erm rewriting systems with rule priorities},
institution = {Centrum voor Wiskunde en Informatica (CWI)},
type = {Report {CS}-{R}8815},
address = {Amsterdam},
year = {1988}}
@inproceedings{BS86a,
key = {BS86a},
author = {R. Bahlke and G. Snelting},
title = {{C}ontext-sensitive editing with {PSG}
environments},
booktitle = {Proceedings of the International Workshop on
Advanced Programming Environments},
series = {Lecture Notes in Computer Science},
editor = {R. Conradi and T.M. Didriksen and D.H. Wanvik},
volume = {244},
pages = {26-38},
organization = {Springer-Verlag},
year = {1986}}
@article{BS86b,
key = {BS86b},
author = {R. Bahlke and G. Snelting},
title = {{T}he {PSG} system: from formal language
definitions to interactive programming environments},
journal = {ACM Transactions on Programming Languages and
Systems},
volume = {8},
number = {4},
pages = {547-576},
year = {1986}}
@inproceedings{Bak84,
key = {Bak84},
author = {C. Baker-Finch},
title = {{A}cceptable models of algebraic semantics},
booktitle = {Proceedings of the Seventh Australian Computer
Science Conference},
journal = {Australian Computer Science Communications},
volume = {6},
pages = {5-1/10},
year = {1984}}
@misc{Bar85,
key = {Bar85},
author = {H.P. Barendregt},
title = {{F}unctional {P}rogramming},
series = {Esprit LPC Advanced School on Current Trends in
Concurrency},
address = {Noordwijkerhout},
year = {1985}}
@techreport{BKKS86,
key = {BKKS86},
author = {H.P. Barendregt and J.R. Kennaway and J.W. Klop
and M.R. Sleep},
title = {{N}eeded reduction and spine strategies for the
lambda calculus},
institution = {Centrum voor Wiskunde en Informatica (CWI)},
type = {Report {CS}-{R}8621},
address = {Amsterdam},
year = {1986}}
@inproceedings{BV87,
key = {BV87},
author = {C. Beierle and A. Voss},
title = {{T}heory and practice of canonical term
functors in abstract data type specifications},
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 = {320-334},
organization = {Springer-Verlag},
year = {1987}}
@inproceedings{Bel85,
key = {Bel85},
author = {F. Bellegarde},
title = {{C}onvergent term rewriting systems can be used
for program transformation},
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 = {24-41},
organization = {Springer-Verlag},
year = {1985}}
@article{BEZ88,
key = {BEZ88},
author = {R. Berghammer and H. Ehler and H. Zierer},
title = {{T}owards an algebraic specification of code
generation},
journal = {Science of Computer Programming},
volume = {11},
pages = {45-63},
year = {1988}}
@misc{Ber,
key = {Ber},
author = {J.A. Bergstra},
title = {{O}n the use of conditional equations for
datatype specifications},
series = {Unpublished paper}}
@techreport{BHK85,
key = {BHK85},
author = {J.A. Bergstra and J. Heering and P. Knt},
title = {{A}lgebraic definition of a simple programming
language},
institution = {Centrum voor Wiskunde en Informatica (CWI)},
type = {Report {CS}-{R}8504},
address = {Amsterdam},
year = {1985}}
@techreport{BHK87,
key = {BHK87},
author = {J.A. Bergstra and J. Heering and P. Klint},
title = {{ASF} - an algebraic specification formalism},
institution = {Centrum voor Wiskunde en Informatica (CWI)},
type = {Report {CS}-{R}8705},
address = {Amsterdam},
year = {1987}}
@techreport{BHK84,
key = {BHK84},
author = {J.A. Bergstra and J. Heering and J.W. Klop},
title = {{O}bject-oriented algebraic specification:
proposal for a notation and 12 examples},
institution = {Centrum voor Wiskunde en Informatica (CWI)},
type = {Report {CS}-{R}8411},
address = {Amsterdam},
year = {1984}}
@article{BK83,
key = {BK83},
author = {J.A. Bergstra and J.W. Klop},
title = {{I}nitial algebra specifications for
parametrized data types},
journal = {Elektronische Informationsverarbeitung und
Kybernetik},
volume = {19},
number = {1/2},
pages = {17-31},
year = {1983}}
@techreport{BK84,
key = {BK84},
author = {J.A. Bergstra and J.W. Klop},
title = {{A}lgebra{\"{i}}sch programmeren},
institution = {Centrum voor Wiskunde en Informatica (CWI)},
address = {Amsterdam},
year = {1984},
note = {PAO-cursus Software Engineering, in Dutch}}
@article{BK86,
key = {BK86},
author = {J.A. Bergstra and J.W. Klop},
title = {{C}onditional rewrite rules: confluence and
termination},
journal = {Journal of Computer and System Sciences},
volume = {32},
number = {3},
pages = {323-362},
year = {1986}}
@techreport{BM80a,
key = {BM80a},
author = {J.A. Bergstra and J.-J. Ch. Meyer},
title = {{O}n axiomatising finite data structures},
institution = {University of Leiden},
type = {Report 80-18, {I}nstitute of {A}pplied
{M}athematics and {C}omputer {S}cience},
year = {1980}}
@techreport{BM80b,
key = {BM80b},
author = {J.A. Bergstra and J.-J. Ch. Meyer},
title = {{A} simple transfer lemma for algebraic
specifications},
institution = {Free University},
type = {Report {IR}-64, {W}iskundig seminarium},
address = {Amsterdam},
year = {1980}}
@article{BM81,
key = {BM81},
author = {J.A. Bergstra and J.-J.Ch. Meyer},
title = {{S}mall specifications for large finite data
structures},
journal = {International Journal on Computer Mathematics},
volume = {9},
pages = {305-320},
year = {1981}}
@misc{BM82,
key = {BM82},
author = {J.A. Bergstra and J.-J. Ch. Meyer},
title = {{T}he equational specification of finite
minimal unoids using only unary hidden functions},
series = {Annales Societatis Mathematicae Polonae Series
IV: Fundamenta Informaticae},
number = {2},
pages = {143-170},
year = {1982}}
@article{BM84,
key = {BM84},
author = {J.A. Bergstra and J.-J. Ch. Meyer},
title = {{O}n specifying sets of integers},
journal = {Elektronische Informationsverarbeitung und
Kybernetik},
volume = {20},
number = {10/11},
pages = {531-541},
year = {1984}}
@inproceedings{BT80a,
key = {BT80a},
author = {J.A. Bergstra and J.V. Tucker},
title = {{A} characterisation of computable data types
by means of a finite equational specification method},
booktitle = {Proceedings of the Seventh International
Conference on Automata, Languages and Programming},
series = {Lecture Notes in Computer Science},
editor = {J.W. de Bakker and J. van Leeuwen},
volume = {85},
pages = {76-90},
year = {1980}}
@techreport{BT80b,
key = {BT80b},
author = {J.A. Bergstra and J.V. Tucker},
title = {{E}quational specifications for computable data
types: six hidden functions suffice and other sufficiency
bounds},
institution = {Mathematical Centre},
type = {Report {IW} 128/80},
address = {Amsterdam},
year = {1980}}
@techreport{BT80c,
key = {BT80c},
author = {J.A. Bergstra and J.V. Tucker},
title = {{A} natural data type with a finite equational
final semantics specification but no effective initial semantics
specification},
institution = {Mathematical Centre},
type = {Report {IW} 133/80},
address = {Amsterdam},
year = {1980}}
@techreport{BT80d,
key = {BT80d},
author = {J.A. Bergstra and J.V. Tucker},
title = {{O}n bounds for the specification of finite
data types by means of equations and conditional equations},
institution = {Mathematical Centre},
type = {Report {IW} 131/80},
address = {Amsterdam},
year = {1980}}
@article{BT82,
key = {BT82},
author = {J.A. Bergstra and J.V. Tucker},
title = {{T}he completeness of the algebraic
specification methods for computable data types},
journal = {Information and Control},
volume = {54},
number = {3},
pages = {186-200},
year = {1982}}
@article{BT83a,
key = {BT83a},
author = {J.A. Bergstra and J.V. Tucker},
title = {{I}nitial and final algebra semantics for data
type specifications: two characterization theorems},
journal = {SIAM Journal on Computing},
volume = {12},
number = {2},
pages = {366-387},
year = {1983}}
@article{BT87,
key = {BT87},
author = {J.A. Bergstra and J.V. Tucker},
title = {{A}lgebraic specifications of computable and
semicomputable data types},
journal = {Theoretical Computer Science},
volume = {50},
pages = {137-181},
year = {1987}}
@inproceedings{BW78,
key = {BW78},
author = {J.A. Bergstra and Weide, Th.P. van der},
title = {{P}rocess semantics of algebraic datatypes},
booktitle = {Colloquia Mathematica Societatis J{\'{a}}nos
Bolyai 26: Mathematical Logic in Computer Science},
pages = {167-180},
year = {1978}}
@misc{BBC,
key = {BBC},
author = {G. Bernot and M. Bidoit and C. Choppy},
title = {{I}nitial models of algebraic specifications
with exception handling, {D}raft},
address = {Orsay}}
@techreport{BC84,
key = {BC84},
author = {G. Berry and L. Cosserat},
title = {{T}he {ESTEREL} synchronous programming
language and its mathematical semantics},
institution = {INRIA},
type = {{R}apports de {R}echerche 327},
address = {Sophia-Antipolis},
year = {1984}}
@techreport{BGS88a,
key = {BGS88a},
author = {H. Bertling and H. Ganzinger and R.
Sch{\"{a}}fers},
title = {{CEC}: a system for conditional equational
completion - {U}ser's manual (version 1.4)},
institution = {Universit{\"{a}}t Dortmund},
type = {{T}echnical {R}eport},
year = {1988}}
@inproceedings{BGS88b,
key = {BGS88b},
author = {H. Bertling and H. Ganzinger and R.
Sch{\"{a}}fers},
title = {{CEC}: a system for the completion of
conditional equational 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 = {249-250},
organization = {Springer-Verlag},
year = {1988}}
@incollection{BMM79,
key = {BMM79},
author = {A. Bertoni and G. Mauri and P.A. Miglioli},
title = {{A} characterization of abstract data as
model-theoretic invariants},
booktitle = {Automata, Languages and Programming, Sixth
Colloquium},
series = {Lecture Notes in Computer Science},
editor = {H.A. Maurer and G. Goos and J. Hartmanis},
volume = {71},
pages = {26-37},
publisher = {Springer-Verlag},
year = {1979}}
@inproceedings{BMM80,
key = {BMM80},
author = {A. Bertoni and G. Mauri and P. Miglioli},
title = {{T}owards a theory of abstract data types: a
discussion of problems and tools},
booktitle = {International Symposium on Programming},
series = {Lecture Notes in Computer Science},
editor = {B. Robinet and G. Goos and J. Hartmanis},
volume = {83},
pages = {44-58},
organization = {Springer-Verlag},
year = {1980}}
@article{BMMW79,
key = {BMMW79},
author = {A. Bertoni and G. Mauri and P.A. Miglioli and
M. Wirsing},
title = {{O}n different approaches to abstract data
types and the existence of recursive models},
journal = {Bulletin of the European Association for
Theoretical Computer Science},
volume = {9},
pages = {47-57},
year = {1979}}
@incollection{Ber86,
key = {Ber86},
author = {A.T. Berztiss},
title = {{D}ata abstraction in the specification of
information systems},
booktitle = {Information Processing 86},
editor = {H.-J. Kugler},
pages = {83-90},
publisher = {Elsevier Science Publishers},
year = {1986}}
@incollection{BT83b,
key = {BT83b},
author = {A.T. Berztiss and S. Thatte},
title = {{S}pecification and implementation of abstract
data types},
booktitle = {Advances in Computers 22},
editor = {M.C. Yovits},
pages = {295-353},
year = {1983}}
@inproceedings{BC85a,
key = {BC85a},
author = {G.M. Beshers and R.H. Campbell},
title = {{M}aintained and constructor attributes},
booktitle = {Proceedings of the ACM SIGPLAN '85 Symposium on
Language Issues in Programming Environments},
pages = {34-42},
year = {1985}}
@inproceedings{BCCKSV88,
key = {BCCKSV88},
author = {M. Bidoit and F. Capy and C. Choppy and S.
Kaplan and F. Schlienger and F. Voisin},
title = {{ASSPEGIQUE}: an integrated specification
environment},
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 = {251-252},
organization = {Springer-Verlag},
year = {1988}}
@inproceedings{BC85b,
key = {BC85b},
author = {M. Bidoit and C. Choppy},
title = {{ASSPEGIQUE}: an integrated environment for
algebraic specifications},
booktitle = {Formal Methods and Software Development -
Proceedings of the International Joint Conference on Theory and
Practice of Software Development 2},
series = {LNCS},
editor = {H. Ehrig and C. Floyd and M. Nivat and J.
Thatcher},
volume = {186},
pages = {246-260},
organization = {Springer-Verlag},
year = {1985}}
@inproceedings{BL89,
key = {BL89},
author = {S. Billot and B. Lang},
title = {{T}he structure of shared forests in ambiguous
parsing},
booktitle = {Proceedings of the Twenty-Seventh Annual
Meeting of the Association for Computational Linguistics},
organization = {Association for Computational Linguistics},
year = {1989}}
@article{Bir80,
key = {Bir80},
author = {R.S. Bird},
title = {{T}abulation techniques for recursive programs},
journal = {Computing Surveys},
volume = {12},
number = {4},
pages = {403-417},
year = {1980}}
@incollection{Bjo80,
key = {Bjo80},
author = {D. Bj{\o}rner},
title = {{E}xperiments in block-structured {GOTO}
language modeling: {EXIT}s versus {CONTINUATION}s},
booktitle = {Abstract Software Specifications},
series = {Lecture Notes in Computer Science},
editor = {D. Bj{\o}rner},
volume = {86},
pages = {216-247},
publisher = {Springer-Verlag},
year = {1980}}
@techreport{Bli83,
key = {Bli83},
author = {A. Blikle},
title = {{A} {M}etalanguage for {N}aive {D}enotational
{S}emantics},
institution = {Cnet 104, Consiglio Nazionale delle Ricerche},
address = {Pisa},
year = {1983}}
@techreport{Bli85,
key = {Bli85},
author = {A. Blikle},
title = {{D}enotational semantics from an algebraic
perspective,
Incomplete draft},
institution = {Polish Academy of Sciences},
address = {Warsaw},
year = {1985}}
@inproceedings{BB88,
key = {BB88},
author = {T. Bolognesi and E. Brinksma},
title = {{I}ntroduction to the {ISO} specification
language {LOTOS}},
booktitle = {First International Conference on Formal
Description
Techniques},
year = {1988}}
@techreport{BKLS88,
key = {BKLS88},
author = {A. Borzyszkowski and R. Kubiak and J.
Leszczy{\l}owski and Soko{\l}owski},
title = {{S}et-theoretic type theory, {D}raft version},
institution = {Polish Academy of Sciences},
address = {Gdynia, Polen},
year = {1988}}
@inproceedings{BGM87,
key = {BGM87},
author = {P.G. Bosco and E. Giovannetti and C. Moiso},
title = {{R}efined strategies for semantic unification},
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 = {276-290},
organization = {Springer-Verlag},
year = {1987}}
@article{Bot81a,
key = {Bot81a},
author = {K. Bothe},
title = {{A} comparative study of abstract data type
concepts},
journal = {Elektronische Informationsverarbeitung und
Kybernetik},
volume = {17},
number = {4/6},
pages = {237-257},
year = {1981}}
@techreport{Bot81b,
key = {Bot81b},
author = {K. Bothe},
title = {{R}estructuring a compiler by abstract data
types - an experiment in using data abstractions for software
modularization},
institution = {Humboldt-Universit{\"{a}}t zu Berlin},
type = {{S}eminarbericht 40},
address = {Berlin},
year = {1981}}
@article{BPS75,
key = {BPS75},
author = {M. Bouckaert and A. Pirotte and M. Snelling},
title = {{E}fficient parsing algorithms for general
context-free parsers},
journal = {Information Sciences},
volume = {8},
number = {1},
year = {1975}}
@techreport{BW87,
key = {BW87},
author = {L.G. Bouma and H.R. Walters},
title = {{I}mplementing algebraic specifications},
institution = {University of Amsterdam},
type = {Report {P}8714},
year = {1987}}
@inproceedings{BR88,
key = {BR88},
author = {W. Bousdira and J.L. R{\'{e}}my},
title = {{REVEUR}4: a laboratory for conditional
rewriting},
booktitle = {First International Workshop on Conditional
Term Rewriting Systems},
series = {LNCS},
editor = {S. Kaplan and J.-P. Jouannaud},
volume = {308},
pages = {253-257},
organization = {Springer-Verlag},
year = {1988}}
@inproceedings{Bra90,
key = {Bra90},
author = {Brand, M.G.J. van den},
title = {{I}ncremental affix evaluation in syntax
directed editors},
booktitle = {Conference Proceedings of Computing Science in
the
Netherlands, CSN'90},
pages = {35-49},
organization = {SION},
year = {1990}}
@inproceedings{BLM89,
key = {BLM89},
author = {Brand , M.G.J. van den and J.J. Langeveld and
H. Meijer},
title = {{S}yntactical and semantical error reporting in
automatically generated backtrack parsers},
booktitle = {Conference Proceedings of Computing Science in
the Netherlands, CSN'89},
pages = {57-69},
organization = {SION},
year = {1989}}
@techreport{Bre89,
key = {Bre89},
author = {R. Breu},
title = {{A} normal form for structured algebraic
specifications},
institution = {Universit{\"{a}}t Passau},
type = {Report {MIP}-8917},
year = {1989}}
@inproceedings{Bro86,
key = {Bro86},
author = {M. Broy},
title = {{P}artial interpretations of higher order
algebraic types (extended abstract)},
booktitle = {Proceedings of the Twelfth Symposium on
Mathematical Foundations of Computer Science},
series = {Lecture Notes in Computer Science},
editor = {J. Gruska and B. Rovan and J. Wiedermann},
volume = {233},
pages = {29-43},
organization = {Springer-Verlag},
year = {1986}}
@inproceedings{BGH86,
key = {BGH86},
author = {M. Broy and A. Geser and H. Hussmann},
title = {{T}owards advanced programming environments
based on algebraic concepts},
booktitle = {Advanced Programming Environments - Proceedings
of a Workshop},
series = {Lecture Notes in Computer Science},
editor = {R. Conradi and T.M. Didriksen and D.H. Wanvik},
volume = {244},
pages = {454-470},
organization = {Springer-Verlag},
year = {1986}}
@article{BMPW86,
key = {BMPW86},
author = {M. Broy and B. M{\"{o}}ller and P. Pepper and
M. Wirsing},
title = {{A}lgebraic implementations preserve program
correctness},
journal = {Science of Computer Programming},
volume = {7},
pages = {35-53},
year = {1986}}
@article{BW82,
key = {BW82},
author = {M. Broy and M. Wirsing},
title = {{P}artial abstract types},
journal = {Acta Informatica},
volume = {18},
pages = {47-64},
year = {1982}}
@article{BHZ85,
key = {BHZ85},
author = {F.J. Budinsky and R.C. Holt and S.G. Zaky},
title = {{SRE} - a syntax recognizing editor},
journal = {Software-Practice and Experience},
volume = {15},
number = {5},
pages = {489-497},
year = {1985}}
@incollection{BG80,
key = {BG80},
author = {R.M. Burstall and J.A. Goguen},
title = {{T}he semantics of {C}lear, a specification
language},
booktitle = {Abstract Software Specifications},
series = {Lecture Notes in Computer Science},
editor = {D. Bj{\o}rner},
volume = {86},
pages = {292-332},
publisher = {Springer-Verlag},
year = {1980}}
@incollection{BG82,
key = {BG82},
author = {R.M. Burstall and J.A. Goguen},
title = {{A}lgebras, theories and freeness: an
introduction for computer scientists},
booktitle = {Theoretical Foundations of Programming
Methodology},
editor = {M. Broy and G. Schmidt},
pages = {329-348},
publisher = {D. Reidel Publishing Company},
year = {1982}}
@techreport{BH89,
key = {BH89},
author = {J.A. Bergstra and J. Heering},
title = {Which data types have $\omega$-complete initial
algebra
specifications?},
institution = {Centrum voor Wiskunde en Informatica (CWI)},
type = {Report {CS}-{R}8958},
address = {Amsterdam},
year = {1989},
note = {To appear in {\it Theoretical Computer Science}}
}
@book{BHK89,
key = {BHK89},
editor = {J.A. Bergstra and J. Heering and P. Klint},
title = {{A}lgebraic {S}pecification},
series = {ACM Press Frontier Series},
publisher = {The ACM Press in co-operation with
Addison-Wesley},
year = {1989}
}
@techreport{Bra93,
key = {Bra93},
author = {Brand, M.G.J. van den},
title = {Prettyprinting without losing comments},
institution = {University of Amsterdam},
type = {Report {P}9315},
year = {1993},
note = {Available by {\em ftp} from
ftp.cwi.nl:/pub/gipe/reports as Bra93.ps.Z}
}
@phdthesis{Ber91a,
key = {Ber91},
author = {Y. Bertot},
title = {Une Automatisation du Calcul des R\'{e}sidus en
S\'{e}mantique Naturelle},
school = {INRIA},
address = {Sophia-Antipolis},
year = {1991},
note = {In French}}
@inproceedings{Ban79,
key = {Ban79},
author = {J.P. Banning},
title = {An Efficient Way to Find the Side Effects of
Procedure Calls and the Aliases of Variables},
booktitle = {Conference Record of the Sixth ACM Symposium on
Principles of Programming Languages},
pages = {29-41},
year = {1979}
}
@inproceedings{BMS87,
key = {BMS87},
author = {R. Bahlke and B. Moritz and G. Snelting},
title = {A Generator for Language-Specific Debugging
Systems},
booktitle = {Proceedings of the ACM SIGPLAN'87 Symposium on
Interpreters and Interpretive Techniques},
pages = {92-101},
year = {1987},
note = {Appeared as SIGPLAN Notices 22(7)}
}
@incollection{Ber93,
key = {Ber93},
author = {Y. Bertot},
title = {A canonical calculus of residuals},
booktitle = {Logical Environments},
editor = {G. Huet and G. Plotkin},
publisher = {Cambridge University Press},
year = 1993
}
@inproceedings{Ber92.caap,
key = "Ber92",
title = "Origin Functions in Lambda-Calculus and Term
Rewriting Systems",
author = "Y. Bertot",
booktitle = "17th Colloquium on Trees in Algebra
and Programming (CAAP '92)",
editor = "J.-C. Raoult",
year = 1992,
publisher = "Springer-Verlag",
series = "LNCS",
volume = "581"
}
@inproceedings{Ber90,
key = {Ber90},
author = {Y. Bertot},
title = {Implementation of an interpreter for a parallel
language in {C}entaur},
booktitle = {ESOP '90 - Proceedings of the Third European
Symposium
on Programming},
series = {LNCS},
editor = {N. Jones},
volume = {432},
pages = {57-69},
organization = {Springer-Verlag},
year = {1990}}
@inproceedings{Ber91c,
key = {Ber91},
author = {Y. Bertot},
title = {Occurrences in Debugger Specifications},
booktitle = {Proceedings of the ACM SIGPLAN'91 Conference on
Programming Language Design and Implementation},
pages = {327-337},
year = {1991},
note = {Appeared as {\it SIGPLAN Notices} 26(6)}}
@incollection{BHK89a,
key = {BHK89},
author = {J.A. Bergstra and J. Heering and P. Klint},
title = {{T}he algebraic specification formalism {ASF}},
booktitle = {Algebraic Specification},
series = {ACM Press Frontier Series},
editor = {J.A. Bergstra and J. Heering and P. Klint},
pages = {1-66},
publisher = {The ACM Press in co-operation with
Addison-Wesley},
year = {1989},
note = {Chapter 1}}
@incollection{BHK89b,
key = {BHK89},
author = {J.A. Bergstra and J. Heering and P. Klint},
title = {{A} simple programming language and its
implementation},
booktitle = {Algebraic Specification},
series = {ACM Press Frontier Series},
editor = {J.A. Bergstra and J. Heering and P. Klint},
pages = {67-132},
publisher = {The ACM Press in co-operation with
Addison-Wesley},
year = {1989},
note = {Chapter 2}}
@incollection{BW89,
key = {BW89},
author = {L.G. Bouma and H.R. Walters},
title = {{I}mplementing algebraic specifications},
booktitle = {Algebraic Specification},
series = {ACM Press Frontier Series},
editor = {J.A. Bergstra and J. Heering and P. Klint},
pages = {199-282},
publisher = {The ACM Press in co-operation with
Addison-Wesley},
year = {1989},
note = {Chapter 5}}
@book{Bar82,
key = {Bar82},
author = {J.G.P. Barnes},
title = {Programming in Ada},
publisher = {Addison-Wesley},
series = {International Computer Science
Series},
year = {1982},
edition = {Second}
}
@book{Bar84,
key = "Bar84",
author = "H.P. Barendregt",
title = "The Lambda Calculus; its Syntax and Semantics",
year = 1984,
publisher = "North-Holland",
series = "Studies in Logic and the Foundations of
Mathatematics",
volume = 103
}
@book{BKM89,
key = "BKM89",
author = "J.A. Bergstra and J.W. Klop and A. Middeldorp",
title = "Termherschrijfsystemen",
publisher = "Kluwer Bedrijfswetenschappen",
year = 1989,
note = "In Dutch"
}
@book{Bou91,
key = "Bou91",
author = "W. Bouma",
title = "Algebraische Specificaties",
publisher = "Kluwer Bedrijfswetenschappen",
year = 1991,
note = "In Dutch"
}
@phdthesis{Bra92.thesis,
key = "Bra92",
author = "Brand, M.G.J. van den",
title = "Pregmatic, A generator for incremental
programming environments",
school = "Katholieke Universiteit Nijmegen",
year = 1992
}
@book{BJ82,
key = "BJ82",
author = "D. Bj{\o}rner and C.B. Jones",
title = "Formal Specification and Software Development",
publisher = "Prentice-Hall",
year = 1982 }
@manual{Ber89,
key = {Ber89},
author = {Y. Bertot},
title = {{H}ints for the {C}entaur programmer},
series = {The CENTAUR Documentation - Version 0.9, Volume
I - User's Guide},
organization = {INRIA},
address = {Sophia-Antipolis},
year = {1989}}
@manual{Bor89,
key = {Bor89},
author = {P. Borras},
title = {{PPML} - {R}eference manual \& compiler
implementation},
series = {The CENTAUR Documentation - Version 0.9, Volume
III - Reference Manual},
organization = {INRIA},
address = {Sophia-Antipolis},
year = {1989}}
@Misc{BB95,
key = "BB95",
author = "Peter T.Breuer and Jonathan P.Bowen",
title = "The PRECC Compiler Compiler",
howpublished = "from the SEL-HPC archive?"
}
@TechReport{BK95,
author = "J.A.Bergstra and P.Klint",
title = "The Discrete Time Toolbus",
institution = "University of Amsterdam",
year = 1995,
number = "P9502",
month = "March"
}
@inproceedings{BK93,
key = "BK93",
author = "Andrew J. Bennett and Paul H.J. Kelly",
title = "Locality and False Sharing in Coherent-Cache Parallel Graph
Reduction",
pages = "329--340",
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{BK94b,
key = "BK94b",
author = "Andrew J. Bennett and Paul H.J. Kelly",
title = "Eliminating Invalidation in Coherent-Cache Parallel Graph Reduction",
pages = "375--386",
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{BMT92,
key = "BMT92",
author = "Dave Berry and Robin Milner and David N. Turner",
title = "A semantics for ML concurrency primitives",
booktitle = "Proceedings of the Nineteenth Annual ACM SIGPLAN Symposium
on Principles of Programming Languages",
year = "1992",
pages = "119--129"
}
@article{BBKW89,
key = "BBKW89",
author = "J.C.M. Baeten and J.A. Bergstra and J.W. Klop and W.P. Weijland",
title = "Term-rewriting systems with rule priorities",
journal = "Theoretical Computer Science",
number = "1",
volume = "67",
year = "1989",
pages = "283-301",
publisher = "North-Holland"
}
@article{BK86,
key = "BK86",
author = "J.A. Bergstra and J.W. Klop",
title = "Conditional Rewrite Rules: Confluence and Termination",
journal = "Journal of Computer and system sciences",
number = "32",
pages = "323-362",
year = "1986"
}
@techreport{Ber92,
key = "Ber82",
author = "Emery Berger",
title = "{FP}+{OOP} = Haskell",
number = {TR-92-30},
month = "May",
year = "1992",
institution = "Department of Computer Sciences, University of Texas at
Austin"
}
@article{BC93,
key = "BC93",
title = "Pattern Matching with abstract data types",
author = "F. Warren Burton and Robert D. Cameron",
journal = "Journal of Functional Programming",
volume = "3",
number = "2",
year = "1993",
month = "April",
pages = "171--190"
}
@techreport{Bruy86,
key = "Bruy86",
title = "Compile Time Garbage Collection",
author = "Maurice Bruynooghe",
number = "CW 43",
month = "April",
year = "1986",
school = "Katholieke Universiteit Leuven",
note = "A shorter version appears in the Proceedings of IFIP, working
conference on program transformation and verification"
}
@inproceedings{Bruy87,
key = "Bruy87",
title = "Compile-time Garbage Collection --or-- How to transform
programs in an assignment-free language into code with
assignments",
author = "Maurice Bruynooghe",
booktitle = "Proceedings IFIP working conference on Program
Specification and Transformation",
editor = "L.G.L.T. Meertens",
publisher = "Elsevier",
year = "1987",
pages = "113-129"
}
@inproceedings{BBK87,
key = "BBK87",
author = "D.I.~Bevan and G.L.~Burn and R.J.~Karia",
title = "Overview of a Parallel Reduction Machine Project",
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{Bro88,
key = "Bro88",
author = "Manfred Broy",
title = "Nondeterministic Data Flow Programs: How to Avoid the Merge
Anomaly",
journal = "Science of Computer Programming",
volume = "10",
year = "1988",
pages = "65-85",
publisher = "North-Holland"
}
@phdthesis{Buc93,
key = "Buc93",
author = "Adam Louis Buchsbaum",
title = "Data-structural bootstrapping and catenable dequeues",
school = "Princeton University",
month = "June",
year = "1993"
}
@inproceedings{Bou94,
key = "Bou94",
title = "Sufficient Completeness and Parameterized Proofs by
Induction",
author = "Adel Bouhoula",
year = "1994",
booktitle = "Proceedings of the International Conference on
Programming Language Implementation and Logic
Programming, PLILP '94"
}
@inproceedings{BL94,
key = "BL94",
title = "A Simple and Efficient Copying Garbage Collector
for Prolog",
author = "Johan Bevemyr and Thomas Lindgren",
year = "1994",
booktitle = "Proceedings of the International Conference on
Programming Language Implementation and Logic
Programming, PLILP '94"
}
@Article{BL86,
author = "Marco Bellia and Giorgo Levi",
title = "The relation between logic and functional languages:
A survey",
key = "BL86",
journal = "The Journal of Logic Programming",
year = 1986,
number = 3,
pages = "217--236"
}
@Article{BH94,
author = "Fran\,coise Bellegarde and James Hook",
title = "Substitution: A formal methods case study using
monads and transformations",
journal = "Science of Computer Programming",
year = 1994,
volume = 23,
pages = "287--311"
}
@article{BHY88,
key = "BHY88",
author = "Adrienne Bloss and Paul Hudak and Jonathan Young",
title = "Code Optimizations for Lazy Evaluation",
year = "1988",
journal = "Lisp and Symbolic Computation",
number = "1",
pages = "147--164"
}
@inproceedings{Ben93,
key = "Ben93",
author = "P.N. Benton",
title = "Strictness Properties of Lazy Algebraic Datatypes",
booktitle = "Third International Workshop on Static Analysis,
Padova, Italy",
series = lncs,
publisher = "Springer-Verlag",
volume = "724",
pages = "206--217",
year = "1993"
}
@inproceedings{BEO93,
key = "BEO93",
author = "Didier Bert and Rachid Echahed and Bjarte M. {\O}stvold",
title = "Abstract Rewriting",
booktitle = "Third International Workshop on Static Analysis,
Padova, Italy",
series = lncs,
publisher = "Springer-Verlag",
volume = "724",
pages = "178--192",
year = "1993"
}
@book{Bur91,
key = "Bur91",
author = "Geoffrey Burn",
title = "Lazy Functional Languages: Abstract Interpretation and
Compilation",
publisher = "Pitman",
year = 1991
}
@inproceedings{Bur80,
key = "Bur80",
author = "R.M. Burstall and D.B. MacQueen and D.T. Sanella",
title = "Hope: an experimental applicative language",
booktitle = "Proceedings ACM Symposium on LISP and Functional
Programming",
address = "Standford CA",
pages = "136--143",
publisher = "University of Stanford",
year = "1980"
}
@unpublished{Bak94,
key = "Bak94",
author = "Henry G. Baker",
title = "CONS Should Not CONS Its Arguments, Part {II}: Cheney on the
{M.T.A}",
institution = "Nimble Computer Corporation",
note = "Draft Memorandum",
month = "January",
year = "1994"
}
@techreport{BK94,
key = {BK94},
author = {J.A. Bergstra and P. Klint},
title = {The Toolbus - a Component Interconnection Architecture},
institution = {Universiteit van Amsterdam},
year = {1994},
month = {March},
number = {P9408},
address = {P.O. Box 41882, 1009 DB Amsterdam, The Netherlands}
}
@inproceedings{BvE87,
key = "BvE87",
author = {H.P. Barendregt and M.C.J.D. van Eekelen and J.R.W.Glauert and
J.R. Kennaway and M.J. Plasmeijer and M.R. Sleep},
title = {Term Graph Rewriting},
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 = {141--158},
year = {1987}
}
@inproceedings{BvE87b,
key = "BvE87b",
author = {H.P. Barendregt and M.C.J.D. van Eekelen and J.R.W.Glauert and
J.R. Kennaway and M.J. Plasmeijer and M.R. Sleep},
title = {Towards an Intermediate Language based on Graph Rewriting},
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 = {159--175},
year = {1987}
}
@Article{BDB90,
author = "A.~Balachandran and D.~M. Dhamdhere and S.~Biswas",
title = "Efficient retargetable code generation using
bottom-up tree pattern matching",
key = "BBD90",
journal = "Computer Languages",
year = "1990",
volume = "15",
number = "3",
pages = "127--140",
}
@Book{Ber87,
author = "J.A. Bergstra",
title = "Terminologie van algebraische specificaties",
publisher = "Kluwer Programmatuurkunde",
year = "1987",
key = "Ber87",
note = "In Dutch"
}
@inproceedings{Bro87,
key = {Bro87},
author = {Broy, M.},
title = {Equational Specification of Partial Higher Order Algebras},
booktitle = {Logic of Programming Calculi of Discrete Design},
series = {NATO ASI (F: Computer and Systems Sciences)},
editor = {M. Broy},
volume = {36},
pages = {185-242},
organization = {Springer-Verlag},
year = {1987}}
@book{Bro81,
author = {Brodie,L.},
title = {{S}tarting {FORTH} : an introduction to the {FORTH} language and operating system for beginners and professionals},
publisher = {Prentice-Hall},
year = {1981}
}
@incollection{Bar90,
key = "Bar90",
author = "Barendrecht,H.P.",
title = "{F}unctional {P}rogramming and {L}ambda {C}alculus",
booktitle = "Handbook of Theoretical Computer Science, {V}ol {B}.",
publisher = "Elsevier Science Publishers",
year = 1990,
editor = "Leeuwen, J. van",
pages = "243-320"}
@InProceedings{BEG+95,
author = {Brand, M. G. J. van den and S. M. Eijkelkamp and
D. K. A. Geluk and H. Meijer and H. R. Osborne and
M. J. F. Polling},
title = {Program transformations using {ASF+SDF}},
crossref = {ASF+SDF95},
pages = {29--52}
}
@InProceedings{Bra95,
author = {Brand, M. G. J. van den},
title = {Pretty printing in the Asf+Sdf Meta-environment:
Past, Present, and Future},
crossref = {ASF+SDF95},
pages = {155--174}
}
@techreport{Bro92,
key = "Bro92",
author = "M. Broy",
title = "Experiences with Software Specification and
Verification Using {LP}, the {Larch} {Proof}
{Assistant}",
institution = "DEC Systems Research Center",
year = 1992,
number = 93,
note = "Available by {\em ftp} from
gatekeeper.pa.dec.com: /pub/DEC/SRC/research-reports"
}
@inproceedings{Bea83,
key = {Bea83},
author = {B. Beander},
title = {{VAX DEBUG}:
{A}n Interactive, Symbolic, Multilingual
Debugger},
booktitle = {Proceedings of the ACM SIGSOFT/SIGPLAN Software
Engineering
Symposium on High-level Debugging},
pages = {173-179},
year = {1983}}
@inproceedings{BCDILP89,
key = "BCD89",
author = "P. Borras and D. Cl\'{e}ment and Th. Despeyroux
and J. Incerpi and B. Lang and V. Pascual",
title = "{\sc Centaur}: the system",
booktitle = "Proceedings of the ACM SIGSOFT/SIGPLAN Software
Engineering
Symposium on Practical Software Development
Environments" ,
pages = "14-24",
year = "1989",
note = "Appeared as {\it SIGPLAN Notices} 24(2)"
}
@techreport{BM92,
key = "BM92",
author = "Geoffrey Burn and Daniel Le M\'etayer",
title = "{CPS}-Translation and the Correctness of Optimising
Compilers",
institution = "Imperial College, Department of Computing",
number = "DoC92/20",
year = "1992"
}
@Misc{BP95,
author = "Doeko Bosscher and Alban Ponse",
title = "Translating a Valued Process Algebra to Linear Format",
pages = "1--17",
note = "Distributed at talk (22/3/95)"
}