Bibliography
@inproceedings{GK96,
key = {GK96},
author = {John Glauert and Zurab Khasidashvili},
title = {Relative Normatlization in Deterministic Residual Structures},
booktitle = {Trees in Algebra and Programming -- CAAP'96},
editor = {H\'el\`ene Kirchner},
number = {1059},
series = {Lecture Notes in Computer Science},
publisher = {Springer-Verlag},
year = {1996},
pages = {180--195}
}
@inproceedings{GM87c,
author = "E. Giovannetti and C. Moiso",
title = "Notes on the elminination of conditions",
booktitle = "Conditional Term Rewriting Systems",
month = "july",
year = "1987",
publisher = "Springer-Verlag",
series = "Lecture Notes in Computer Science",
number = "308"
}
@inproceedings{GHS92,
key = {GHS92},
author = {R. Gupta and M.J. Harrold and M.L. Soffa},
title = {An approach to regression testing using
slicing},
booktitle = {Proceedings of the Conference on Software
Maintenance},
pages = {299--308},
year = {1992}
}
@phdthesis{Gal89.thesis,
key = {Gal89},
author = {K.B. Gallagher},
title = {Using Program Slicing in Software
Maintenance},
school = {University of Maryland},
year = {1989}
}
@techreport{GS92,
key = {GS92},
author = {R. Gupta and M.L. Soffa},
title = {A Framework for Generalized Slicing},
institution = {University of Pittsburgh},
type = {Technical Report {TR}-92-07},
year = {1992}
}
@article{GL91,
key = {GL91},
author = {K.B. Gallagher and J.R. Lyle},
title = {Using Program Slicing in Software
Maintenance},
journal = {IEEE Transactions on Software Engineering},
volume = {17},
number = {8},
pages = {751--761},
year = {1991}
}
@inproceedings{Gop91,
key = {Gop91},
author = {R. Gopal},
title = {Dynamic Program Slicing Based on Dependence
Relations},
booktitle = {Proceedings of the Conference on Software
Maintenance},
pages = {191--200},
year = {1991}
}
@inproceedings{GS89,
key = {GS89},
author = {R. Gopal and S.R. Schach},
title = {Using Automatic Program Decomposition
Techniques in Software
Maintenance Tools},
booktitle = {Proceedings of the Conference on Software
Maintenance},
pages = {132--141},
year = {1989}
}
@incollection{Gan83a,
key = {Gan83a},
author = {H. Ganzinger},
title = {{D}enotational semantics for languages with
modules},
booktitle = {Formal Description of Programming Concepts -
II},
editor = {D. Bj{\o}rner},
pages = {3-23},
publisher = {North-Holland Publishing Company},
year = {1983}}
@article{Gan83b,
key = {Gan83b},
author = {H. Ganzinger},
title = {{I}ncreasing modularity and
language-independency in automatically generated compilers},
journal = {Science of Computer Programming},
volume = {3},
pages = {223-278},
year = {1983}}
@article{Gan83c,
key = {Gan83c},
author = {H. Ganzinger},
title = {{P}arameterized specifications: parameter
passing and implementation with respect to observability},
journal = {ACM Transactions on Programming Languages and
Systems},
volume = {5},
number = {3},
pages = {318-354},
year = {1983}}
@incollection{Gan85,
key = {Gan85},
author = {H. Ganzinger},
title = {{M}odular first-order specifications of
operational semantics},
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 = {82-95},
publisher = {Springer-Verlag},
year = {1985}}
@inproceedings{GG84,
key = {GG84},
author = {H. Ganzinger and R. Giegerich},
title = {{A}ttribute coupled grammars},
booktitle = {Proceedings of the ACM SIGPLAN '84 Symposium on
Compiler Construction},
pages = {157-170},
organization = {ACM},
year = {1984},
note = {Appeared as {\it SIGPLAN Notices} 19(6)}}
@techreport{GG85a,
key = {GG85a},
author = {H. Ganzinger and R. Giegerich},
title = {{A}n experiment in logic specification of
compilers and interpreters, {D}raft},
institution = {Universit{\"{a}}t Dortmund},
year = {1985},
note = {To be presented at the workshop
``Programs \& data objects'', Copenhagen}}
@inproceedings{GH85,
key = {GH85},
author = {H. Ganzinger and M. Hanus},
title = {{M}odular logic programming of compilers},
booktitle = {IEEE Symposium on Logic Programming},
address = {Boston},
year = {1985}}
@techreport{Gau84,
key = {Gau84},
author = {M.-C. Gaudel},
title = {{A} first introduction to {PLUSS}, {D}raft},
institution = {Universit{\'{e}} de Paris-Sud},
address = {Orsay},
year = {December 1984}}
@incollection{Gau86,
key = {Gau86},
author = {M.-C. Gaudel},
title = {{T}oward structured algebraic specifications},
booktitle = {Esprit '85 - Status Report of Continuing Work
1},
editor = {The Commission of the European Communities},
pages = {493-510},
publisher = {Elsevier},
year = {1986}}
@article{GG85b,
key = {GG85b},
author = {M.R. Genesereth and M.L. Ginsberg},
title = {{L}ogic programming},
journal = {Communications of the ACM},
volume = {28},
number = {9},
pages = {933-941},
year = {1985}}
@inproceedings{GH87,
key = {GH87},
author = {A. Geser and H. Hussmann},
title = {{T}he {RAP} system from the user's point of
view},
booktitle = {METEOR Workshop, Algebraic Methods: Theory,
Tools and Applications},
organization = {Universit{\"{a}}t Passau},
year = {1987}}
@inproceedings{GHM88,
key = {GHM88},
author = {A. Geser and H. Hussmann and A. M{\"{u}}ck},
title = {{A} compiler for a class of 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 = {84-90},
organization = {Springer-Verlag},
year = {1988}}
@article{GM79,
key = {GM79},
author = {C. Ghezzi and D. Mandrioli},
title = {{I}ncremental parsing},
journal = {ACM Transactions on Programming Languages and
Systems},
volume = {1},
number = {1},
pages = {58-70},
year = {1979}}
@article{GM80,
key = {GM80},
author = {C. Ghezzi and D. Mandrioli},
title = {{A}ugmenting parsers to support incrementality},
journal = {Journal of the ACM},
volume = {27},
number = {3},
pages = {564-579},
year = {1980}}
@inproceedings{GMT85,
key = {GMT85},
author = {C. Ghezzi and D. Mandrioli and A. Tecchio},
title = {{P}rogram simplification via symbolic
interpretation},
booktitle = {Fifth Conference on Foundations of Software
Technology and Theoretical Computer Science},
series = {Lecture Notes in Computer Science},
editor = {S.N. Madeshwari},
volume = {206},
pages = {116-128},
organization = {Springer-Verlag},
year = {1985}}
@article{GC84,
key = {GC84},
author = {F. Giannesini and J. Cohen},
title = {{P}arser generation and grammar manipulation
using {P}rolog's infinite trees},
journal = {Journal on Logic Programming},
volume = {3},
pages = {253-265},
year = {1984}}
@incollection{Gie85,
key = {Gie85},
author = {R. Giegerich},
title = {{L}ogic specification of code generation
techniques},
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 = {96-111},
publisher = {Springer-Verlag},
year = {1985}}
@techreport{GACDR87,
key = {GACDR87},
author = {H. Gilchrist and P. Arnold and D. Coleman and
C. Dollin and T. Rush},
title = {{U}sing {A}xis to specify a programming
language},
institution = {Hewlett-Packard Ltd.},
type = {{T}echnical {R}eport {HPL}-{BRC}-{TM}-87-047},
year = {1987}}
@incollection{GV89,
key = {GV89},
author = {Glabbeek, R. van and F. Vaandrager},
title = {{M}odular specifications in process algebra
with curious queues},
booktitle = {Algebraic Methods: Theory, Tools and
Applications},
series = {Lecture Notes in Computer Science},
editor = {M. Wirsing and J.A. Bergstra},
volume = {394},
pages = {465-506},
publisher = {Springer-Verlag},
year = {1989}}
@inproceedings{GKK88,
key = {GKK88},
author = {I. Gnaedig and C. Kirchner and H. Kirchner},
title = {{E}quational completion in order-sorted
algebras},
booktitle = {Proceedings of the Thirteenth Colloquium on
Trees in
Algebra and Programming},
series = {Lecture Notes in Computer Science},
editor = {M. Dauchet and M. Nivat},
volume = {299},
pages = {165-184},
organization = {Springer-Verlag},
year = {1988}}
@techreport{Gog83,
key = {Gog83},
author = {M. Gogolla},
title = {{A}lgebraic specifications with partially
ordered sorts and declarations},
institution = {Universit{\"{a}}t Dortmund},
type = {{F}orschungsbericht 169},
year = {1983}}
@techreport{Gog84,
key = {Gog84},
author = {M. Gogolla},
title = {{E}rrors and exceptions in final algebras},
institution = {Technische Universit{\"{a}}t Braunschweig},
type = {unpublished report},
year = {1984}}
@inproceedings{Gog87,
key = {Gog87},
author = {M. Gogolla},
title = {{O}n parametric algebraic specifications with
clean error handling},
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 = {81-95},
organization = {Springer-Verlag},
year = {1987}}
@article{GDLE84,
key = {GDLE84},
author = {M. Gogolla and K. Drosten and U. Lipeck and
H.-D. Ehrich},
title = {{A}lgebraic and operational semantics of
specifications allowing exceptions and errors},
journal = {Theoretical Computer Science},
volume = {34},
pages = {289-313},
year = {1984}}
@incollection{Gog86,
key = {Gog86},
author = {J.A. Goguen},
title = {{O}ne, none, a hundred thousand specification
languages},
booktitle = {Information Processing 86},
editor = {H.-J. Kugler},
pages = {995-1003},
publisher = {Elsevier},
year = {1986}}
@incollection{GB84,
key = {GB84},
author = {J.A. Goguen and R.M. Burstall},
title = {{I}ntroducing institutions},
booktitle = {Logics of Programs},
series = {Lecture Notes in Computer Science},
editor = {E. Clarke and D. Kozen},
volume = {164},
pages = {221-255},
publisher = {Springer-Verlag},
year = {1984}}
@article{GJM85,
key = {GJM85},
author = {J.A. Goguen and J.-P. Jouannaud and J.
Meseguer},
title = {{O}perational semantics for order-sorted
algebra},
journal = {Lecture Notes in Computer Science},
volume = {194},
year = {1985}}
@inproceedings{GKKMMW88,
key = {GKKMMW88},
author = {J. Goguen and C. Kirchner and H. Kirchner and
A. M{\'{e}}grelis and J. Meseguer and T. Winkler},
title = {{A}n introduction to {OBJ}3},
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 = {258-263},
organization = {Springer-Verlag},
year = {1988}}
@inproceedings{GM82,
key = {GM82},
author = {J.A. Goguen and J. Meseguer},
title = {{U}niversal realization, persistent
interconnection and implementation of abstract modules},
booktitle = {Proceedings of the Ninth International
Conference on Automata, Languages and Programming},
series = {Lecture Notes in Computer Science},
volume = {140},
pages = {265-281},
organization = {Springer-Verlag},
year = {1982}}
@article{GM84,
key = {GM84},
author = {J.A. Goguen and J. Meseguer},
title = {{E}quality, types, modules, and (why not?)
generics for logic programming},
journal = {Journal of Logic Programming},
volume = {2},
pages = {179-210},
year = {1984}}
@misc{GM85,
key = {GM85},
author = {J.A. Goguen and J. Meseguer},
title = {{O}rder-sorted algebra {I}: {P}artial and
overloaded operators, errors and inheritance, {P}reprint},
year = {1985}}
@inproceedings{GM87a,
key = {GM87a},
author = {J.A. Goguen and J. Meseguer},
title = {{M}odels and equality for logical programming},
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 = {1-22},
organization = {Springer-Verlag},
year = {1987}}
@article{GM87b,
key = {GM87b},
author = {J.A. Goguen and J. Meseguer},
title = {{R}emarks on remarks on many-sorted equational
logic},
journal = {SIGPLAN Notices},
volume = {22},
number = {4},
pages = {41-48},
year = {1987}}
@incollection{GMP83,
key = {GMP83},
author = {J.A. Goguen and J. Meseguer and D. Plaisted},
title = {{P}rogramming with parameterized abstract
objects in {OBJ}},
booktitle = {Theory and Practice of Software Technology},
editor = {D. Ferrari and M. Bolognani and J. Goguen},
pages = {163-193},
publisher = {North-Holland},
year = {1983}}
@incollection{GPG81,
key = {GPG81},
author = {J.A. Goguen and K. Parsaye-Ghomi},
title = {{A}lgebraic denotational semantics using
parameterized abstract modules},
booktitle = {Formalizing programming concepts},
series = {Lecture Notes in Computer Science},
editor = {J. Diaz and I. Ramos},
volume = {107},
pages = {292-309},
publisher = {Springer-Verlag},
year = {1981}}
@incollection{GTW78,
key = {GTW78},
author = {J.A. Goguen and J.W. Thatcher and E.G. Wagner},
title = {{A}n initial algebra approach to the
specification, correctness and implementation of abstract data
types},
booktitle = {Current Trends in Programming Methodology},
editor = {R. Yeh},
pages = {80-149},
publisher = {Prentice-Hall},
year = {1978}}
@article{GH78,
key = {GH78},
author = {J.V. Guttag and J.J. Horning},
title = {{T}he algebraic specification of abstract data
types},
journal = {Acta Informatica},
volume = {10},
pages = {27-52},
year = {1978}}
@incollection{GWMFJ92.objintro
,author = {J.A. Goguen and T. Winkler and J. Meseguer and K.
Futatsugi
and J.P. Jouannaud}
,title = {Introducing {OBJ}}
,booktitle = {Applications of Algebraic Specification Using
{OBJ}}
,editor = {J.A. Goguen and D. Coleman and R. Gallimore}
,year = {1992}
,note = {To Appear}
,publisher = {Cambridge University Press}
}
@techreport{GM89.ordersorted,
key = {GM89},
author = {J.A. Goguen and J. Meseguer},
title = {{O}rder-sorted algebra {I}: Equational
deduction for multiple
inheritance, overloading, exceptions, and partial operations},
institution = {{SRI} international},
type = {{SRI}-{CSL}-89-10},
address = {Menlo Park},
year = {1989}
}
@techreport{Gro90,
author = {J. Grosch},
address = {Karlsruhe},
institution = {GMD, Karlsruhe},
month = {September},
title = {Ast -- A generator for abstract syntax trees},
type = {{R}eport 15},
year = {1990}
}
@BOOK{Gor88,
KEY = "Gor88",
AUTHOR = "M.J.C. Gordon",
TITLE = "Programming Language Theory and its Implementation",
PUBLISHER = "Prentice-Hall",
YEAR = 1988
}
@misc{GIPE85,
key = {GIPE85},
title = {{G}eneration of {I}nteractive {P}rogramming
{E}nvironments},
series = {1st Review Report Esprit Project no. 348},
year = {1985}}
@misc{GIPE86a,
key = {GIPE86},
title = {{G}eneration of interactive programming
environments - {GIPE}, {I}ntermediate report},
editor = {J. Heering and J. Sidi and A. Verhoog},
type = {{R}eport {CS}-{R}8620},
address = {Amsterdam},
year = {1986}}
@misc{GIPE86b,
key = {GIPE86},
title = {{GIPE} - {G}eneration of {I}nteractive
{P}rogramming {E}nvironments, {T}hird review report},
year = {1986}}
@misc{GIPE87,
key = {GIPE87},
title = {{GIPE}, {G}eneration of {I}nteractive
{P}rogramming {E}nvironments},
series = {ESPRIT Project 348 second annual review report},
year = {1987}}
@inproceedings{GL86,
author = {D.K. Gifford and J.M. Lucassen},
title = {Integrating functional and imperative programming},
booktitle = {ACM Conference on Lisp and Functional Programming},
pages = {28--38},
year = {1986}
}
@Unpublished{Gro95,
author = "Annius V. Groenink",
title = "An Elegant Grammatical Formalism for the Class of
Polynomial-time Recognisable Languages",
note = "draft obtained from Annius personally"
}
@TechReport{GL91b,
author = "Bernhard Gramlich and Wolfgang Lindner",
title = "A Guide to UNICOM, an Inductive Theorem Prover Based
on Rewriting and Completion Techniques",
institution = {Fachbereich Informatik, Universit\"{a}t Kaiserslautern},
year = 1991,
number = "SR-91-17",
note = "SEKI Report"
}
@techreport{GH94,
key = "GH94",
author = "Robert Giegerich and John Hughes",
title = "Functional Programming in the Real World",
number = "89",
year = "1994",
address = "Schloss Dagstuhl, Germany"
}
@techreport{GKSS88,
key = "GKSS88",
author = "J.R.W. Glauert and J.R. Kennaway and M.R. Sleep and G.W. Somner",
title = "Final Specification of Dactl",
number = "{SYS}-{C88}-{11}",
institution = "School of Information Systems, University of East Anglia",
year = "1988"
}
@unpublished{Gro94,
key = {Gro94},
title = {Literal Movement Grammars},
author = {Annius Groenink},
howpublished = {Copy obtained from author},
month = {October},
year = {1994},
pages = {1--10}
}
@inproceedings{GP88,
key = "GP88",
title = "A Parallel Implementation of {GHC}",
author = "John R.W. Glauert and George A. Papadopoulos",
booktitle = "Proceedings of the International Conference on Fifth
Generation Computer Systems",
year = "1988",
publisher = "ICOT",
pages = "1051--1058"
}
@inproceedings{Gri90,
key = "Gri90",
title = "A Formulae-as-Types Notion of Control",
author = "Timothy G. Griffin",
booktitle = "Seventeenth Annual {ACM} Symposium on {P}rinciples {O}f
{P}rogramming {Languages}",
publisher = "ACM",
year = "1990",
pages = "47-58"
}
@inproceedings{Gram94,
key = "Gram94",
author = "Bernhard Gramlich",
title = "On Modularity of Termination and Confluence
Properties of Conditional Rewrite Systems",
year = "1994",
booktitle = "Proceedings of the International Conference on
Programming Language Implementation and Logic
Programming, PLILP '94"
}
@inproceedings{Gri94,
key = "Gri94",
title = "Towards a Constraint Functional Logic Compiler
for Symbolic Computation Systems",
author = "Georgios Grivas",
year = "1994",
booktitle = "Proceedings of the International Conference on
Programming Language Implementation and Logic
Programming, PLILP '94"
}
@inproceedings{GLJ93,
key = "GLJ93",
author = "Andrew Gill and John Launchbury and Simon L Peyton Jones",
title = "A Short Cut to Deforestation",
year = "1993",
booktitle = "Functional Programming and Computer Architecture"
}
@techreport{GK94,
key = "GK94",
author = "Robert Giegerich and Stefan Kurtz",
title = "A Comparison of Imperative and Purely Functional Suffix Tree
Constructions",
year = "1994",
number = "14",
school = "Universit{\"a}t Bielefeld",
address = "Technische Fakult{\"a}t Postfach 100131 D-33501 Bielefeld"
}
@article{Gar87,
key = {Gar87},
author = {David Garlan},
title = {Extending {IDL} to Support Concurrent Views},
journal = {SIGPLAN Notices},
volume = {22},
number = {11},
month = {nov},
year = {1987},
pages = {95-110}
}
@Manual{GG91,
key = {GG91},
author = {Garland,S.J. and Guttag, J.V.},
title = {{A} {G}uide to {LP}, {T}he {L}arch {P}rover},
organization = {MIT},
year = {1991},
month = {November}
}
@InProceedings{GK92,
author = {Torbj\"{o}rn Granlund and Richard Kenner},
title = "Eliminating Branches using a Superoptimizer and the
{GNU} {CC} compiler",
key = "GK92",
booktitle = {Proceedings of the Sigplan '92 Conference on
Programming Language Design and Implementation},
publisher = {{ACM} {P}ress},
note = {Appears as {SIGPLAN} {N}otices, Vol. 27, Number 7},
year = "1992",
month = {July}
}
@inproceedings{Gog90,
author = {J. Goguen},
title = {{H}igher-{O}rder {F}unctions {C}onsidered {U}nnecessary for {H}igher-{O}rder {P}rogramming},
booktitle = {Research topics in Functional Programming},
editor = {D.A. Turner},
pages = {309-351},
publisher = {Addison-Wesley},
year = {1990}
}
@incollection{Gar90,
key = {Gar90},
author = {Hubert Garavel},
title = {Compilation of LOTOS Abstract Data Types},
year = {1990},
editor = {S.T. Vuong},
publisher = {Elsevier Science Publishers B.V. (North-Holland)},
booktitle = {Formal Description Techniques, II},
pages = {147-162},
note = {IFIP, 1990}
}
@Article{granlund:92,
title = "Eliminating Branches using a Superoptimizer and the
{{\sc gnu}} {C} Compiler",
author = "{Torbj\"orn} Granlund and Richard Kenner",
pages = "341--352",
journal = sigplan,
year = "1992",
month = jul,
volume = "27",
number = "7",
note = pldi92,
}
@article{Gir87,
author = {J-Y Girard},
title = {Linear Logic},
journal = {Theoretical Computer Science},
volume = {50},
pages = {1--102},
year = {1987}
}
@misc{Gor94,
key = "Gor94",
author = "Andrew Gordon",
title = "A Proposal for Monadic I/O in Haskell 1.3",
howpublished = "Obtained by WWW from http://www.cl.cam.ac.uk/users/adg/io.html"
}
@inproceedings{Gor93,
key = "Gor93",
author = "Andrew D. Gordon",
title = "An Operational Semantics for I/O in a Lazy Functional Language",
booktitle = "Conference on Functional Programming Languages and
Computer Architecture",
year = "1993",
pages = "136--146",
publisher = "ACM Press"
}