Bibliography
@techreport{FV95,
author = "Wan Fokkink and Chris Verhoef",
title = "A Conservative Look at Term Deduction Systems with Variable Binding",
number = "95-28",
year = "1995",
institution = "Department of Computer Science, Eindhoven University of Technology"
}
@TechReport{Fra94,
author = "Ulrich Fraus",
title = "Inductive Theorem Proving for Algebraic Specifications
- {TIP} System User's Manual -",
address = "Passau",
year = "1994",
descriptor = "Algebraische Spezifikation, Beweis-Prozedur,
Spezifikationssprache, Spezifikationsumgebung,
Theorembeweiser",
}
@techreport{FP96.ci,
author = "Wan Fokkink and Jaco van de Pol",
title = "Correct Transformation of Rewrite Systems
for Implementation Purposes",
institution = "Utrecht University Logic Group Preprint Series",
number = "164",
month = "may",
year = "1996",
note = "http://www.phil.ruu.nl/home/marco/preprints.html"
}
@article{FM91,
author = "P. Fradet and D. Le M{\'e}tayer",
title = "Compilation of Functional Languages by Program Transformation",
journal = "ACM Transactions on Programming Languages and Systems",
year = 1991,
volume = 13,
number = 1,
pages = "21-51",
month = "january"
}
@techreport{Fag83,
key = {Fag83},
author = {F. Fages},
title = {{F}ormes canoniques dans les alg{\`{e}}bres
bool{\'{e}}ennes, et application {\`{a}} la d{\'{e}}monstration
automatique en logique de premier ordre},
institution = {Universit{\'{e}} Pierre et Marie Curie, Paris
VI},
year = {1983}}
@inproceedings{Far86,
key = {Far86},
author = {R. Farrow},
title = {{A}utomatic generation of fixed-point-finding
evaluators for circular, but well-defined, attribute grammars},
booktitle = {Proceedings of the ACM SIGPLAN '86 Symposium on
Compiler Construction},
pages = {85-98},
organization = {ACM},
year = {1986},
note = {Appeared as {\it SIGPLAN Notices} 21(7)}}
@inbook{FJOKRR87,
key = {FJOKRR87},
author = {L.M.G. Feijs and H.B.M. Jonkers and J.H. Obbink
and C.P.J. Koymans and G.R. Renardel de Lavalette and P.H.
Rodenburg},
title = {{A} survey of the design language {COLD}},
booktitle = {Esprit '86 - Results and Achievements},
pages = {631-644},
publisher = {Elsevier},
year = {1987}}
@article{FOW87,
key = {FOW87},
author = {J. Ferrante and K.J. Ottenstein and J.D.
Warren},
title = {{T}he program dependence graph and its use in
optimization},
journal = {ACM Transactions on Programming Languages and
Systems},
volume = {9},
number = {3},
pages = {319-349},
year = {1987}}
@article{Fil87,
key = {Fil87},
author = {G. Fil{\'{e}}},
title = {{C}lassical and incremental attribute
evaluation by means of recursive procedures},
journal = {Theoretical Computer Science},
volume = {53},
pages = {25-65},
year = {1987}}
@techreport{FR81,
key = {FR81},
author = {G. Florijn and G. Rolf},
title = {{PGEN} - a general purpose parser generator},
institution = {Mathematical Centre},
type = {Report {IW} 157/81},
address = {Amsterdam},
year = {1981}}
@article{Flo64,
key = {Flo64},
author = {R.W. Floyd},
title = {{B}ounded context syntactic analysis},
journal = {Communications of the ACM},
volume = {7},
number = {2},
pages = {62-67},
year = {1964}}
@manual{FSL83,
key = {FSL83},
author = {J.K. Foderaro and K.L. Sklower and K. Layer},
title = {{T}he {FRANZ} {LISP} manual},
year = {1983}}
@inproceedings{Fri84a,
key = {Fri84a},
author = {L. Fribourg},
title = {{O}riented equational clauses as a programming
language},
booktitle = {Proceedings Eleventh International Conference
on Automata, Languages and Programming},
series = {Lecture Notes in Computer Science},
volume = {172},
pages = {162-173},
organization = {Springer-Verlag},
year = {1984}}
@book{Fri84b,
key = {Fri84b},
author = {P. Fritzson},
title = {{T}owards a distributed programming environment
based on incremental compilation},
series = {Link{\"{o}}ping Studies in Science and
Technology, dissertations},
volume = {109},
publisher = {Link{\"{o}}ping University},
address = {Link{\"{o}}ping},
year = {1984},
note = {Ph.D. Thesis}}
@inproceedings{Fri88,
key = {Fri88},
author = {P. Fritzson},
title = {Incremental symbol processing},
booktitle = {Proceedings of the 2nd CCHSC workshop},
series = {Lecture Notes in Computer Science},
volume = {371},
pages = {11-38},
organization = {Springer-Verlag},
year = {1988}}
@article{Fut71,
key = {Fut71},
author = {Y. Futamura},
title = {{P}artial evaluation of computation process -
an approach to a compiler-compiler},
journal = {Systems {\mbox{$\bullet$}} Computers
{\mbox{$\bullet$}} Controls},
volume = {2},
number = {5},
pages = {45-50},
year = {1971}}
@inproceedings{Fut83,
key = {Fut83},
author = {Y. Futamura},
title = {{P}artial computation of programs},
booktitle = {Proceedings of the RIMS Symposia on Software
Science and Engineering},
series = {Lecture Notes in Computer Science},
volume = {147},
pages = {1-35},
organization = {Springer-Verlag},
year = {1983}}
@inproceedings{Fut90,
key = {Fut90},
author = {K. Futatsugi},
title = {{T}rends in formal specification methods based
on algebraic
specification techniques
-From abstract data types to software processes:
a personal perspective-},
booktitle = {Proceedings of an International Conference
organized by the IPJS to Commemorate the 30th Anniversary},
pages = {59-66},
organization = {IPJS},
year = {1990}}
@inproceedings{FGJM85,
key = {FGJM85},
author = {K. Futatsugi and J.A. Goguen and J.-P.
Jouannaud and J. Meseguer},
title = {{P}rinciples of {OBJ}2},
booktitle = {Conference Record of the Twelfth Annual ACM
Symposium on
Principles of Programming Languages},
editor = {B. Reid},
pages = {52-66},
organization = {ACM},
year = {1985}}
@inproceedings{Fie93,
author = "J. Field",
title = "A graph reduction approach to incremental rewriting",
booktitle = "Proceedings of the 5th International Conference on
Rewriting Techniques and Applications",
editor = "C. Kirchner",
series = "LNCS",
volume = 690,
pages = "259-273",
year = 1993
}
@inproceedings{Fel92,
key = {Fel92},
author = {A. Felty},
title = {Defining Object-Level Parsers in
$\lambda$Prolog},
booktitle = {Proceedings of the 1992 Workshop on the
lambdaProlog Programming Language,Report MS-CIS-92-86},
organization = {University of Pennsylvania, Philadelphia},
year = {1992},
note = {Published as report MS-CIS-92-86}
}
@inproceedings{FT90,
key = "FT90",
author = "J. Field and T. Teitelbaum",
title = "Incremental reduction in the Lambda Calculus",
booktitle = "Conference Record of the 1990 ACM
Conference on Lisp and Functional Programming",
pages = "307-322",
organization = "ACM",
year = "1990"}
@inproceedings{FGKS91,
key = {FGKS91},
author = {P. Fritzson and T. Gyimothy and M. Kamkar and
N. Shahmehri},
title = {Generalized Algorithmic Debugging and Testing},
booktitle = {Proceedings of the ACM SIGPLAN'91 Conference on
Programming Language Design and Implementation},
pages = {317-326},
year = {1991},
note = {Appeared as {\it SIGPLAN Notices} 26(6)}}
@inproceedings{Field92,
Author= "J. Field",
Title= "A Simple Rewriting Semantics for Realistic Imperative
Programs and its Application to Program Analysis",
Booktitle= "Proceedings of the
ACM SIGPLAN Workshop on Partial Evaluation and
Semantics-Based Program Manipulation",
Pages= "98--107",
Year= "1992"
}
@misc{Fei90,
key = "Fei90",
title = "Bookreview of The Interface Description Language: Definition and
Use",
author = "L.M.G. Feijs",
journal = "Science of Computer Programming",
volume = "14",
pages = "106--109",
publisher = "North-Holland"
}
@inproceedings{FW76,
key = "FW76",
author = "D.P. Friedman and D.S. Wise",
title = "Cons should not evaluate its arguments",
booktitle = "Proceedings of the third International Colloquium on
Automata, Languages and Programming",
address = "Edinburgh",
year = "1976",
editor = "S.Michaelson and R.Milner",
pages = "257--294"
}
@article{Fei87,
key = {Fei87},
author = {P.H. Feiler},
title = {Relationship between {IDL} and Structure Editor
Generation Technology},
journal = {ACM SIGPlan Notices},
volume = {22},
number = {11},
month = {nov},
year = {1987},
pages = {97-95}
}
@TechReport{FH90,
author = "C.W.~Fraser and D.R.~Hanson",
title = "A code generation interface for {ANSI} {C}",
institution = "Department of Computer Science, Princeton University",
year = "1990",
key = "FH90",
number = "CS-TR-270-90",
month = "July",
note = "Laste revisited {S}eptember 1992",
}
@Article{FH91a,
author = "C.W.~Fraser and D.R.~Hanson",
title = "A code generation interface for {ANSI} {C}",
key = "FH91a",
journal = "{S}oftware -- {P}ractice \& {E}xperience",
year = "1991",
volume = "21",
number = "9",
pages = "963--988",
month = "September",
}
@TechReport{FH91b,
author = "C.W.~Fraser and D.R.~Hanson",
title = "A Retargetable Compiler for {ANSI} {C}",
institution = "Department of Computer Science, Princeton University",
year = "1991",
key = "FH91b",
number = "CS-TR-303-91",
month = "February",
}
@Article{FH91c,
author = "C.W.~Fraser and D.R.~Hanson",
title = "A Retargetable Compiler for {ANSI} {C}",
key = "FH91c",
journal = "{SIGPLAN} {N}otices",
year = "1991",
volume = "26",
number = "10",
pages = "29--43",
month = "October"
}
@Article{FHP92a,
author = "C.W.~Fraser and R.R.~Henry and T.A.~Proebsting",
title = "{BURG} - Fast Optimal Instruction Selection and
tree parsing",
key = "FHP92a",
journal = "{SIGPLAN} Notices",
year = "1992",
volume = "27",
number = "4",
pages = "68--76",
month = "April",
note = "BURG is available by anonymous ftp from kaese.cs.wisc.edu,
file /pub/burg.shar.Z"
}
@Article{FHP92b,
author = "C.W.~Fraser and D.R.~Hanson and T.A.~Proebsting",
title = "Engineering a Simple, Efficient Code Generator
Generator",
key = "FHP92b",
journal = "{ACM} {L}etters on {P}rogramming {L}anguages and {S}ystems",
year = "1992",
volume = "1",
number = "3",
pages = "213--226",
month = "September",
note = "iburg is available by anonymous ftp from
ftp.cs.princeton.edu, file /pub/iburg.tar.Z"
}
@inproceedings{FW87,
key = {FW87},
author = {Jon Fairbairn and Stuart Wray},
title = {Tim: A Simple, Lazy Abstract Machine to Execute Supercombinators},
booktitle = {Functional Programming Languages and Computer Architecture},
series = {Lecture Notes in Computer Science},
volume = {274},
organization = {Springer-Verlag},
editor = {Gilles Kahn},
year = 1987,
pages = {34-45}
}
%% deze moet eruit, want niet zo origineel
@InProceedings{FP95,
author = {M. V. Ferro and M.A.A. Pardo},
title = {Friendly Incremental Prototyping},
crossref = {ASF+SDF95},
pages = {127--142}
}
@techreport{fSDL,
author = {C.-T. B\"uhl and T.B. Dinesh
and J.F.Th. Kamperman and H.R. Walters},
title = {fSDL},
number = {UKA-0001-fsdl},
year = {1994},
institution = {CWI},
note = {Compare Deliverable}
}
@inProceedings{
Field90,
key = "Field90",
author = "Field, J.",
title = "{On Laziness and Optimality in Lambda Interpreters: Tools
for Specification and Analysis}",
booktitle = "Proc. ACM Conference on Principles of
Programming Languages, San Francisco",
year = 1990,
}