Bibliography
@inbook{Clean.prog,
editor = "Paul de Mast and Jan-Marten Jansen and Dick Bruin and
Jeroen Fokker and Pieter Koopman
and Sjaak Smetsers and Marko van Eekelen and Rinus Plasmeijer",
title = "Functional Programming in Clean",
chapter = "Parser Combinators",
publisher = "unknown",
year = "to appear",
note = "obtained from http://www.cs.kun.nl/~clean/Clean.Cleanbook.html"
}
@article{CKS89,
author = "C.Choppy and S.Kaplan and M.Soria",
title = "Complexity Analysis of Term-Rewriting Systems",
journal = "Theoretical Computer Science",
volume = "67",
year = "1989",
pages = "261-282"
}
@inproceedings{CBC93,
key = {CBC93},
author = {J.-D. Choi and M. Burke and P. Carini},
title = {Efficient Flow-Sensitive Interprocedural
Computation of
Pointer-Induced Aliases and Side Effects},
booktitle = {Conference Record of the Twentieth ACM
Symposium on Principles of Programming
Languages},
pages = {232--245},
organization = {ACM},
year = {1993}
}
@inproceedings{CD93,
author = "C. Consel and O. Danvy",
title = "Tutorial Notes on Partial Evaluation",
booktitle = "Conference Record of the Twentieth ACM
Symposium on Principles of Programming
Languages",
pages = "493--501",
organization = "ACM",
year = "1993"}
@article{CFGG91,
key = {CFGG91},
author = {J. Cramer and W. Fey and M. Goedicke and M.
Grosse-Rhode},
title = {Towards a Formally Based Component Description
Language---a
Foundation for Reuse},
journal = {Structured Programming},
volume = {12},
pages = {91--110},
year = {1991}}
@article{CMN91,
key = {CMN91},
author = {J.-D. Choi and B.P. Miller and R.H.B. Netzer},
title = {Techniques for Debugging Parallel Programs
with Flowback
Analysis},
journal = {ACM Transactions on Programming Languages and
Systems},
volume = {13},
number = {4},
year = {1991},
pages = {491--530}
}
@unpublished{CF93,
key = {CF93},
author = {J.-D. Choi and J. Ferrante},
title = {What Is In a Slice},
year = {1993},
note = {IBM T.J. Watson Research Center, unpublished
manuscript}
}
@article{CPT91,
key = {CPT91},
author = {J. Cai and R. Paige and R. Tarjan},
title = {More efficient bottom-up multi-pattern matching
in trees},
journal = {Theoretical Computer Science},
year = {1991},
note = {To appear. A short form appeared in CAAP'90}}
@techreport{Car84a,
key = {Car84a},
author = {L. Cardelli},
title = {{A}mber},
institution = {AT\&T Bell Laboratories},
type = {{T}echnical {M}emorandum {TM} 11271-840924-10},
address = {Murray Hill},
year = {1984}}
@techreport{Car84b,
key = {Car84b},
author = {L. Cardelli},
title = {{B}asic polymorphic typechecking},
institution = {AT\&T Bell Laboratories},
type = {{C}omputing {S}cience {T}echnical {R}eport no.
112},
address = {Murray Hill},
year = {1984}}
@article{CW85,
key = {CW85},
author = {L. Cardelli and P. Wegner},
title = {{O}n understanding types, data abstraction, and
polymorphism},
journal = {Computing Surveys},
volume = {17},
number = {4},
pages = {471-522},
year = {1985}}
@article{CF88,
key = {CF88},
author = {M.A. Casanova and A.L. Furtado},
title = {{S}tring pattern-matching in {P}rolog},
journal = {Computer Languages},
volume = {13},
number = {3/4},
pages = {149-170},
year = {1988}}
@article{Cel78,
key = {Cel78},
author = {A. Celentano},
title = {{I}ncremental {LR} parsers},
journal = {Acta Informatica},
volume = {10},
pages = {307-321},
year = {1978}}
@techreport{Cha85,
key = {Cha85},
author = {J. Chailloux},
title = {{L}a machine {LLM}3},
institution = {INRIA},
type = {{R}apports {T}echniques 55},
address = {Rocquencourt},
year = {1985},
note = {In French}}
@techreport{Che83,
key = {Che83},
author = {Chenadec, P. le},
title = {{F}ormes canoniques dans les alg{\`{e}}bres
finiment pr{\'{e}}sent{\'{e}}es},
institution = {Universit{\'{e}} de Paris-sud, Centre d'Orsay},
year = {1983},
note = {In French}}
@article{CL87,
key = {CL87},
author = {Cherifa, A. ben and P. Lescanne},
title = {{T}ermination of rewriting systems by
polynomial interpretations and its implementation},
journal = {Science of Computer Programming},
volume = {9},
pages = {137-159},
year = {1987}}
@inproceedings{CW87,
key = {CW87},
author = {D.R. Cheriton and M.E. Wolf},
title = {{E}xtensions for multi-module records in
conventional programming languages},
booktitle = {Conference Record of the Fourteenth Annual ACM
Symposium on
Principles of Programming Languages},
pages = {296-306},
organization = {ACM},
year = {1987}}
@article{CM79,
key = {CM79},
author = {L.M. Chirica and D.F. Martin},
title = {{A}n order-algebraic definition of {K}nuthian
semantics},
journal = {Mathematical Systems Theory},
volume = {13},
pages = {1-27},
year = {1979}}
@misc{Cho86,
key = {Cho86},
author = {M.-A. Choquer},
title = {{S}pecification of the evaluation tool:
leftmost outermost reduction strategy in the equational case},
type = {{ESPRIT} project 432, {METEOR}, {T}ask 10: case
studies},
year = {1986}}
@inproceedings{Cle87,
key = {Cle87},
author = {D. Cl{\'{e}}ment},
title = {{T}he natural dynamic semantics of
{M}ini-{S}tandard {ML}},
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 = {67-81},
organization = {Springer-Verlag},
year = {1987}}
@techreport{Cle90,
key = {Cle90},
author = {D. Cl{\'{e}}ment},
title = {{A} distributed architecture for programming
environments},
institution = {INRIA},
type = {{R}apports de {R}echerche 1266},
address = {Sophia Antipolis},
year = {1990}}
@techreport{CDDHK85,
key = {CDDHK85},
author = {D. Cl{\'{e}}ment and J. Despeyroux and T.
Despeyroux and L. Hascoet and G. Kahn},
title = {{N}atural semantics on the computer},
institution = {INRIA},
type = {{R}apports de {R}echerche 416},
address = {Sophia Antipolis},
year = {1985}}
@inproceedings{CDDK86,
key = {CDDK86},
author = {D. Cl{\'{e}}ment and J. Despeyroux and T.
Despeyroux and G. Kahn},
title = {{A} simple applicative language: {M}ini-{ML}},
booktitle = {Proceedings of the 1986 ACM Conference on Lisp
and Functional Programming},
pages = {13-27},
organization = {ACM},
year = {1986}}
@techreport{CDGAR88,
key = {CDGAR88},
author = {D. Coleman and C. Dollin and R. Gallimore and
P. Arnold and T. Rush},
title = {{A}n introduction to the {A}xis specification
language},
institution = {Hewlett-Packard Ltd.},
type = {{T}echnical {R}eport {HPL}-{ISC}-{TR}-88-031},
year = {1988}}
@inproceedings{CH85a,
key = {CH85a},
author = {T. Coquand and G. Huet},
title = {{C}oncepts math{\'{e}}matiques et informatiques
formalis{\'{e}}s dans le calcul des constructions},
booktitle = {Logic Colloquium '85},
editor = {The Paris Logic Group},
pages = {123-146},
organization = {Elsevier},
year = {1985},
note = {In French}}
@techreport{CH85b,
key = {CH85b},
author = {T. Coquand and G. Huet},
title = {{C}onstructions: a higher order proof system
for mechanizing mathematics},
institution = {INRIA},
address = {Rocquencourt},
year = {1985}}
@article{Cor89,
key = {Cor89},
author = {G.V. Cormack},
title = {{A}n {LR} substring parser for noncorrecting
syntax error recovery},
journal = {SIGPLAN Notices},
volume = {24},
number = {7},
pages = {179-191},
year = {1989}}
@article{CF82,
key = {CF82},
author = {B. Courcelle and P. {Franchi-Zannettacci}},
title = {{A}ttribute grammars and recursive program
schemes {I} and {II}},
journal = {Theoretical Computer Science},
volume = {17},
pages = {163-191 and 235-257},
year = {1982}}
@incollection{CCM85,
key = {CCM85},
author = {G. Cousineau and P.-L. Curien and M. Mauny},
title = {{T}he categorical abstract machine},
booktitle = {Functional Programming Languages and Computer
Architecture},
series = {Lecture Notes in Computer Science},
editor = {J.-P. Jouannaud},
volume = {201},
pages = {50-64},
publisher = {Springer-Verlag},
year = {1985}}
@inproceedings{CF89,
key = {CF89},
author = {R. Cartwright and M. Felleisen},
title = {The Semantics of Program Dependence},
booktitle = {Proceedings of the ACM SIGPLAN'89 Conference on
Programming Language Design and Implementation},
pages = {13-27},
year = {1989},
note = {Appeared as {\it SIGPLAN Notices} 24(7)}
}
@misc{CCI,
author = {CCITT},
note = {Recommendation X.209, technically aligned with ISO
8825},
title = {Specification of Basic Encoding Rules for Abstract
Syntax Notation
One (ASN.1)}
}
@book{Chu41,
key = "Chu41",
author = "A. Church",
title = "The Calculi of Lambda Conversion",
year = 1941,
publisher = "Princeton University Press"
}
@techreport{CU73,
key = {CU73},
author = {J. Cleveland and R. Uzgalis},
title = {What every programmer should know about
grammar},
institution = {Department of Computer Science, University of
California},
type = {Report},
address = {Los Angelos, California},
year = {1973}}
@manual{CENTAUR,
key = {CENTAUR},
title = {{T}he {CENTAUR} {D}ocumentation - {V}ersion
0.9},
organization = {INRIA},
address = {Sophia-Antipolis},
year = {1989}}
@misc{CDDHK86,
key = {CDDHK86},
author = {D. Cl{\'{e}}ment and J. Despeyroux and
Th. Despeyroux and L. Hascoet and G. Kahn},
title = {Specification in Natural Semantics},
note = {in {G}eneration of interactive programming
environments
- {GIPE}, {I}ntermediate report, {CS}-{R}8620, section
D4.A2
Centrum voor Wiskunde en Informatica,
Amsterdam},
year = {1986}}
@manual{CH89,
key = {CH89},
author = {D. Cl{\'{e}}ment and L. Hascoet},
title = {{C}entaur {P}aths: a structure to designate
subtrees},
series = {The CENTAUR Documentation - Version 0.9, Volume
II - User's Manual},
organization = {INRIA},
address = {Sophia-Antipolis},
year = {1989}}
@manual{CI89a,
key = {CI89},
author = {D. Cl{\'{e}}ment and J. Incerpi},
title = {{T}he {C}entaur structure editor},
series = {The CENTAUR Documentation - Version 0.9, Volume
II - User's Manual},
organization = {INRIA},
address = {Sophia-Antipolis},
year = {1989}}
@manual{CI89b,
key = {CI89},
author = {D. Cl{\'{e}}ment and J. Incerpi},
title = {{G}raphical objects within {C}entaur},
series = {The CENTAUR Documentation - Version 0.9, Volume
II - User's Manual},
organization = {INRIA},
address = {Sophia-Antipolis},
year = {1989}}
@manual{CIL89,
key = {CIL89},
author = {D. Cl{\'{e}}ment and J. Incerpi and B. Lang},
title = {{T}he virtual tree processor},
series = {The CENTAUR Documentation - Version 0.9, Volume
II - User's Manual},
organization = {INRIA},
address = {Sophia-Antipolis},
year = {1989}}
@techreport{CACDHGGR88,
key = {CACDHGGR88},
author = {D. Coleman and P. Arnold and A. Camilleri and
C. Dollin and H. Hayes and H. Gilchrist and P. Goldsack and T.
Rush},
title = {{T}he {AXIS} papers},
institution = {Hewlett-Packard Laboratories},
type = {{T}echnical {R}eport {HPL}-{ISC}-{TR}-88-031,
{HPL}-{ISC}-{TM}-87-47, {HPL}-{ISC}-{TM}-88-18,
{HPL}-{ISC}-{TM}-88-019, {HPL}-{ISC}-{TR}-88-034,
{HPL}-{ISC}-{TM}-88-033},
address = {Bristol},
year = {1988}}
@InProceedings{Com89,
author = "Hubert Comon",
title = "Inductive proofs by specification transformations",
key = "Com89",
editor = "N. Dershowitz",
number = 355,
series = "Lecture Notes in Computer Science",
pages = "77--91",
booktitle = "Rewriting Techniques and Applications",
year = 1989,
publisher = "Springer"
}
@InProceedings{CSO95,
author = "Sachin V.Chitnis and Manoranjan Satpathy and Sundeep Oberoi",
title = "Rationalized Three Instruction Machine",
booktitle = "IR'95",
publisher = "ACM",
month = "January",
annote = "Sattelite Workshop POPL'95"
}
@InProceedings{CSO94,
author = "Sachin V.Chitnis and Manoranjan Satpathy and Sundeep Oberoi",
title = "Flow Analysis of Abstract Machine Code for
Functional Programming Languages",
booktitle = "International Computer Symposium",
year = 1994,
note = "Taiwan"
}
@misc{CWI95.proc,
key = "CWI95.proc",
title = "Procedure voor de (elektronische) publikatie van CWI-rapporten",
author = "CWI",
howpublished = "MEMO"
}
@inproceedings{CPHP87,
key = "CPHP87",
author = "P. Caspi and D. Pilaud and N. Halbwachs and J.A. Plaice",
title = "{LUSTRE}: A declarative language for programming synchronous
systems",
booktitle = "Forteenth ACM SIGPLAN symposium on Principles of Programming
Languages",
year = "1987",
pages = "178--188"
}
@inproceedings{Car84,
key = "Car84",
author = "Luca Cardelli",
title = "Compiling a Functional Language",
booktitle = "ACM Symposium on Lisp and Functional Programming",
year = "1984",
pages = "208--217"
}
@article{CRE94,
key = "CRE94",
author = "John Yiannis Cotronis and Apostolos Nikolaos Refenes and Eugene Eberbach",
title = "Language Support for Concurrent Symbolic and Numeric Systems",
journal = "Software--Concepts and Tools",
year = "1994",
number = "15",
pages = "105--124",
publisher = "Springer-Verlag"
}
@misc{CAN94,
key = "CAN94",
title = "CAN Informationpackage",
editor = "CAN, Kruislaan 419, Amsterdam"
}
@article{CAC84,
key = "CAC84",
author = "W.P. Cockshot and M.P. Atkinson and K.J. Chisholm",
title = "Persistent Object Management System",
journal = "Software--Practice and Experience",
volume = "14",
year = "1984",
pages = "49-71"
}
@misc{CWI93a,
key = "CWI93a",
author = "CWI",
title = "Overview Research Activities",
year = "1993"
}
@misc{CWI93b,
key = "CWI93b",
author = "CWI",
title = "Sociaal Jaarverslag",
year = "1993"
}
@techreport{CH90,
key = "CH90",
author = "Guy Cousineau and G\'erard Huet",
title = "The {CAML} Primer",
note = "Version 2.6.1, available by ftp from ftp.inria.fr",
institution = "Inria",
year = "1990"
}
@inproceedings{CWW86,
key = {CWW86},
author = {L.A. Clarke and J.C. Wileden and A.L. Wolf},
title = {Graphite: A Meta-Tool For Ada Environment Development},
booktitle = {Proceedings of the International Conference on Ada
Applications and Environments},
year = {1986},
publisher = {IEEE Computer Society Press},
pages = {81-90}
}
@book{CLR89,
key = {CLR89},
author = {Thomas H. Cormen and Charles E. Leiserson and Ronald L. Rivest},
title = {Introduction to Algorithms},
series = {The MIT Electrical Engineering and Computer Science Series},
publisher = {MIT press},
address = {Cambridge Massachussetts},
year = {1989}
}
@inproceedings{CER90,
author = {M.H.M. Cheng and M.H. van Emden and B.E. Richards},
title = {{O}n {W}arren{'}s method for {F}unctional {P}rogramming in {L}ogic},
booktitle = {Proc. 7th International Conf. on Logic Programming},
pages = {546-560},
editor = {D.H.D.Warren and P.Szeredi},
organization = {MIT Press},
year = {1990}
}
@inproceedings{CES93,
author = {M.H.M. Cheng and M.H. van Emden and Stott Parker, D.},
title = {{A}pplicative {T}erm {R}ewriting {S}ystems and {P}rolog {T}echnology},
booktitle = {Proceedings of H O A '93, An International Workshop on Higher-Order Algebra, Logic and Term Rewriting {\bf (To Appear)}},
organization = {CWI, Amsterdam},
year = {1993}
}
@inproceedings{CW91,
author = {D. Cohen and P. Watson},
title = {An efficient representation of arithmetic for term rewriting},
booktitle = {Proceeding of the Fourth International Conference on Rewriting Techniques and Application (Como, Italy)},
editor = {R. Book},
series = {LNCS 488},
pages = {240-251},
publisher = {Springer Verlag, Berlin},
year = {1991}
}
@book{CLR89,
key = {CLR89},
author = {Thomas H. Cormen and Charles E. Leiserson and Ronald L. Rivest},
title = {Introduction to Algorithms},
series = {The MIT Electrical Engineering and Computer Science Series},
publisher = {MIT press},
address = {Cambridge Massachussetts},
year = {1989}
}
@inproceedings{Car83,
key = {Car83},
author = {J.R. Cardell},
title = {Multilingual debugging with the {SWAT}
high-level debugger},
booktitle = {Proceedings of the ACM SIGSOFT/SIGPLAN Software
Engineering
Symposium on High-level Debugging},
pages = {180-189},
year = {1983}}
@TechReport{Com95,
author = "The Compare Consortium",
title = "An {ASF/SDF} specification of the flattening
procedure in fSDL",
institution = "CWI",
year = 1995,
number = "D1.5.9/2",
note = "Actually written by S.Klusener"
}