Bibliography
@techreport{Meu88,
key = {Meu88},
author = {Meulen, E.A. van der},
title = {{A}lgebraic specification of a compiler for a
language
with pointers},
institution = {Centrum voor Wiskunde en Informatica (CWI)},
type = {Report {CS}-{R}8848},
address = {Amsterdam},
year = {1988}
}
@techreport{Meu90,
key = {Meu90},
author = {Meulen, E.A. van der},
title = {{D}eriving incremental implementations from
algebraic specifications},
institution = {Centrum voor Wiskunde en Informatica (CWI)},
type = {Report {CS}-{R}9072},
address = {Amsterdam},
year = {1990},
note = {Extended abstract in {\it AMAST'91:
Proceedings of the Second International
Conference on
Algebraic Methodology and Software Technology},
Workshops in Computing, Springer-Verlag London
(1992), pp 277--286.
Available by {\em ftp} from ftp.cwi.nl:/pub/gipe
as
Meu90.ps.Z
}
}
@inproceedings{Meu92.amast,
key = {Meu92},
author = {Meulen, E.A. van der},
title = {{D}eriving incremental implementations from
algebraic specifications},
year = {1992},
booktitle = {Proceedings of the Second International
Conference on
Algebraic Methodology and Software Technology},
publisher = {Springer-Verlag},
series = {Workshops in Computing},
pages = {277--286},
note = {Full version available
by {\em ftp} from ftp.cwi.nl:/pub/gipe as
Meu90.ps.Z}
}
@techreport{Meu91,
key = {Meu91},
author = {Meulen, E.A. van der},
title = {Fine-grain incremental implementation of
algebraic
specifications},
institution = {Centrum voor Wiskunde en Informatica (CWI)},
type = {Report {CS}-{R}9159},
address = {Amsterdam},
year = {1991},
note = {Available by {\em ftp} from
ftp.cwi.nl:/pub/gipe as
Meu91.ps.Z}
}
@techreport{MWGOSEH90,
key = {MWGOSEH90},
author = {H. M\"uller and J. Winckler and S. Grzybek and
M. Otte and B. S
toll and F. Equoy and N. Higilin},
title = {The Program Animation System
{P}{A}{S}{T}{I}{S}},
institution = {{U}niversit\"at {F}reib{\"{u}}rg, {I}nstitut
f\"ur
{I}nformatik},
type = {Bericht 20},
year = {1990}
}
@inproceedings{Mos92.sorts,
key = {Mos92},
author = {P.D. Mosses},
title = {The Use of Sorts in Algebraic
Specifications},
booktitle = {Proceedings of the Eighth Workshop on
Specification of
Abstract Data Types, ADT91},
publisher = {Springer-Verlag},
series = {LNCS},
year = 1992
}
@inproceedings{Mac84,
key = {Mac84},
author = {D. MacQueen},
title = {{M}odules for standard {ML}},
booktitle = {Conference Record of the 1984 ACM Symposium on
Lisp and Functional Programming},
pages = {198-207},
organization = {ACM},
year = {1984}}
@article{Mac85,
key = {Mac85},
author = {D. MacQueen},
title = {{M}odules for {S}tandard {ML}},
journal = {Polymorphism, the ML/LCF/Hope Newsletter},
volume = {II},
number = {2},
year = {1985}}
@incollection{MS85,
key = {MS85},
author = {T. Maibaum and M. Sadler},
title = {{A}xiomatising specification theory},
booktitle = {Recent Trends in Data Type Specification},
series = {Informatik-Fachberichte 116},
editor = {H.-J. Kreowski},
pages = {171-177},
publisher = {Springer-Verlag},
year = {1985}}
@inproceedings{MVS85,
key = {MVS85},
author = {T.S.E. Maibaum and P.A.S. Veloso and M.R.
Sadler},
title = {{A} theory of abstract data types for program
development: bridging the gap?},
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 = {214-230},
organization = {Springer-Verlag},
year = {1985}}
@article{Maj77,
key = {Maj77},
author = {M.E. Majster},
title = {{L}imits of the ``algebraic'' specification of
abstract data types},
journal = {SIGPLAN Notices},
volume = {12},
number = {10},
pages = {37-42},
year = {1977}}
@article{MLB76,
key = {MLB76},
author = {M. Marcotty and H.F. Ledgard and G.V. Bochmann},
title = {A Sampler of Formal Definitions},
journal = {Computing Surveys},
volume = {8},
number = {2},
pages = {191-276},
year = {1976}}
@article{MTHMY83,
key = {MTHMY83},
author = {Y. Matsumoto and H. Tanaka and H. Hirakawa and
H. Miyoshi and H. Yasukawa},
title = {{BUP}: a bottom-up parser embedded in {P}rolog},
journal = {New Generation Computing},
volume = {1},
pages = {145-158},
year = {1983}}
@misc{Mat,
key = {Mat},
author = {D.C.J. Matthews},
title = {{P}oly manual},
type = {{T}echnical {R}eport 63}}
@misc{Mat86,
key = {Mat86},
author = {D.C.J. Matthews},
title = {{T}he {P}oly and {P}oly/{ML} {D}istribution},
year = {1986}}
@misc{McC,
key = {McC},
author = {N. McCracken},
title = {{T}he typechecking of programs with implicit
type structure},
pages = {301-315}}
@inproceedings{McN89,
key = {McN89},
author = {G.F. McNulty},
title = {{A}n equational logic sampler},
booktitle = {Proceedings of the Third International
Conference on Rewriting Techniques and Applications, RTA-89},
series = {Lecture Notes in Computer Science},
editor = {N. Dershowitz},
volume = {355},
pages = {234-262},
organization = {Springer-Verlag},
year = {1989}}
@inproceedings{Mee83,
key = {Mee83},
author = {L. Meertens},
title = {{I}ncremental polymorphic type checking in {B}},
booktitle = {Conference Record of the Tenth Annual ACM
Symposium on
Principles of Programming Languages},
pages = {265-275},
organization = {ACM},
year = {1983}}
@techreport{Mel81,
key = {Mel81},
author = {B. M{\'{e}}l{\`{e}}se},
title = {{M}entor: l'environnement {P}ascal},
institution = {INRIA},
type = {{R}apports de {R}echerche 5},
address = {Rocquencourt},
year = {1981},
note = {In French}}
@techreport{Mel82,
key = {Mel82},
author = {B. M{\'{e}}l{\`{e}}se},
title = {{M}etal, un langage de sp{\'{e}}cification pour
le syst{\`{e}}me {M}entor},
institution = {INRIA},
type = {{R}apports de {R}echerche 142},
address = {Rocquencourt},
year = {1982},
note = {In French}}
@techreport{Mel83a,
key = {Mel83a},
author = {B. M{\'{e}}l{\`{e}}se},
title = {{E}dition structur{\'{e}}e -},
institution = {INRIA},
type = {{R}apports de {R}echerche 253},
address = {Rocquencourt},
year = {1983},
note = {In French}}
@techreport{Mel83b,
key = {Mel83b},
author = {B. M{\'{e}}l{\`{e}}se},
title = {{M}entor {R}apport, {M}anipulation de textes
structur{\'{e}}s sous {M}entor},
institution = {INRIA},
address = {Rocquencourt},
year = {1983},
note = {In French}}
@techreport{MMV85,
key = {MMV85},
author = {B. M{\'{e}}l{\`{e}}se and V. Migot and D.
Verove},
title = {{T}he {M}entor - {V}5 documentation},
institution = {INRIA},
type = {{R}apports {T}echniques 43},
address = {Rocquencourt},
year = {1985}}
@incollection{MG85,
key = {MG85},
author = {J. Meseguer and J.A. Goguen},
title = {{I}nitiality, induction, and computability},
booktitle = {Algebraic Methods in Semantics},
editor = {M. Nivat and J.C. Reynolds},
pages = {459-541},
publisher = {Cambridge University Press},
year = {1985}}
@techreport{Mic85,
key = {Mic85},
author = {A. Michard},
title = {{R}econnaissance et g{\'{e}}n{\'{e}}ration de
plan d'actions: application {\`{a}} la r{\'{e}}alisation de
syst{\`{e}}mes auto-explicatifs},
institution = {INRIA},
type = {{R}apports de {R}echerche 382},
address = {Sophia Antipolis},
year = {1985},
note = {In French}}
@article{Mik81,
key = {Mik81},
author = {M. Mikelsons},
title = {{P}rettyprinting in an interactive programming
environment},
journal = {SIGPLAN Notices},
volume = {16},
number = {6},
pages = {108-116},
year = {1981}}
@techreport{Mil77,
key = {Mil77},
author = {R. Milner},
title = {{A} theory of type polymorphism in programming},
institution = {University of Edinburgh},
type = {{I}nternal {R}eport {CSR}-9-77},
year = {1977}}
@inproceedings{Mil84,
key = {Mil84},
author = {R. Milner},
title = {{A} proposal for standard {ML}},
booktitle = {Conference Record of the 1984 ACM Symposium on
Lisp and Functional Programming},
pages = {184-197},
organization = {ACM},
year = {1984}}
@article{Mil85,
key = {Mil85},
author = {R. Milner},
title = {{T}he {S}tandard {ML} core language (revised)},
journal = {Polymorphism, the ML/LCF/Hope Newsletter},
volume = {II},
number = {2},
year = {1985}}
@techreport{Min85,
key = {Min85},
author = {S. Min{\"{o}}r},
title = {{S}tructures for incremental semantic analysis
in the {III} programming environment},
institution = {Lund Institute of Technology},
type = {Report {LUTFD}2/({TFCS}-3010)},
address = {Lund},
year = {1985}}
@inproceedings{MS88,
key = {MS88},
author = {C.K. Mohan and M.K. Srivas},
title = {{C}onditional specifications with inequational
assumptions},
booktitle = {Conditional Term Rewriting Systems},
series = {LNCS},
editor = {S. Kaplan and J.-P. Jouannaud},
volume = {308},
pages = {161-178},
organization = {Springer-Verlag},
year = {1988}}
@article{Mol85,
key = {Mol85},
author = {B. M{\"{o}}ller},
title = {{O}n the algebraic specification of infinite
objects - ordered and continuous models of algebraic types},
journal = {Acta Informatica},
volume = {22},
pages = {537-578},
year = {1985}}
@incollection{MC86,
key = {MC86},
author = {E. Morcos-Chounet and A. Conchon},
title = {{PPML}: a general formalism to specify
prettyprinting},
booktitle = {Information Processing 86},
editor = {H.-J. Kugler},
pages = {583-590},
publisher = {Elsevier},
year = {1986}}
@phdthesis{Meu94.thesis,
author = {Meulen, E. A. van der},
title = {Incremental Rewriting},
school = {University of Amsterdam},
year = {1994},
note = {Available by {\em ftp} from
ftp.cwi.nl:/pub/gipe/reports as
Meu94.ps.Z}
}
@inproceedings{Mar91,
key = "Mar91",
author = "L. Maranget",
title = "Optimal Derivations in Weak Lambda-calculi and
in Orthogonal Term Rewriting Systems",
booktitle = "Proceedings of the Eighteenth conference on
Principles of
Programming Languages POPL '91",
year = 1991,
pages = "225-269"
}
@incollection{MT92,
key = "MT92",
author = "K. Meinke and J.V. Tucker",
title = "Universal Algebra",
booktitle = "Handbook of Logic in Computer Science. Volume
1.",
editor = "S. Abramsky and D. Gabbay and T.S.E. Maibaum",
year = 1992,
publisher = "Oxford University Press",
pages = "189-411"
}
@phdthesis{Mar92.thesis,
key = {Mar92},
author = {L. Maranget},
title = {La Strat\'{e}gie paresseuse},
school = {l'Universit\'{e} Paris VII},
address = {Paris},
year = {1992},
note = {In French}}
@techreport{Mei90.univht,
key = {Mei90},
author = {K. Meinke},
title = {Universal Algebra in Higher Types},
institution = {University College of Swansea},
type = {{T}echnical {R}eport {CSR}-12-90},
address = {Swansea},
year = {1990},
note = {To appear in {\it Theoretical Computer Science}}
}
@techreport{Mei90.subhta,
key = {Mei90},
author = {K. Meinke},
title = {Subdirect Representation of Higher Type
Algebras},
institution = {University College of Swansea},
type = {{T}echnical {R}eport {CSR}-14-90},
address = {Swansea},
year = {1990}
}
@techreport{Mei91.eqab,
key = {Mei91},
author = {K. Meinke},
title = {Equational specification of abstract types and
combinators},
institution = {University College of Swansea},
type = {{T}echnical {R}eport {CSR}-11-91},
address = {Swansea},
year = {1991}}
@inproceedings{MS89,
key = "MS89",
title = "Negation with Logical Variables in Conditional
Rewriting",
author = "C.K. Mohan and M.K. Srivas",
booktitle = "Rewriting Techniques and Applications",
editor = "N. Dershowitz",
series = "LNCS",
volume = 355,
pages = "292-310",
year = 1989
}
@inproceedings{Moh89,
key = "Moh89",
title = "Priority Rewriting:
Semantics, Confluence, and Conditionals",
author = "C.K. Mohan",
booktitle = "Rewriting Techniques and Applications",
editor = "N. Dershowitz",
series = "LNCS",
volume = 355,
pages = "278-292",
year = 1989
}
@article{Mic68,
author = "D. Michie",
title = "Memo functions and machine learning",
journal = "Nature",
volume = "218",
pages = "19-22",
year = "1968"}
@unpublished{Mue91,
author = {Thomas Mueller},
month = {April},
note = {Proposal at IR-meeting},
title = {Proposals for the IR Type System},
year = {1991}
}
@book{Mos92,
key = "Mos92",
title = "Action Semantics",
author = "P.D. Mosses",
publisher = "Cambridge University Press",
year = 1992,
series = "Cambridge Tracts in Theoretical Computer Science",
volume = 26
}
@book{Mey88,
key = "Mey88",
title = "Object-oriented Software Construction",
author = "B. Meyer",
publisher = "Prentice Hall",
year = 1988
}
@book{Mey92,
key ="Mey92",
author ="B. Meyer",
title ="Eiffel: The Language",
publisher ="Prentice Hall",
series ="Prentice Hall Object-Oriented Series",
year ="1992"}
@phdthesis{Min90.thesis,
key = {Min90},
author = {S. Min{\"{o}}r},
title = {On Structure-Oriented Editing},
school = {Lund University},
year = {1990}
}
@phdthesis{Mid90,
key = "Mid90",
author = "A. Middeldorp",
title = "Modular Properties of Term Rewriting Systems",
school = "Vrije Universiteit, Amsterdam",
year = 1990
}
@article{MV90,
key = {MV90},
author = {S. Mauw and G.J. Veltink},
title = {A process specification formalism},
journal = {Fundamenta Informaticae},
volume = {12},
pages = {85-139},
year = {1990}}
@phdthesis{Mau91,
key = {Mau91},
author = {S. Mauw},
title = {A Process Specification Formalism},
school = {University of Amsterdam},
year = {1991}}
@techreport{Mau87,
key = {Mau87},
author = {S. Mauw},
title = {{A}n algebraic specification of process
algebra, including two examples},
institution = {University of Amsterdam},
type = {{R}eport {FVI} 87-06},
year = {1987}}
@manual{Mon89,
key = {Mon89},
author = {F. Montagnac},
title = {{X}editor user's guide},
series = {The CENTAUR Documentation - Version 0.9, Volume
I - User's Guide},
organization = {INRIA},
address = {Sophia-Antipolis},
year = {1989}}
@inproceedings{Mog89,
author = {E. Moggi},
title = {Computational Lambda Calculus and Monads},
booktitle = {Logic in Computer Science},
publisher = {IEEE},
year = {1989}
}
@Article{Mei93,
author = "Erik Meijer",
title = "More Advice on Proving a Compiler Correct: Improve a
Correct Compiler",
key = "Mei93",
journal = "Journal of Functional Programming",
year = 1993,
volume = 1,
number = 1,
pages = "1--25",
note = "Obtained from SEL-HPC"
}
@InProceedings{Moh89,
author = "Chilukuri K. Mohan",
title = "Priority Rewriting: Semantics, Confluence, and Conditionals",
key = "Moh89",
editor = "N. Dershowitz",
number = 355,
series = "Lecture Notes in Computer Science",
pages = "278--291",
booktitle = "Rewriting Techniques and Applications",
year = 1989,
publisher = "Springer"
}
@Unpublished{Mat95,
author = "Yuri V. Matiyasevich",
title = "On some Mathematical Logic Contributions to
Rewriting Techniques: Lost Heritage",
note = "Overhead sheets of invited lecture RTA'95"
}
@misc{MB94,
key = "MB94",
title = "Using the Style File IEEEtran.sty",
author = "Gerry Murray and Silvano Balemi",
note = "obtained by mail server from IEEE"
}
@techreport{MN94,
key = {MN94},
author = {Richard Mayr and Tobias Nipkow},
title = {Higher-Order Rewrite Systems and their Confluence},
institution = {Insitut f\"ur Informatik, TU M\"unchen},
number = {I9433},
year = 1994
}
@phdthesis{Mar92a,
key = "Mar92a",
title = "La strat\'egie paresseuse",
author = "Luc Maranget",
school = "L'Universit\'e Paris {VII}",
year = "1992",
month = "July"
}
@inproceedings{Mar91a,
key = "Mar91a",
title = "Optimal Derivations in Weak Lambda-calculi and in
Orthogonal Terms Rewriting Systems",
author = "Luc Maranget",
booktitle = "Eighteenth Annual ACM Symposium on Principles of Programming
Languages",
year = "1991"
}
@inproceedings{Mar91b,
key = "Mar91b",
title = "{GAML}: a Parallel Implementation of Lazy {ML}",
author = "Luc Maranget",
booktitle = "Functional Programming Languages and Computer Architecture",
editor = "John Hughes",
year = "1991",
publisher = "Springer-Verlag",
volume = "523",
series = "Lecture Notes in Computer Science",
pages = "102--123"
}
@article{Mar92,
key = "Mar92",
title = "Compiling Lazy Pattern Matching",
author = "Luc Maranget",
journal = "{ACM} Lisp Pointers",
volume = "V",
number = "1",
month = "January",
year = "1992"
}
@inproceedings{Moe87,
key = "Moe87",
title = "Algebraic Specifications with Higher-Order Operators",
author = {Bernhard M\"{o}ller},
booktitle = "Proceedings IFIP working conference on Program
Specification and Transformation",
editor = "L.G.L.T. Meertens",
publisher = "Elsevier",
year = "1987",
pages = "113-129"
}
@mastersthesis{Moo94,
key = "Moo94",
author = "Leon Moonen",
title = "A Virtual Assembler for an Abstract Machine",
school = "Universiteit van Amsterdam",
year = "1994",
month = "June"
}
@inproceedings{Mar94,
key = "Mar94",
author = "Massimo Marchiori",
title = "Logic Programs as Term Rewriting Systems",
year = "1994",
booktitle = "Proceedings of the International Conference on
Programming Language Implementation and Logic
Programming, PLILP '94"
}
@inproceedings{MS94,
key = "MS94",
title = "A Graph Reduction Technique with Sharing accross
Narrowings for Functional-Logic Languages",
author = "John Maraist and Frank S.K. Silbermann",
year = "1994",
booktitle = "Proceedings of the International Conference on
Programming Language Implementation and Logic
Programming, PLILP '94"
}
@manual{Ml91,
key = "ML91",
title = "Standard ML of New Jersey -- Release Notes",
note = "version 0.75",
month = "November",
year = "1991",
publisher = "AT\&T"
}
@techreport{MD94,
key = "MD94",
author = "J.D. Mulder and E.H. Dooijes",
title = "Spatial Audio in Graphical Applications",
year = "1994",
month = "May",
number = "CS-R9434",
institution = "CWI"
}
@inproceedings{Myc80,
key = "Myc80",
author = "Alan Mycroft",
title = "The Theory and Practice of Transforming Call-By-Need into
Call-By-Value",
booktitle = "International Symposium on Programming",
year = "1980",
publisher = "Springer-Verlag",
series = lncs,
volume = "83",
editor = "B. Robinet"
}
@inproceedings{MMR86,
key = "MMR86",
author = "A. Martelli and C. Moiso and C.F. Rossi",
title = "An Algorithm for Unification in Equational Theories",
booktitle = "Proceedings of the Symposium on Logic Programming",
year = "1986",
publisher = "IEEE Computer Society",
pages = "180--186"
}
@inproceedings{MFP91,
key = {MFP91},
author = {Erik Meijer and Maarten Fokkinga and Ross Paterson},
title = {Functional Programming with Bananas, Lenses, Envelopes
and Barbed Wire},
booktitle = {Functional Programming Languages and Computer Architecture},
editor = {J. Hughes},
organization = {Springer-Verlag},
series = {Lecture Notes in Computer Science},
volume = {523},
year = 1991
}
@incollection{MM88,
key = {MM88},
author = {J.A. Ma\~as and T. de Miguel},
title = {From LOTOS to C},
booktitle = {Formal Description Techniques (Proceedings of the First International Conference on Formal Description Techniques, 1988)},
editor = {Kenneth J. Turner},
pages = {79-84},
publisher = {Elsevier Science Publishers B.V. (North-Holland)},
year = 1989
}
@InProceedings{massalin:87,
author = "Henry Massalin",
title = "Superoptimizer -- {A} Look at the Smallest Program",
pages = "122--126",
year = "1987",
address = "Palo Alto, California",
booktitle = asplosII,
}
@inproceedings{Mid95,
author = {Aart Middeldorp and Satoshi Okui and Tesuo Ida},
title = {Lazy Narrowing: Strong Completeness and Eager Variable
Elimination},
booktitle = {Proceedings of the 20th Colloquium on Trees in
Algebra and Programming},
publisher = {Springer-Verlag},
series = {Lecture Notes in Computer Science},
year = {1995}
}
@InProceedings{MM95a,
author = {S. Mauw and J.C. Mulder},
title = {A PSF Library of Data Types},
crossref = {ASF+SDF95},
pages = {53--64}
}
@InProceedings{MM95b,
author = {S. Mauw and E. van der Meulen},
title = {Specification of Tools for Message Sequence Charts},
crossref = {ASF+SDF95},
pages = {175--210}
}
@techreport{MW93,
key = "MW93",
author = "P.D. Mosses and D.A. Watt",
title = "Pascal Action Semantics",
institution = "Aarhus University",
year = "1993",
note = "Draft, version 0.6.
Available by {\em ftp} from
ftp.daimi.aau.dk: pub/action/pascal"
}
@techreport{MMMP90,
key = {MMMP90},
author = {B. Magnusson and O.L. Madsen and B.
M{\o}ller-Pedersen},
title = {Strong Typing of Object-Oriented Languages
Revisited},
institution = {Lund University and Lund Institute of
Technology},
type = {{T}echnical {R}eport {LU}-{CS}-{TR}:90-66 and
{LUTEDX}/({TECS}-302)/1-19/(1990)},
year = {1990}
}
@techreport{MBDFGHMOT90,
key = {MBDF90},
author = {B. Magnusson and M. Begtsson and L.O Dahlin
and
G. Fries and A. Gustavson and G. Hedin and
S. Min{\"{o}}r and D. Oscarsson and M. Taube},
title = {An overview of The Mj{\o}lner/ORM Environment:
Incremental Language and Software Development},
institution = {Lund University and Lund Institute of
Technology},
type = {{T}echnical {R}eport {LU}-{CS}-{TR}:90-57 and
{LUTEDX}/({TECS}-3026)/1-12/(1990)},
year = {1990}
}
@techreport{MM92,
key = {MM92},
author = {S. Min{\"{o}}r and B. Magnusson},
title = {Using Mj{\o}lner/ORM as a Structure-Based Meta
Environment},
institution = {Lund University and Lund Institute of
Technology},
type = {{T}echnical {R}eport {LU}-{CS}-{TR}:92-101 and
{LUTEDX}/({TECS}-3039)/1-30/(1992)},
year = {1990}
}
@manual{Mjolner.manual,
title = {Mj{\o}lner/ORM User's Guide},
edition = {1.3},
organization = {Lund University and Lund Institute of
Technology},
note = {{T}echnical {R}eport {LU}-{CS}-{TR}:91-4},
year = {1991}
}
@unpublished{Mel91,
author = {Colin Meldrum},
institution = {Harlequin Limited},
month = {April},
note = {Compare Deliverable D1.1/1},
title = {Overview of existing Compiler Techniques and
Designs},
year = {1991}
}
@unpublished{MBW90,
author = {Brian Meek and Paul Barnetson and Willem Wakker},
month = {December},
note = {A draft working paper for ISO/IEC JTC1/SC22/WG11
- Language Bindings, Version 2.0},
title = {Language-Independent Standards},
year = {1990}
}
@manual{Mot86,
key = "Mot86",
title = "M68000 16/32-BIT Microprocessor
Programmer's Reference Manual",
publisher = "Motorola Inc."
}
@TechReport{MRS90,
author = "Carl~D.~McConnell and J.~David~Roberts and
Charles~B.~Schoenig",
title = "The {RTL} System",
institution = "Department of Computer Science,
University of Illinois at Urbana-Champaign",
year = "1990",
key = "MRS90",
month = "October",
note = "Available by anonymous ftp from speedy.cs.uiuc.edu,
file /pub/papers/detailed-RTL-System.ps"
}
@PhdThesis{McC92,
author = "Carl~D.~McConnell",
title = "Tree-Based Code Optimization",
school = "University of Illinois at Urbana-Champaign",
year = "1992",
key = "McC92",
month = "May",
type = "Thesis proposal",
note = "Available by anonymous ftp from speedy.cs.uiuc.edu,
file /pub/papers/tree-based-opt.prelim.ps"
}
@PhdThesis{McC93,
author = "Carl~D.~McConnell",
title = "Tree-Based Code Optimization",
school = "University of Illinois at Urbana-Champaign",
year = "1993",
key = "McC93",
month = "May",
type = "Abandoned thesis",
note = "Available by anonymous ftp from speedy.cs.uiuc.edu,
file /pub/papers/tree-based-opt.ps"
}
@inproceedings{Moel87,
key = {M\"{o}l87},
author = {M{\"{o}}ller, B.},
title = {{A}lgebraic specification with higher-order operators},
booktitle = {Program Specification and Transformation},
organization= {IFIP TC2/WG 2.1 Working Conference on Program Specification and Transformation},
pages = {367-398},
publisher = {North-Holland},
year = {1987}}