Bibliography
@inproceedings{Pey96,
key = {Pey96},
author = {Simon L Peyton Jones},
title = {Compiling Haskell by Program Transformation: A Report from the
Trenches},
pages = {18--44},
booktitle = {Programming Languages and Systems -- ESOP'96},
editor = {Hanne Riis Nielson},
number = {1058},
series = {Lecture Notes in Computer Science},
publisher = {Springer-Verlag},
year = {1996}
}
@techreport{Pol96,
key = {Pol96},
author = {Jaco van de Pol},
title = {Operational Semantics of Term Rewriting with Priorities},
institution = {Utrecht Research Institute for Philosophy},
series = {Logic Group Preprint Series},
number = {162},
month = {april},
year = {1996}
}
@techreport{PvE96,
author = "Rinus Plasmeijer and Marko van Eekelen",
title = "Concurrent Clean",
note = "Language Report, version 1.1",
institution = "University of Nijmegen",
month = "march",
year = "1996"
}
@article{PC90,
key = {PC90},
author = {A. Podgurski and L.A. Clarke},
title = {A Formal Model of Program Dependences and Its
Implications
for Software Testing, Debugging, and
Maintenance},
journal = {IEEE Transactions on Software Engineering},
volume = {16},
number = {9},
pages = {965--979},
year = {1990}
}
@techreport{Pad83,
key = {Pad83},
author = {P. Padawitz},
title = {{S}tepwise specification by inductive
completion},
institution = {Technische Universit{\"{a}}t Berlin},
type = {{B}ericht nr. 83-19},
address = {Berlin},
year = {1983}}
@techreport{Pad84,
key = {Pad84},
author = {P. Padawitz},
title = {{P}arameter preserving data type
specifications},
institution = {Universit{\"{a}}t Passau},
type = {Report {MIP}-8404},
year = {1984}}
@techreport{Pam84,
key = {Pam84},
author = {K.G. Pammett},
title = {{M}ouse-driven menu interfaces for software
tools on a bitmap {UNIX} system},
institution = {INRIA},
type = {{R}apports de {R}echerche 310},
address = {Rocquencourt},
year = {1984}}
@inproceedings{PP87,
key = {PP87},
author = {F. Parisi-Presicce},
title = {{P}artial composition and recursion of module
specifications},
booktitle = {TAPSOFT '87 - Proceedings of the International
Joint Conference on Theory and Practice of Software Development
1},
series = {Lecture Notes in Computer Science},
editor = {H. Ehrig and R. Kowalski and G. Levi and U.
Montanari},
volume = {249},
pages = {217-231},
organization = {Springer-Verlag},
year = {1987}}
@article{PS83,
key = {PS83},
author = {H. Partsch and R. Steinbr{\"{u}}ggen},
title = {{P}rogram transformation systems},
journal = {Computing Surveys},
volume = {15},
number = {3},
pages = {199-236},
year = {1983}}
@techreport{Pau83a,
key = {Pau83a},
author = {L. Paulson},
title = {{R}ecent developments in {LCF}: examples of
structural induction},
institution = {University of Cambridge},
type = {{T}echnical {R}eport 34},
year = {1983}}
@techreport{Pau83b,
key = {Pau83b},
author = {L. Paulson},
title = {{T}he revised logic {PPLAMBDA}, a reference
manual},
institution = {University of Cambridge},
type = {{T}echnical {R}eport 36},
year = {1983}}
@techreport{Pau83c,
key = {Pau83c},
author = {L. Paulson},
title = {{R}ewriting in {C}ambridge {LCF}},
institution = {University of Cambridge},
type = {{T}echnical {R}eport 35},
year = {1983}}
@techreport{Pau83d,
key = {Pau83d},
author = {L. Paulson},
title = {{S}tructural induction in {LCF}},
institution = {University of Cambridge},
type = {{T}echnical {R}eport 44},
year = {1983}}
@techreport{Pau83e,
key = {Pau83e},
author = {L. Paulson},
title = {{T}actics and tacticals in {C}ambridge {LCF}},
institution = {University of Cambridge},
type = {{T}echnical {R}eport 39},
year = {1983}}
@techreport{Pau84,
key = {Pau84},
author = {L. Paulson},
title = {{V}erifying the unification algorithm in {LCF}},
institution = {University of Cambridge},
type = {{T}echnical {R}eport 50},
year = {1984}}
@manual{PWBBP85,
key = {PWBBP85},
author = {F. Pereira and D. Warren and D. Bowen and L.
Byrd and L. Pereira},
title = {{C}-{P}rolog {U}ser's {M}anual, {V}ersion 1.5},
organization = {SRI International},
address = {Menlo Park, California},
year = {1985}}
@misc{Pet,
key = {Pet},
author = {M. Pettersson},
title = {{DML} - a meta-language for practical compiler
generation from denotational},
address = {Link{\"{o}}ping},
note = {Draft}}
@inproceedings{PS87,
key = {PS87},
author = {A. Pettorossi and A. Skowron},
title = {{H}igher order generalization in program
derivation},
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 = {182-196},
organization = {Springer-Verlag},
year = {1987}}
@inproceedings{Pla88,
key = {Pla88},
author = {D.A. Plaisted},
title = {{A} logic for conditional term rewriting
systems},
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 = {212-227},
organization = {Springer-Verlag},
year = {1988}}
@article{Plo72,
key = {Plo72},
author = {G.D. Plotkin},
title = {{B}uilding-in equational theories},
journal = {Machine Intelligence},
volume = {7},
pages = {73-90},
year = {1972}}
@techreport{Plo81,
key = {Plo81},
author = {G.D. Plotkin},
title = {{A} structural approach to operational
semantics},
institution = {Aarhus University},
type = {Report {DAIMI} {FN}-19},
year = {1981}}
@article{PDN86,
key = {PDN86},
author = {R. Prieto-Diaz and J.M. Neighbors},
title = {{M}odule interconnection languages},
journal = {Journal of Systems and Software},
volume = {6},
pages = {307-334},
year = {1986}}
@inproceedings{PT89,
key = {PT89},
author = {W. Pugh and T. Teitelbaum},
title = {{I}ncremental computation via function caching},
booktitle = {Conference Record of the Sixteenth Annual ACM
Symposium on
Principles of Programming Languages},
pages = {315-328},
organization = {ACM},
year = {1989}}
@inproceedings{PSV92,
key = {PSV92},
author = {M. Pennings and D. Swierstra and H. Vogt},
title = {Using Cached Functions and Constructors
for Incremental Attribute Evaluation},
booktitle = {Proceedings of the International Symposium on
Programming Language Implementation and Logic
Programming '92},
series = {Lecture Notes in Computer Science},
editor = {M. Bruynooghe and M. Wirsing},
volume = {631},
pages = {130-144},
organization = {Springer-Verlag},
year = {1992}}
@article{Poi86,
key = {Poi86},
author = {A. Poign{\'{e}}},
title = {On Specifications, Theories, and Models with
Higher Types},
journal = {Information and Control},
volume = {68},
pages = {1-46},
year = {1986}
}
@inproceedings{PL88,
key = {PL88},
author = {J.A. Poutr{\'{e}} and Leeuwen, J. van},
title = {{M}aintenance of transitive closures and
transitive
reductions of graphs},
booktitle = {Graph-Theoretic Concepts in Computer Science
1987},
series = {Lecture Notes in Computer Science},
editor = {H. G{\"{o}}ttler and H.J. Schneider},
volume = {314},
pages = {106-120},
organization = {Springer-Verlag},
year = {1988}}
@article{Pai86,
author = "R. Paige",
title = "Programming with Invariants",
journal = "IEEE Sofware",
volume = "3",
number = "1",
pages = "56-69",
year = "1986"}
@article{PK82,
author = "R. Paige and S. Koenig",
title = "Finite Differencing of Computable Expressions",
journal = "ACM Transactions on Programming Languages and
Systems",
volume = "4",
number = "3",
pages = "402-454",
year = "1982"}
@manual{PCTE85,
key = {PCTE85},
title = {{PCTE}, a basis for a {P}ortable {C}ommon
{T}ool {E}nvironment, {F}unctional specifications, {T}hird
edition, 1 \& 2},
organization = {ESPRIT},
year = {1985}}
@misc{PCTE86,
key = {PCTE86},
title = {{PCTE} - {A} basis for a {P}ortable {C}ommon
{T}ool {E}nvironment},
type = {{P}roject report, {E}sprit technical week},
year = {1986}}
@InProceedings{Pet92,
author = "Mikael Pettersson",
title = "A Term Pattern-Match Compiler Inspired by Finite
Automata Theory",
editor = "U. Kastens and P. Pfahler",
number = 641,
series = "Lecture Notes in Computer Science",
pages = "258--270",
booktitle = "Proceedings of the Fourth International Conference
on Compiler Construction",
year = 1992,
publisher = "Springer-Verlag"
}
@inproceedings{Pap89,
key = "Pap89",
title = "A Fine Grain Parallel Implementation of Parlog",
author = "George A. Papadopoulos",
booktitle = "TAPSOFT '89",
volume = {352},
series = {Lecture Notes in Computer Science},
editor = "J.D{\'{\i}}az and F. Orejas",
publisher = {Springer-Verlag},
pages = "313-327"
}
@inproceedings{Pau82,
key = "Pau82",
title = "A Semantics-Directed Compiler Generator",
author = "Lawrence Paulson",
booktitle = "Ninth Annual {ACM} Symposium on {P}rinciples {O}f
{P}rogramming {Languages}",
publisher = "ACM",
year = "1982",
pages = "224-233"
}
@book{PJ92,
key = "PJ92",
author = "Simon L Peyton Jones and David Lester",
title = "Implementing Functional Languages -- A Tutorial",
publisher = "Prentice Hall",
year = "1992"
}
@article{Plo75,
key = "Plo75",
author = "G. D. Plotkin",
title = "Call-By-Name, Call-By-Value and the {$\lambda$}-calculus",
journal = "Theoretical Computer Science",
number = "1",
volume = "1",
year = "1975",
pages = "125--159"
}
@article{PrioRules,
title = {Term rewriting systems with rule priorities},
author = {J.C.M. Baeten and J.A. Bergstra and J.W. Klop and W.P. Weijland},
journal = {Theoretical Computer Science},
volume = 67,
year = 1989,
pages = {283--301}
}
@book{Pey87,
key = {Pey87},
author = {Peyton-Jones, Simon L.},
title = {The Implementation of Functional Programming Languages},
publisher = {Prentice-Hall},
year = {1987}
}
@inproceedings{Pal92,
key = {Pal92},
title = {A Provably Correct Compiler Generator},
author = {Jens Palsberg},
booktitle = {ESOP '92: Fourth European Symposium on Programming, Rennes, France},
editor = {B. Krieg-Br\"uckner},
organization = {Springer-Verlag},
series = {Lecture Notes in Computer Science},
volume = {582},
year = 1992
}
@book{
PvE93,
key = "PvE93",
author = "Plasmeijer, M J. and van Eekelen, M C J D.",
title = "{Functional Programming and Parallel Graph
Rewriting}",
publisher = "Addison Wesley",
year = "1993",
}