%--------------------------------------------------------------------------%
%          prh.bib                                                         %
%              base de dados bibliografiaca em formato BibTex              %
%                                                                          %
%          Versao: prh.bib 1.15 92/04/14
%--------------------------------------------------------------------------%
@string{ McG = "McGraw-Hill" }
@string{ mit = "The MIT Press" }
@string{ nh = "North-Holland" }
@string{ aw = "Addison-Wesley" }
@string{ sv = "Springer-Verlag" }
@string{ ph = "Prentice Hall" }
@string{ jws = "John Wiley \& Sons" }
@string{ jw = "John Wiley" }
@string{ cup = "Cambridge University Press" }
@string{ dp = "Digital Press" }
@string{ acm = "ACM" }
@string{ lncs = "Lecture Notes in Computer Science" }
@string{ appia = "Associa\c{c}\~ao Portuguesa Para a Intelig\^encia Artificial"}
@string{ um = "Universidade do Minho" }
@string{ gdcc = "G.D. Ci\^encias da Computa\c{c}\~ao, D.I./ Univ. Minho" }
@string{ lund = "Dep. of Computer Science, Lund Institute of Technology" }
@string{ laas = "LAAS: Laboratoire d'Automatique et d'Analyse des Systemes du CNRS" }
@string{ gmd = "Gesellschaft fur Mathematik und Datenverarbeitung an der Universitaet Karlsruhe" }
@string{ eth = "Institut fur Informatik, ETH Zurich" }
@string{ Jan = "Janeiro" }
@string{ Feb = "Fevereiro" }
@string{ Mar = "Mar\c{c}o" }
@string{ Apr = "Abril" }
@string{ May = "Maio" }
@string{ Jun = "Junho" }
@string{ Jul = "Julho" }
@string{ Aug = "Agosto" }
@string{ Sep = "Setembro" }
@string{ Oct = "Outubro" }
@string{ Nov = "Novembro" }
@string{ Dec = "Dezembro" }

@techreport{BW83a,
    author = "Manfred Broy and Martin Wirsing",
    title = "Generalized Heterogeneous Algebras and Partial Interpretations",
    year = 1983,
    month = Feb,
    institution = "Institut fur Informatik, TUM",
    note = "(draft version)",
    annote = "espec algebrica"
    }

@inbook{Val90a,
    author = "Jos\'e M. Valen\c{c}a",
    title = "Processos, {O}bjectos e {C}omunica\c{c}\~ao
                ({O}p\c{c}\~ao I - {MCC})",
    chapter = 2,
    year = 1990,
    month = Oct,
    publisher = gdcc,
    address = um,
    annote = "programacao oobjectos, proc comunicantes, espec formal"
    }

@inbook{Val87a,
    author = "Jos\'e M. Valen\c{c}a",
    title = "Algor\'{\i}tmos",
    chapter = 1,
    year = 1987,
    month = Oct,
    publisher = gdcc,
    address = um,
    annote = "algoritmos, espec formal"
    }

@book{Oli91a,
    author = "Jos\'e Nuno Oliveira",
    title = "Especifica\c{c}\~ao \& {S}em\^antica",
    year = 1991,
        month = Oct,
    edition = "2.st",
    publisher = "Departamento de Inform\'atica, Univ. do Minho",
    annote = "espec formal, algebrica, denotacional, axiomatica"
    }

@book{Sto77a,
    author = "J. E. Stoy",
    title = "Denotational {S}emantics: the {S}cott-{S}trachey
                 approach to programming language theory",
    year = 1977,
    publisher = "{MIT} Press, Cambridge, Massachusetts",
    annote = "espec formal, algebrica, denotacional, axiomatica"
    }

@phdthesis{Mos75a,
        author = "P. D. Mosses",
    title = "Mathematical Semantics and Compiler Generation",
    year = 1975,
    school = "Oxford University",
    annote = "compilacao incremental, atributos, ambientes prog"
    }

@techreport{Sco71a,
    author = "D. S.  Scott",
    title = "Outline of a mathematical theory of computation",
    type = "Technical Monograph",
    year = 1971,
    institution = "Programming Research Group, Oxford Univ.",
    number = "T.M. PRG-2",
    annote = "compilacao, sintaxe, parsing, modular"
    }

@article{NF89a,
    author = "Tim Nicholson and Normann Foo",
    title = "A Denotational Semantics for {PROLOG}",
    journal = "ACM Transactions on Programming Languages and Systems",
    year = 1989,
    month = Oct,
    volume = 11,
    number = 4,
        pages = "650-665",
    publisher = acm,
    annote = "semantica denotacional, prog logica"
    }

@inproceedings{Hol87a,
    author = "Niklas Holsti",
    title = "Incremental Interaction by Syntax Transformation",
    booktitle = "Compiler Compilers and Incremental Compilation --
                 Proc. of the Workshop, Bautzen",
    pages = "192--210",
    year = 1986, month = Oct,
    publisher = "Akademie der Wissenschaften der DDR,
                 Institut {f\"ur} Informatik und Rechentechnik",
        annote = "compilacao incremental, ambientes prog"
    }

@book{Guy90a,
    author = "Guy L. Steele",
    title = "Common {L}isp -- The {L}anguage",
    edition = "Second edition",
    year = 1990,
    publisher = dp,
    annote = "prog funcional, linguangens"
    }

@book{citeulike:1033375,
    abstract = {This book provides the foundation for understanding the theory and pracitce of compilers. Revised and updated, it reflects the current state of compilation. <B> </B>Every chapter has been completely revised to reflect developments in software engineering, programming languages, and computer architecture that have occurred since 1986, when the last edition published.  The authors, recognizing that few readers will ever go on to construct a compiler, retain their focus on the broader set of problems faced in software design and software development. <B></B> Computer scientists, developers, and aspiring students that want to learn how to build, maintain, and execute a compiler for a major programming language.},
    author = {Aho, Alfred  V.  and Lam, Monica  S.  and Sethi, Ravi   and Ullman, Jeffrey  D. },
    citeulike-article-id = {1033375},
    howpublished = {Hardcover},
    isbn = {0321486811},
    keywords = {compiler, extensible-syntax, parsing},
    month = {August},
    posted-at = {2007-01-10 13:20:52},
    priority = {2},
    publisher = {{Addison Wesley}},
    title = {Compilers: Principles, Techniques, and Tools (2nd Edition)},
    url = {http://www.amazon.ca/exec/obidos/redirect?tag=citeulike09-20\&amp;path=ASIN/0321486811},
    year = {2006}
}

@book{ASU86a,
    author = "A. V. Aho and R. Sethi and J. D. Ullman",
    title = "Compilers Principles, Techniques and Tools",
    year = 1986,
    publisher = aw,
    annote = "compilacao"
    }

@book{KR88a,
        author = "Brian W. Kernighan and Dennis M. Ritchie",
        title ="The C Programming Language",
        year = 1988,
        publisher = ph
        }

@phdthesis{Bou84a,
        author = "Pierre Boullier",
    title = "Contribution \`a la Construction Automatique
                        d'Analyseur Lexicographiques et Syntaxiques",
    year = 1984,
    school = "Universit\'e d'Orleans",
    annote = "compilacao, parsing, sintaxe, trat erros"
    }

@phdthesis{Pug88a,
        author = "William W. Pugh",
    title = "Incremental Computation and Incremental Evaluation
                        of Function Programs",
    year = 1988,
    school = "Cornell Univ., Dep. of Computer Science",
    annote = "compilacao incremental, atributos, ambientes prog"
    }

@article{RMT86a,
    author = "Thomas Reps and Carla Marceau and Tim Teitelbaum ",
    title = "Remote Attribute Updating for Language-based Editors",
    journal = "Communications of the ACM",
    year = 1986,
    month = Sep,
    publisher = acm,
    annote = "compilacao incremental, atributos,  ambientes prog"
    }

@techreport{Rep92a,
        author = "Thomas Reps",
        title = "Scan Grammars: Parallel Attribute Evaluation
                 Via Data-Parallelism",
        year = 1992,
        month = Nov,
        type = "Research Report",
        institution = "University of Wisconsin - Madison",
        }

@book{RT89b,
    author = "Thomas Reps and Tim Teitelbaum",
    title = "The Synthesizer Generator Reference Manual",
    series = "Texts and Monographs in Computer Science",
    year = 1989,
    publisher = sv,
    annote = "compilacao incremental, atributos,  ambientes prog"
    }

@book{RT89a,
    author = "Thomas Reps and Tim Teitelbaum",
    title = "The Synthesizer Generator: A System for
                 Constructing Language-Based Editors",
    series = "Texts and Monographs in Computer Science",
    year = 1989,
    publisher = sv,
    annote = "compilacao incremental, atributos,  ambientes prog"
    }


@article{RTD83a,
    author = "Thomas Reps and Tim Teitelbaum and A. Demers",
    title = "Incremental Context-Dependent Analysis for Language-based
             Editors",
    journal = "ACM Trans. Programming Languages and Systems (TOPLAS)",
    pages = "449--477",
    year = 1983,
    volume = 5,
    number = 3,
    publisher = acm,
    annote = "compilacao incremental, atributos,  ambientes prog"
    }

@phdthesis{Rep82a,
        author = "Thomas Reps",
    title = "Generating Language-Based Environments",
    year = 1982,
    school = "Cornell University",
    annote = "compilacao incremental, atributos, ambientes prog"
    }

@article{TR81a,
    author = "Tim Teitelbaum and Thomas Reps",
    title = "The Cornell Program Synthesizer: A Syntax-Directed
             Programming Environment",
    journal = "Communications of the ACM",
    year = 1981,
    month = Sep,
    volume = 24,
    number = 9,
    publisher = acm,
    annote = "compilacao incremental, atributos,  ambientes prog"
    }

@phdthesis{Hoo87a,
        author = "Roger Hoover",
    title = "Incremental Graph Evaluation",
    year = 1987,
    month = May,
    school = "Cornell University",
    annote = "compilacao incremental, atributos, ambientes prog"
    }

@inproceedings{JG82a,
    author = "Fahimeh Jalili and Jean Gallier",
    title = "Building Friendly Parsers",
    booktitle = "9th Annual ACM Symp. on Principles of Programming
                 Languages",
    pages = "196--206",
    year = 1982,
    publisher = acm,
    annote = "compilacao, parsing, sintaxe"
    }

@article{Jal85a,
    author = "Fahimeh Jalili",
    title = "A General Incremental Evaluator for Attribute Grammars",
    journal = "Science of Computer Programming",
    pages = "83--96",
    year = 1985,
    volume = 5,
    publisher = nh,
    annote = "atributos, compilacao incremental"
    }

@book{Rev85a,
    author = "G. E. Rev\'esz",
    title = "Introduction to Formal Languages",
    year = 1985,
    publisher = "McGraw -Hill Book Co.",
    annote = "linguagem formal, gramaticas"
    }

@book{Hun87a,
    author = "Robin Hunter",
    title = "Compiladores: sua Concep\c{c}\~{a}o e
                Programa\c{c}\~ao em Pascal",
    year = 1987,
    series = "Colec\c{c}\~ao Sistemas",
    publisher = "Editorial Presen\c{c}a",
    annote = "compilacao"
    }

@book{Lee89a ,
    author = "Peter Lee",
    title = "Realistic Compiler Generation",
    year = 1989,
    publisher = mit,
    annote = "compilacao, geradores, espec formal, semantica denotacional"
    }

@book{RM89a,
    author = "P. Rechenberg and H. {M\"ossenb\"ock}",
    title = "A Compiler Generator For Microcomputers",
    year = 1989,
    publisher = ph,
    annote = "compilacao, atributos, geradores"
    }

@phdthesis{Fed91a,
    author = "Carine Fedele ",
    title = "Construction automatis\'ee des compilateurs:
                 le syst\`eme {CIGALE}",
    year = 1991,
    month = Jan,
    school = "Universit\'e de Nice -- Sophia Antipolis",
    annote = "compilacao, atributos, geradores"
    }

@unpublished{FL88a,
    author = "Carine Fedele and Olivier Lecarme",
    title = "Towards a Toolkit for Building Language Implementations",
    year = 1988,
    note = "Universit\'e de Nice- Sophia Antipolis",
    annote = "compilacao, geradores"
    }

@unpublished{FL90a,
    author = "Carine Fedele and Olivier Lecarme",
    title = "Computer-Aided Building of a Compiler:
            an Example",
    year = 1990,
    note = "Universit\'e de Nice- Sophia Antipolis",
    annote = "compilacao, geradores"
    }

@article{Nau63a,
    author = "P. Naur",
    title = "Revised Report on the Algorithmic language ALGOL 60",
    journal = "Comunication of the ACM",
    pages = "1-17",
    year = 1963,
    volume = 6,
    number = 1,
    publisher = acm,
    annote = "compilacao, linguagem, gramaticas"
    }

@inproceedings{KK90a,
    author = "E. Klein and K. Koskimies",
    title = "Parallel {O}ne-{P}ass {C}ompilation",
    booktitle = "WAGA-90",
    editor = "P. Deransart and M. Jourdan",
    pages = "76--90",
    year = 1990,
    month = Sep,
    publisher = sv,
    note = "LNCS 461",
    annote = "compilacao, parsing, atributos, incremental, concurrencia"
    }

@techreport{Kos89b,
    author = "Kai Koskimies",
    title = "Techniques for Modular Language Implementation",
    type = "Research Report",
    year = 1989,
    institution = "Univ. of Tampere, Depart. of Computer Science",
    number = "A-1989-5",
    annote = "compilacao, sintaxe, parsing, modular"
    }

@techreport{Kos89a,
    author = "Kai Koskimies",
    title = "Lazy Recursive Descent Parsing for Modular
              Language Implementation",
    type = "Research Report",
    year = 1989,
    institution = "Gesellschaft fur Mathematik und Datenverarbeitung mbH",
    number = "Arbeitspapiere der GMD 376",
    annote = "compilacao, sintaxe, parsing, modular"
    }

@phdthesis{Paa91a,
    author = "Jukka Paakki",
    title = "Paradigms for {A}ttribute-{G}rammar-based
                 {L}anguage {I}mplementation",
    year = 1991,
    month = Mar,
    school = "Dep. of Computer Science, University of Helsinki",
    annote = "compilacao, atributos, geradores, paradigmas prog"
    }

@techreport{KELP88a,
    author = "Kai Koskimies and T. Elomaa and T. Lehtonen and J. Paakki",
    title = "TOOLS/HLP84 Report and User Manual",
    type = "Research Report",
    year = 1988,
    institution = "Univ. of Helsinki, Depart. of Computer Science",
    number = "A-1988-2",
    annote = "compilacao, geradores, atributos, oobjectos"
    }

@techreport{KP87a,
    author = "Kai Koskimies and Jukka Paakki",
    title = "TOOLS: An Unifying Approach to Object-Oriented
              Language Interpretation",
    type = "Research Report",
    year = 1987,
    institution = "Univ. of Helsinki, Depart. of Computer Science",
    note = "(draft)",
    annote = "compilacao, geradores, atributos, oobjectos"
    }

@techreport{KNPS86a,
    author = "Kai Koskimies and O. Nurmi and J. Paakki and S. Sippu",
    title = "The Design of the Language Processor Generator HLP84",
    type = "Techn. Report",
    year = 1986,
    institution = "Univ. of Helsinki, Depart. of Computer Science",
    number = "A-1986-4",
    annote = "compilacao, atributos, geradores"
    }

@article{Kos85a,
    author = "Kai Koskimies",
    title = "A Note on One-Pass Evaluation of Attribute Grammars",
    journal = "{BIT}",
    pages = "439-450",
    year = 1985,
    volume = 25,
    publisher = nh,
    annote = "compilacao, atributos"
    }

@article{KR83a,
    author = "Kai Koskimies and Kari-Jouko {R\"aih\"a}",
    title = "Modelling of Space-efficient One-pass Translation
             using Attribute Grammars",
    journal = "Software---Practice and Experience",
    pages = "119--129",
    year = 1983,
    volume = 13,
    publisher = jws,
    annote = "compilacao, atributos"
    }

@unpublished{Vil92a,
    author = "Jaak Vilo",
    title = "Attribute {G}rammars and {C}omputational {M}odels as
                 combined {L}anguage {D}evelopment {T}ools",
    year = 1992,
    note = "Dep. of Computer Science, Univ. Helsinki",
    annote = "compilacao, atributos, gramaticas, linguagens"
    }

@article{Tyu91a,
    author = "E. Tyugu",
    title = "Three {N}ew-{G}eneration {S}oftware {E}nvironments",
    journal = "Communications of ACM",
    year = 1991,
    month = Jun,
    volume = 34,
    number = 6,
    publisher = acm,
    annote = "representacao, bases conhecimento, ia,  ambientes prog"
    }

@article{Knu68a,
    author = "Donald E. Knuth",
    title = "Semantics of Context-Free Languages",
    journal = "Mathematical Systems Theory",
    pages = "127--145",
    year = 1968,
    volume = 2,
    number = 2,
    publisher = sv,
    annote = "compilacao, atributos"
    }

@inproceedings{Tie80a,
    author = "Martti Tienari",
    title = "On the Definition of an Attribute Grammar",
    booktitle = "Semantics-Directed Compiler Generation",
    editor = "Neil D. Jones",
    pages = "408--414",
    year = 1980,
    month = Jan,
    publisher = sv,
    note = "LNCS 94",
    annote = "compilacao, atributos"
    }

@techreport{CD87a,
    author = "B. Courcelle and P. Deransart",
    title = "Proofs for Partial Correctness for Attribute Grammars
             with Applications to Recursive Procedures and Logic
             Programming",
    year = 1987,
    month = Jan,
    institution = "Univ. de Bordeaux I, U.E.R. de Math\'ematiques et
                   Informatiques",
    number = "I-8702",
    annote = "compilacao, atributos"
    }

@article{CFZ82a,
    author = "B. Courcelle and P. Franchi-Zannettacci",
    title = "Attribute Grammars and Recursive Program Schemes",
    journal = "Theoretical Computer Science",
    pages = "163--191 and 235--257",
    year = 1982,
    volume = 17,
    publisher = nh,
    annote = "compilacao, atributos"
    }

@techreport{CFZ80a,
    author = "B. Courcelle and P. Franchi-Zannettacci",
    title = "Attribute Grammars and Recursive Program Schemes",
    type = "rapport de recherche",
    year = 1980,
    month = Apr,
    institution = "Univ. de Bordeaux I",
    number = "8008",
    annote = "compilacao, atributos"
    }

@techreport{Der88a,
    author = "P. Deransart ",
    title = "On the Multiplicity of Operational Semantics for
             Logic Programming and their Modelization by
             Attribute Grammars",
    type = "Rapport de Recherche",
    year = 1988,
    month = Oct,
    institution = "INRIA, Rocquencourt",
    number = "916",
    annote = "compilacao, atributos, prog logica"
    }

@book{Der87a,
    author = "P. Deransart ",
    editor = "David Gries",
    title = "Cours de Compilation Avanc\'ee",
    year = 1987,
    series = "Maitrise d'Informatique",
    publisher = "Univ. de Paris 7",
    annote = "compilacao"
    }

@phdthesis{Der84a,
    author = "Pierre Deransart",
    title = "Validation des Grammaires d'Attributs",
    year = 1984,
    month = Oct,
    school = "Universit\'e de Bordeaux I",
    annote = "compilacao, atributos"
    }

@techreport{DF86a,
    author = "P. Deransart and G. Ferrand",
    title = "Initiation a Prolog: Concepts de Base",
    type = "Support de Cours",
    year = 1986,
    month = Jun,
    institution = "Universit\'e d'Orleans, Dep. de Math\'ematiques
                   et Informatique",
    number = "86-2",
    annote = "prog logica"
    }

@techreport{DM85a,
    author = "P. Deransart and J. Maluszynski",
    title = "Relating Logic Programs and Attribute Grammars",
    year = 1985,
    type = "Rapport de Recherche",
    month = Apr,
    institution = "INRIA, Rocquencourt",
    number = "393",
    annote = "compilacao, atributos, prog logica"
    }

@incollection{DJB88a,
    author = "P. Deransart and M. Jourdan and B. Lorho",
    title = "Attribute Grammars: Main Results, Existing Systems
             and Bibliography",
    booktitle = "LNCS 341",
    year = 1988,
    publisher = sv,
    annote = "compilacao, atributos"
    }

@techreport{DJB86a,
    author = "P. Deransart and M. Jourdan and B. Lorho",
    title = "A Survey on Attribute Grammars: Part I Main Results",
    type = "Rapport de Recherche",
    year = 1986,
    month = Jan,
    institution = "INRIA, Rocquencourt",
    number = "485",
    annote = "compilacao, atributos"
    }

@techreport{DJB86b,
    author = "P. Deransart and M. Jourdan and B. Lorho",
    title = "A Survey on Attribute Grammars: Part II Review of
             Existing Systems",
    year = 1986,
    type = "Rapport de Recherche",
    month = Jan,
    institution = "INRIA, Rocquencourt",
    number = "510",
    annote = "compilacao, atributos"
    }

@techreport{DJB85a,
    author = "P. Deransart and M. Jourdan and B. Lorho",
    title = "A Survey on Attribute Grammars: Part III Classified
             Bibliography",
    year = 1985,
    type = "Rapport de Recherche",
    month = Jan,
    institution = "INRIA, Rocquencourt",
    number = "417",
    annote = "compilacao, atributos"
    }

@techreport{Jou85a,
    author = "Martin Jourdan",
    title = "Evaluation R\'ecursive des Grammaires Attribu\'ees:
             Deux Implantations",
    year = 1985,
    type = "Rapport de Recherche",
    month = May,
    institution = "INRIA, Rocquencourt",
    number = "409",
    annote = "compilacao, atributos, geradores"
    }

@techreport{Jou83a,
    author = "Martin Jourdan",
    title = "An Efficient Recursive Evaluator for Strongly Non-Circular
             Attribute Grammars",
    year = 1983,
    type = "Rapport de Recherche",
    month = Oct,
    institution = "INRIA, Rocquencourt",
    number = "235",
    annote = "compilacao, atributos, geradores"
    }

@inproceedings{Jou91a,
    author = "Martin Jourdan",
    title = "A Survey of Parallel Attribute Evaluation Methods",
    booktitle = "Int. Summer School on Attribute Grammars, Applications
                     and Systems",
    editor = "H. Alblas and B. Melichar",
    pages = "234--255",
    year = 1991,
        month = Jun,
    publisher = sv,
    note = "LNCS 545",
    annote = "compilacao, atributos"
    }

@inproceedings{JBP90a,
    author = "Martin Jourdan and Carole Le Bellec and Didier Parigot",
    title = "The {OLGA} {A}ttribute {G}rammar {D}escription {L}anguage:
                 Design, Implementation and Evaluation",
    booktitle = "Attribute Grammars and their Applications",
    editor = "P. Deransart and M. Jourdan",
    pages = "222--237",
    year = 1990,
        month = Sep,
    publisher = sv,
    note = "LNCS 461",
    annote = "compilacao, atributos"
    }

@unpublished{JP87a,
    author = "Martin Jourdan and Didier Parigot",
    title = "More on Speeding Up Circularity Tests for
            Attribute Grammars",
    year = 1987,
    note = "INRIA, Rocquencourt (draft version)",
    annote = "compilacao, atributos"
    }

@unpublished{Par87a,
    author = "Didier Parigot",
    title = "Practical Transformation of Strongly Non-Circular
            Attribute Grammars into l-Ordered ones",
    year = 1987,
    note = "INRIA, Rocquencourt (draft version)",
    annote = "compilacao, atributos"
    }

@article{Arb86a,
    author = "Bijan Arbab",
    title = "Compiling Circular Attribute Grammars into Prolog",
    journal = "Journal of Research and Development",
    pages = "294--309",
    year = 1986,
    month = May,
    volume = 30,
    number = 3,
    publisher = "IBM",
    annote = "compilacao, atributos, prog logica"
    }

@techreport{RSea83a,
    author = "K.J. {R\"aih\"a} and M. Saarinen and M. Sarjakoski
             and S. Sippu and E. Soisalon-Soininen and M. Tienari",
    title = "Revised Report on the Compiler Writing System HLP78",
    type = "Techn. Report",
    year = 1983,
    institution = "Univ. of Helsinki, Depart. of Computer Science",
    number = "A-1983-1",
    annote = "compilacao, atributos, geradores"
    }

@article{Rai80a,
    author = "K. J. R{\"a}ih{\"a}",
    title = "Bibliography on Attribute Grammars",
    journal = "{SIGPLAN} Notices",
    pages = "35--44",
    year = 1980,
    volume = 15,
    number = 3,
    publisher = "ACM",
    annote = "compilacao, atributos"
    }

@book{WG84a,
    author = "William Waite and Gerhard Goos",
    title = "Compiler Construction",
    year = 1984,
    series = "Texts and Monographs in Computer Science",
    publisher = sv,
    annote = "compilacao"
    }

@techreport{BH91a,
        author = "Luis S. Barbosa and Pedro R. Henriques",
        title = "Especifica\c{c}\~{a}o de Sistemas e
                 Programa\c{c}\~{a}o Modular - A Linguagem ML",
        publisher = {Departamento de Inform\'{a}tica},
        address = {Universidade do Minho},
    type = "Texto Pedag\'ogico (mestrado em inform\'atica)",
        year = 1991,
    annote = "especificacao formal, linguagens funcional, modularidade"
        }

@techreport{Bar92a,
    author = "Luis Soares Barbosa",
    title = "Sobre a Especifica\c{c}\~ao Matem\'atica de Sistemas
                 Concorrentes",
    year = 1992,
    month = Jul,
    type = "Provas de Aptid\~ao Pedad\'ogica e Capacidade Cient\'{\i}fica",
    institution = um,
    number = "",
    annote = ""
    }

@techreport{AB91a,
    author = "J. J. Almeida and L. S. Barbosa",
    title = "{CAMILA} By Example",
    year = 1991,
    type = "Relatorio Interno",
    month = Nov,
    institution = gdcc,
    number = "DI/Inesc-91-11-1",
    annote = ""
    }

@techreport{ABCM89a,
    author = "J. J. Almeida and J. Barros and P. Castro and F. Madeira",
    title = "Preprocessador para {YARPT}",
    year = 1989,
    type = "Relatorio Interno",
    month = Oct,
    institution = gdcc,
    number = "JNICT/PMCT/87.66/JJA1",
    annote = ""
    }

@techreport{BH86a,
    author = "Leonor Barroca and Pedro Rangel Henriques",
    title = "Especifica\c{c}\~{a}o e implementa\c{c}\~{a}o de um compilador
                 para a linguagem LISS",
    year = 1986,
    type = "Relatorio Interno",
    month = Sep,
    institution = gdcc,
    number = "",
    annote = "compilacao, semantica, espec funcional"
    }

@phdthesis{Hen92b,
    author = "Pedro R. Henriques",
    title = "{A}tributos e {M}odularidade na {E}specifica\c{c}\~ao
                 de {L}inguagens {F}ormais",
    year = 1992,
    month = Dec,
    school = "Universidade do Minho",
    annote = "compilacao, atributos, modularidade"
    }

@techreport{Hen92a,
    author = "Pedro R. Henriques",
    title = "Gram\'{a}ticas de {A}tributos",
    year = 1992,
    type = "Texto Pedag\'ogico (mestrado de inform\'atica)",
    month = Jan,
    institution = gdcc,
    number = "UMMAN ga-2.1",
    annote = "compilacao, atributos, geradores, semantica, espec formal"
    }

@techreport{Hen91c,
    author = "Pedro R. Henriques",
    title = "{MASLP}: Alguns Exemplos",
    year = 1991,
    type = "Relatorio Interno",
    month = Dec,
    institution = gdcc,
    number = "",
    annote = "compilacao, atributos, modularidade, semantica, espec formal"
    }

@techreport{Hen91a,
    author = "Pedro R. Henriques",
    title = "Introdu\c{c}\~{a}o \`{a}s {MASLP}: um exemplo",
    year = 1991,
    type = "Relatorio Interno",
    month = Dec,
    institution = gdcc,
    number = "UMMAN mas-1.5",
    annote = "compilacao, atributos, modularidade, semantica, espec formal"
    }

@inproceedings{Hen88a,
    author = "Pedro R. Henriques",
    title = "A Semantic Evaluator Generating System in {PROLOG}",
    booktitle = "Programming Languages Implementation and
                              Logic Programming",
    editor = "P. Deransart and B. Lorho and J. Maluszynski",
    pages = "201--218",
    year = 1988,
    month = May,
    publisher = sv,
    note = "LNCS 348",
    annote = "compilacao, atributos, geradores, prog logica"
    }

@inproceedings{Hen87b,
    author = "Pedro R. Henriques",
    title = "Um gerador de Calculadores de Atributos em {PROLOG}",
    booktitle = "Actas do III Encontro Portugu\^es de Intelig\^encia
                 Artificial {EPIA87}",
    editor = "A. Sernadas and J. M. Neves",
    pages = "326--350",
    year = 1987,
    month = Oct,
    publisher = appia,
    annote = "compilacao, atributos, geradores, prog logica"
    }

@inproceedings{Hen87a,
    author = "Pedro R. Henriques",
    title = "Gram\'aticas de Atributos: o seu papel na
                         Especifica\c{c}\~ao Formal",
    booktitle = "Actas do XII Jornadas Luso-Espanholas de
                                Matem\'atica",
    editor = "",
    year = 1987,
    month = Apr,
    publisher = um,
    annote = "compilacao, atributos"
    }

@techreport{HA90b,
        author = "Pedro R. Henriques and José João Almeida",
        title = "O {G}erador de {C}ompiladores  {COCO}",
        year = 1990,
        month = Mar,
        type = "Relat\'{o}rio de Instala\c{c}\~ao",
        institution = gdcc,
        }

@techreport{HA90a,
        author = "Pedro R. Henriques and José João Almeida",
        title = "O {G}erador de {A}nalisadores {L\'exicos} {ALEX}",
        year = 1990,
        month = Mar,
        type = "Relat\'{o}rio de Instala\c{c}\~ao",
        institution = gdcc,
        }

@inproceedings{MAH90a,
        author = "Fernando Mário Martins and José João AlmeidaJ. and Pedro R. Henriques",
        title = "Mecanismos para Especifica\c{c}\~ao e Prototipagem
                         de Interfaces Utilizador-Sistema",
        booktitle = "Actas do III Encontro Portugu\^{e}s de
                             Computa\c{c}\~{a}o Gr\'afica",
        editor = "",
        year = 1990,
        month = Oct,
        publisher = ""
        }

@manual{PH91a,
    author = "Luis Filipe Pinto and Pedro Rangel Henriques",
    title = "Animador de Especifica\c{c}\~oes {OBLOG}",
    year = 1991,
    month = Sep,
    organization = gdcc,
    edition = "1.st",
    number = "UMMAN obl-man",
    annote = "ambientes desenvolvimento, prog oobjectos, espec formal"
    }

@inproceedings{Kas91a,
        author = "Uwe Kastens",
        title = "Attribute Grammar as a Specification Method",
        booktitle = "Int. Summer School on Attribute Grammars, Applications
                     and Systems",
        editor = "H. Alblas and B. Melichar",
        pages = "16--47",
        year = 1991,
        month = Jun,
        publisher = sv,
        note = "LNCS 545",
        annote = "compilacao, atributos"
        }

@inproceedings{Kas91b,
        author = "Uwe Kastens",
        title = "Implementation of Visit-Oriented Attribute Evaluators",
        booktitle = "Int. Summer School on Attribute Grammars, Applications
                     and Systems",
        editor = "H. Alblas and B. Melichar",
        pages = "114--139",
        year = 1991,
        month = Jun,
        publisher = sv,
        note = "LNCS 545",
        annote = "compilacao, atributos"
        }

@inproceedings{Kas91c,
        author = "Uwe Kastens",
        title = "Attribute Grammars in a Compiler Construction Environment",
        booktitle = "Int. Summer School on Attribute Grammars, Applications
                     and Systems",
        editor = "H. Alblas and B. Melichar",
        pages = "380--400",
        year = 1991,
        month = Jun,
        publisher = sv,
        note = "LNCS 545",
        annote = "compilacao, atributos"
        }

@article{Kas80a,
    author = "Uwe Kastens",
    title = "Ordered Attribute Grammars",
    journal = "Acta Informatica",
    pages = "229--256",
    year = 1980,
    volume = 13,
    number = 3,
    publisher = sv,
    annote = "compilacao, atributos"
    }

@incollection{KHZ82a,
    author = "Uwe Kastens and B. Hutt and E. Zimmermann",
    title = "{GAG}: A Practical Compiler Generator",
    booktitle = "LNCS 141",
    year = 1982,
    publisher = sv,
    annote = "compilacao, atributos, geradores"
    }

@misc{Bar82a,
        author = "K. Barbar",
    title = "Etude Comparative de Differentes Classes de Grammaires
             d'Attributs Ordonn\'ees",
    year = 1982,
    month = Jun,
    howpublished = "(Th\`ese de 3\`eme cycle)
                    Universit\'e de Bordeaux I",
    annote = "compilacao, atributos"
    }

@techreport{YN88a,
    author = "Y. Yamashita and I. Nakata",
    title = "Programming in Coupled Context-Free Grammars",
    type = "Research Report",
    year = 1988,
    month = Jun,
    institution = "Univ. of Tsukuba, Institute of Information Sciences
                   and Electronics",
    number = "ISE-TR-88-70",
    annote = "gramaticas, prog, linguagem formal"
    }

@techreport{Sas88a,
    author = "Masataka Sassa",
    title = "Incremental Attribute Evaluation Based on ECLR-Attributed Grammars",
    type = "Research Report",
    number = "A-1988-9",
    year = 1988,
    institution = "University of Helsinki, Dep. of Computer Science",
    annote = "compilacao, atributos, geradores, calculo incremental"
    }

@article{NS86a,
    author = "Ikuo Nakata and Masataka Sassa",
    title = "L-Attributed LL(1)-Grammars are LR-Attributed",
    journal = "Information Processing Letters",
    pages = "325-328",
    year = 1986,
    month = Dec,
    volume = 23,
    publisher = nh,
    annote = "compilacao, atributos"
    }

@article{SIN87a,
    author = "M. Sassa and H. Ishizuka and I. Nakata",
    title = "{ECLR}-Attributed Grammars: A Practical Class of
             LR-Attributed Grammars",
    journal = "Information Processing Letters",
    pages = "31--41",
    year = 1987,
    month = Jul,
    volume = 24,
    publisher = nh,
    annote = "compilacao, atributos"
    }

@techreport{SIN86a,
    author = "M. Sassa and H. Ishizuka and I. Nakata",
    title = "A Compiler Generator Based on LR-Attributed Grammars",
    type = "Tech. memo",
    number = "PL-7",
    year = 1985,
    month = Nov,
    institution = "University of Tsukuba, Institute of Information
                   Sciences and Electronics",
    annote = "compilacao, atributos, geradores"
    }

@misc{Fil83a,
        author = "G. Fil\`e",
    title = "Theory of Attribute Grammars",
    year = 1983,
    howpublished = "(Dissertation) Onderafdeling der Informatica,
                    Technische Hogeschool Twente",
    annote = "atributos"
    }

@inproceedings{EF81a,
    author = "J. Engelfriet and G. Fil\`e",
    title = "Passes, Sweeps and Visits",
    booktitle = "8th {ICALP}, Acre",
    editor = "S. Even and O. Kariv",
    pages = "193--207",
    year = 1981,
    month = Jul,
    publisher = sv,
    note = "LNCS 115",
    annote = "atributos"
    }

@inproceedings{Eng84a,
    author = "J. Engelfriet",
    title = "Attribute Grammars: Attribute Evaluation Methods",
    booktitle = "Methods and Tools for Compiler Construction",
    editor = "B. Lorho",
    pages = "103--138",
    year = 1984,
    publisher = cup,
    note = "{INRIA--CEC} Course",
    annote = "atributos"
    }

@inproceedings{Lor77a,
    author = "Bernard Lorho",
    title = "Semantics Attributes Processing in the System {DELTA}",
    booktitle = "Methods of Algorithmic Language Implementation",
    editor = "A. Ershov and C.H.A. Koster",
    pages = "21--40",
    year = 1977,
    publisher = sv,
    note = "LNCS 47",
    annote = "compilacao, atributos, geradores"
    }

@phdthesis{Lor74a,
        author = "Bernard Lorho",
    title = "De la D\'efinition \`a la Traduction des Langages de
             Programmation: M\'ethode des Attributs S\'emantiques",
    year = 1974,
    month = Nov,
    school = "Universit\'e Paul Sabatier, Toulouse",
    annote = "compilacao, atributos"
    }

@inproceedings{Wil90a,
    author = "Reinhard Wilhelm",
    title = "Tree {T}ransformations, {F}unctional {L}anguages and
                 {A}ttribute {G}rammars",
    booktitle = "WAGA-90",
    editor = "P. Deransart and M. Jourdan",
    pages = "117--129",
    year = 1990,
    month = Sep,
    publisher = sv,
    note = "LNCS 461",
    annote = "compilacao, atributos, incremental, funcional"
    }

@inproceedings{LMW88a,
    author = "P. Lipps and U. M{\"o}ncke and R. Wilhelm",
    title = "{OPTRAN}: a {L}anguage/{S}ystem for the {S}pecification of
                {P}rogram {T}ransformations ---System Overview and
                Experiences",
    booktitle = "Proceedings of the Workshop on Compiler Compilers
                    and High Speed Compilation, Berlin",
    editor = "Hammer",
    year = 1988,
    publisher = sv,
    note = "LNCS 371",
    annote = "compilacao, atributos, incremental, geradores"
    }

@techreport{LMOW87a,
    author = "P. Lipps and U. M{\"o}ncke and M. Olk and R. Wilhelm",
    title = "Attribute Re(evaluation) in {OPTRAN}",
    type = "{PROSPECTRA} project Report",
    year = 1987,
    month = Jan,
    institution = "Universit{\"a}t des Saarlandes",
    number = "S.1.3-R-5.0",
    annote = "compilacao incremental, atributos, ambientes, geradores"
    }

@techreport{Mon87a,
    author = "U. M{\"o}ncke",
    title = "Grammar Flow Analysis",
    type = "{PROSPECTRA} project Report",
    year = 1987,
    month = Jan,
    institution = "Universit{\"a}t des Saarlandes",
    number = "S.1.3-R-2.2",
    annote = "compilacao, atributos, gramaticas, data-flow"
    }

@inproceedings{MWW84a,
    author = "U. M{\"o}ncke and B. Weisgerber and R. Wilhelm",
    title = "How to Implement a System for Manipulation of Attributed Trees",
    booktitle = "{GI} 8. Fachtagung Programmiersprachen und
                Programmentwicklung, Zurich, {IFB} 777",
    editor = "U. Ammann",
    pages = "112--127",
    year = 1984,
    month = May,
    publisher = sv,
    note = "LNCS 47",
    annote = "compilacao, atributos"
    }

@techreport{GPSW86a,
    author = "M. Greim and {St. Pistorius} and M. Solsbacher
              and B. Weisberger",
    title = "{POPSY} and {OPTRAN} Manual",
    type = "{PROSPECTRA} project Report",
    year = 1986,
    institution = "Universit{\"a}t des Saarlandes",
    number = "S.1.6-R-3.0",
    annote = "compilacao incremental, atributos, ambientes,
              geradores"
    }

@inproceedings{Gie86a,
    author = "Robert Giegerich",
    title = "Logic Specification of Code Generation Techniques",
    booktitle = "Programs as Data Objects",
    editor = "",
    pages = "96--111",
    year = 1986,
    publisher = sv,
    note = "LNCS",
    annote = "compilacao, geracao codigo, prog logica, espec formal"
    }

@unpublished{GG84a,
    author = "Harald Ganzinger and Robert Giegerich",
    title = "Attribute Coupled Grammars",
    year = 1984,
    note = "(paper to appear at the ACM SIGPLAN Symp. on Compiler
              Construction, Montreal, 1984)",
    annote = "compilacao, atributos, gramaticas"
    }

@article{GGMW82a,
    author = "H. Ganzinger and R. Giegerich and U. {M\"{o}ncke}
                 and R. Wilhelm",
    title = "A Truly Generative Semantics-Directed Compiler Generator",
    journal = "ACM",
    pages = "172--184",
    year = 1982,
    publisher = acm,
    annote = "MUG2, compilacao, atributos, geradores"
    }

@techreport{BG81a,
    author = "G. Bartmuss and R. Giegerich",
    title = "Compiler Development with {MUG2}: An Introductory Example",
    type = "Techn. Report",
    year = 1981,
    month = Apr,
    institution = "Institut {f\"ur} Informatik, T.U. {M\"unchen}",
    number = "TUM-I8102",
    annote = "compilacao, atributos, geradores"
    }

@article{Far83a,
    author = "Rodney Farrow ",
    title = "Attribute Grammars and Data-Flow Languages",
    journal = "ACM",
    pages = "28--40",
    year = 1983,
    volume = 5,
    publisher = acm,
    annote = "compilacao, atributos, linguagens, data-flow"
    }

    ***
@techreport{Udd88a,
    author = "Goran O. Uddeborg",
    title = "A Functional Parser Generator",
    type = "Rapport de Recherche",
    year = 1988,
    month = Feb,
    institution = "Chalmers Univ. of Technology at Goterborg",
    number = "43",
    annote = "compilacao, parsing, atributos, geradores,
                prog funcional"
    }

@unpublished{Cha90a,
    author = "N. P. Chapman",
    title = "Defining, Analysing and Implementing Communication
            Protocols using Attribute Grammars",
    year = 1990,
    note = "Univ. College London, Dep. of Computer Science",
    annote = "atributos, protocolos comunicacao, prototipagem"
    }

@book{Nij83a,
    author = "A. Nijholt",
    title = "Deterministic Top-Down and Bottom-Up Parsing:
             Historical Notes and Bibliographies",
    year = 1983,
    publisher = "Mathematical Center, Amsterdam",
    annote = "compilacao, parsing, sintaxe"
    }

@techreport{Chr86a,
    author = "Henning Christiansen",
    title = "Parsing and Compilation of Generative Languages",
    type = "Research Report",
    year = 1986,
    institution = "Roskilde Univ. Center, Computer Science",
    number = "3/1986",
    annote = "compilacao, parsing, sintaxe, linguagem formal,
              gramaticas"
    }

@book{Bac79a,
    author = "R. Backhouse",
    title = "Syntax of Programming Languages: Theory and Practice",
    year = 1979,
    publisher = ph,
    annote = "parsing, sintaxe, linguagem formal, gramaticas"
    }

@inproceedings{Wan84a,
    author = "M. Wand",
    title = "A Semantic Prototyping system",
    booktitle = "Proc. of SIGPLAN84, Symp. on Compiler Construction",
    editor = "",
    pages = "213--221",
    year = 1984,
    month = Dec,
    publisher = "SIGPLAN Notices",
    annote = "compilacao, espec formal, geradores, semantica denotacional"
    }

@inproceedings{Pau83a,
    author = "L. Paulson",
    title = "Compiler generation from Denotational Semantics",
    booktitle = "Methods and Tools for Compiler Construction",
    editor = "",
    pages = "263--288",
    year = 1983,
    month = Dec,
    publisher = "INRIA, Rocquencourt",
    annote = "compilacao, espec formal, geradores, semantica denotacional"
    }

@inproceedings{Gau83a,
    author = "M. C. Gaudel",
    title = "Compilers Generation from Formal Definitions of
                           Programming Languages: A Survey",
    booktitle = "Methods and Tools for Compiler Construction",
    editor = "",
    pages = "225--242",
    year = 1983,
    month = Dec,
    publisher = "INRIA, Rocquencourt",
    annote = "compilacao, espec formal, geradores"
    }

@inproceedings{GDM84a,
    author = "M. C. Gaudel and P. Deschamps and M. Mazaud",
    title = "Compiler Construction from High-Level Specifications",
    booktitle = "Automatic Program Construction Techniques",
    editor = "Biermann and Guiho and Kadratoff",
    year = 1984,
    publisher = "Macmillan Inc.",
    annote = "compilacao, espec formal, geradores, semantica algebrica"
    }

@inproceedings{Des82a,
    author = "P. Deschamp",
    title = "{PERLUETTE}: a compiler producing system
        using abstract data types",
    booktitle = "Proc. on Int. Symp. on Programming",
    editor = "",
    year = 1982,
    month = Apr,
    publisher = "Turin",
    annote = "compilacao, geradores, semantica algebrica"
    }

@techreport{DMR89a,
    author = "A. Despland and M. Mazaud and R. Rokotozafy ",
    title = "Using Rewriting Techniques to Produce Code-Generators
                and Proving them Correct",
    type = "Rapport de Recherche",
    year = 1989,
    number = "1046",
    institution = "INRIA, Rocquencourt",
    annote = "compilacao, geradores, geracao codigo, reescrita"
    }

@techreport{MRD86a,
    author = "M. Mazaud and R. Rokotozafy and A. Despland",
    title = "M\'eta-G\'en\'eration de Code par R\'e\'ecriture de Termes
        guid\'ee par mod\`eles d'arbres",
    type = "Rapport de Recherche",
    year = 1986,
    number = "582",
    institution = "INRIA, Rocquencourt",
    annote = "compilacao, geradores, geracao codigo, reescrita,
             semantica algebrica"
    }

@techreport{Bon86a,
    author = "Joel Bonnet",
    title = "Etude des principaux langages de description de grammaires
                 attribuees et specification d'un nouveau langages base sur
                 des grammaires abstraites",
    type = "Rapport de D.E.A.",
    year = 1986,
    institution = "INRIA, Rocquencourt",
    annote = "compilacao, atributos, linguagem especificacao"
    }

@techreport{Bil86a,
    author = "Sylvie Billot",
    title = "Analyse Syntaxique non Deterministe",
    type = "Rapport de D.E.A.",
    year = 1986,
    institution = "INRIA, Rocquencourt",
    annote = "sintaxe, parsing, linguagem formal"
    }


@techreport{Den80a,
    author = "P. Dencker",
    title = "Benutzerbeschreibung des {PGS}",
    type = "Interner Bericht",
    year = 1980,
    number = "8/80",
    institution = "{Instit\"ut f\"ur} Informatik, Univ. Karlsruhe",
    annote = "compilacao, geradores, parsing"
    }

@techreport{Jac87a,
    author = "C. J. H. Jacobs",
    title = "{LLgen}, an extended {LL(1)} Parser Generator",
    type = "Tech. Report",
    year = 1987,
    institution = "Univ. of Amsterdam, Dep. Mathematics
                                 and Comp. Science",
    annote = "compilacao, geradores, parsing"
    }

@unpublished{TGHK90a,
    author = "J. Tolzki and T. Gyim\'othi and T. Horvcith
                and F. Kocsiz",
    title = "Generating Modular Compilers in {PROF-LP}",
    year = 1990,
    note = "Univ. of Szeged, Hungary",
    annote = "compilacao, geradores, espec modular"
    }

@unpublished{Mar87a,
    author = "I. Margitics",
    title = "{PROF-LP} Professional Language Processor",
    year = 1987,
    note = "Sci-L Systems, Budapest",
    annote = "compilacao, geradores, parsing, atributos"
    }

@article{PW80a,
    author = "F. C. N. Pereira and D. H. D. Warren",
    title = "Definite Clause Grammars for Language Analysis:
             A Survey of the Formalism and Comparison with
             Augmented Transistion Networks",
    journal = "Artificial Intelligence",
    pages = "231--278",
    year = 1980,
    volume = 13,
    number = 3,
    publisher = nh,
    annote = "compilacao, geradores, parsing,
              linguagem formal natural, gramaticas, prog logica"
    }

@article{Szp87a,
    author = "Stan Szpakowicz",
    title = "Logic Grammars",
    journal = "BYTE",
    pages = "185--195",
    year = 1987,
    month = Aug,
    publisher = "",
    annote = "compilacao, gramaticas, parsing, prog logica"
    }

@inbook{SS86a,
    author = "Leon Sterling and Ehud Shapiro",
    title = "The Art of Prolog",
    chapter = 16,
    year = 1986,
    series = "Series in logic programming",
    publisher = "MIT Press",
    annote = "prog logica"
    }

@book{Ric85a,
    author = "Elaine Rich",
    title = "Artificial {I}ntelligence",
    year = 1985,
    edition = "3rd",
    series = "Series in Artificial Intelligence",
    publisher = McG,
    annote = "inteligencia artificial, representacao conhecimento"
    }

@book{NM90a,
    author = "Ulf Nilsson and Jan Maluszynski",
    title = "Logic, {P}rogramming and {P}rolog",
    year = 1990,
    edition = "1st",
    publisher = jws,
    annote = "prog logica, prolog, representacao conhecimento"
    }


@unpublished{Nil86a,
    author = "U. Nilsson",
    title = "{AID}: An Alternative Implementation of {DCG}s",
    year = 1986,
    note = "Dep. of Computer and Information Science, {Link\"oping}
            University (draft version)",
    annote = "compilacao, geradores, parsing,  prog logica"
    }

@article{MTHea83a,
    author = "Y. Matsumoto and H. Tanaka and H. Hirakawa et al",
    title = "{BUP}: A Bottom-Up Parser embedded in Prolog",
    journal = "New Generation Computing",
    year = 1983,
    volume = 1,
    publisher = "",
    annote = "compilacao, geradores, parsing,  prog logica"
    }

@inproceedings{UOKea84a,
    author = "Kuniaki Uehara and R. Ochitani and
              O. Kakusho et al",
    title = "A Bottom-Up Parser Based on Predicate Logic:
             A Survey of the Formalism and its Implementation Techique",
    booktitle = "Proc.84 -- Int. Symp. on Logic Programming, Atlantic City",
    pages = "220--227",
    year = 1984,
    publisher = "IEEE",
    note = "(Osaka University)",
    annote = "compilacao, geradores, parsing,  prog logica"
    }

@inproceedings{Abr84a,
    author = "Harvey Abramson",
    title = "Definite Clause Translation Grammars",
    booktitle = "Proc.84 -- Int. Symp. on Logic Programming, Atlantic City",
    pages = "233--240",
    year = 1984,
    publisher = "IEEE",
    note = "(University of British Columbia)",
    annote = "compilacao, geradores, parsing,  prog logica"
    }

@article{CH87a,
    author = "Jacques Cohen and Timothy J. Hickey",
    title = "Parsing and Compiling using Prolog",
    journal = "ACM Transactions on Programming Languages and Systems",
    pages = "125--163",
    year = 1987,
    volume = 9,
    number = 2,
    publisher = acm,
    annote = "compilacao, geradores, parsing,  prog logica"
    }

@inproceedings{Mon90a,
    author = "Jean-Fran\c{c}ois Monin",
    title = "Comment R\'eussir un Compilateur Gr\^ace \`a PROLOG",
    booktitle = "Les Utilisations Industrielles du Langage PROLOG",
    pages = "",
    year = 1990,
    publisher = "AFCET - Paris",
    annote = "compilacao, prog logica"
    }

@techreport{Klein92a,
        author = "Eduard Klein",
        title = "Parallel Ordered Attribute Grammars",
        year = 1992,
        month = Jun,
        type = "Research Report",
        institution = gmd,
        annote = "compilacao, geradores, espec formal"
        }

@article{KM89a,
    author = "E. Klein and M. Martin",
    title = "The Parser Generating System {PGS}",
    journal = "Software -- Pratice and Experience",
    pages = "1015--1028",
    year = 1989,
    volume = 19,
    number = 11,
    publisher = jws,
    annote = "compilacao, geradores, parsing, sintaxe"
    }

@phdthesis{Sch79a,
        author = "Richard Marion Schell",
        title = "Methods for construction parallel compilers for use in a
                 multiprocessor environment",
        year = 1979,
        month = Fev,
        school = "University of Illinois",
        annote = "compilacao, atributos, paralelismo"
        }

@phdthesis{Zar90a,
        author = "Alan Keith Zaring",
        title = "Parallel Evaluation in Attribute Grammar-Based Systems",
        year = 1990,
        month = Aug,
        school = "Cornell University",
        annote = "compilacao, atributos, paralelismo"
        }

@techreport{Wai93a,
    author = "William Waite",
    title = "A Complete Specification of a Simple Compiler",
    year = 1993,
    month = Jan,
    type = "Research Report",
    institution = "Univ. of Colorado at Boulder",
    number = "CU-CS-638-93",
    annote = "compilacao, geradores, espec formal, ia"
    }

@techreport{WK92a,
    author = "Uwe Kastens and William Waite",
    title = "Modularity and Reusability in Attribute Grammars",
    year = 1992,
    month = Sep,
    type = "Research Report",
    institution = "Univ. of Colorado at Boulder",
    number = "CU-CS-612-92",
    annote = "compilacao, geradores, espec formal, ia"
    }

@techreport{WS92a,
    author = "William Waite and Anthony M. Sloane",
    title = "Software Synthesis via Domain-Specific Software Architectures",
    year = 1992,
    month = Sep,
    type = "Research Report",
    institution = "Univ. of Colorado at Boulder",
    number = "CU-CS-611-92",
    annote = "compilacao, geradores, espec formal, ia"
    }

@techreport{Wai90a,
    author = "William Waite",
    title = "Error Analysis and Reporting in Programming Environments",
    year = 1990,
    month = Jan,
    type = "Research Report",
    institution = "Univ. of Colorado at Boulder",
    number = "CU-CS-456-90",
    annote = "compilacao, geradores, espec formal, ia"
    }

@techreport{GHea90b,
    author = "R. Gray and V. Heuring  and S. Kram and
                A. Sloam and W. Waite",
    title = "Eli: A Complete, Flexible Compiler Construction System",
    year = 1990,
    month = Oct,
    type = "Research Report",
    institution = "Univ. of Colorado at Boulder",
    number = "",
    annote = "compilacao, geradores, ia"
    }

@techreport{HWF90a,
    author = "V. Heuring and W. Waite and G. Fischer",
    title = "Automatic Compiler Construction",
    year = 1990,
    month = Feb,
    type = "Final Research Report",
    institution = "Univ. of Colorado at Boulder",
    number = "Contarct/DAAL 03-86-k-0100",
    annote = "compilacao, geradores, espec formal, ia"
    }

@techreport{WGS89a,
    author = "W. Waite and J. Grosch and F. {Schr\"oer}",
    title = "Three Compiler Specifications",
    year = 1989,
    month = Aug,
    type = "Research Report",
    institution = gmd,
    number = "GMD-Studie nr. 166",
    annote = "compilacao, geradores, espec formal"
    }

@techreport{Gro91b,
    author = "Josef  Grosch",
    title = "Preprocessors",
    year = 1991,
    type = "Research Report",
    month = Feb,
    institution = gmd,
    number = "24",
    annote = "compilacao, geradores, atributos"
    }

@techreport{Gro91a,
    author = "Josef  Grosch",
    title = "{A}g - {A}n {A}ttribute {E}valuator {G}enerator",
    year = 1991,
    type = "Research Report",
    month = Mar,
    institution = gmd,
    number = "16",
    }

@techreport{GE90a,
    author = "Josef  Grosch and Helmut Emmelmann",
    title = "Tool {B}ox for {C}ompiler {C}onstruction",
    year = 1990,
    type = "Research Report",
    month = Jan,
    institution = gmd,
    number = "20",
    annote = "compilacao, geradores, parsing"
    }

@techreport{Gro89e,
    author = "Josef  Grosch",
    title = "Tool Support for Data Structures",
    year = 1989,
    type = "Research Report",
    month = Nov,
    institution = gmd,
    number = "17",
    annote = "compilacao, geradores, programacao, estruturas dados"
    }

@techreport{Gro89d,
    author = "Josef  Grosch",
    title = "Efficient and Comfortable Error Recovery in
                Recursive Descent Parsers",
    year = 1989,
    type = "Research Report",
    month = Dec,
    institution = gmd,
    number = "19",
    annote = "compilacao, geradores, parsing, tratamento erros"
    }

@techreport{Gro89c,
    author = "Josef  Grosch",
    title = "Object-Oriented Attribute Grammars",
    year = 1989,
    type = "Research Report",
    month = Dec,
    institution = gmd,
    number = "18",
    annote = "compilacao, geradores, atributos, oobjectos"
    }

@techreport{Gro89b,
    author = "Josef  Grosch",
    title = "Ag - An Attribute Evaluator Generator",
    year = 1989,
    type = "Research Report",
    month = Aug,
    institution = gmd,
    number = "16",
    annote = "compilacao, geradores, atributos"
    }

@techreport{Gro89a,
    author = "Josef  Grosch",
    title = "Ast - A Generator for Abstract Syntax Trees",
    year = 1989,
    type = "Research Report",
    month = Aug,
    institution = gmd,
    number = "15",
    annote = "compilacao, geradores, arvores sintaxe"
    }

@techreport{Gro88c,
    author = "Josef  Grosch",
    title = "Generators for {H}igh-{S}peed {F}ront-{E}nds",
    year = 1988,
    type = "Research Report",
    month = Sep,
    institution = gmd,
    number = "11",
    annote = "compilacao, geradores, parsing, sintaxe"
    }

@techreport{Gro88b,
    author = "Josef  Grosch",
    title = "{LALR} - A Generator for Efficient Parsers",
    year = 1988,
    type = "Research Report",
    month = Oct,
    institution = gmd,
    number = "10",
    annote = "compilacao, geradores, parsing, sintaxe"
    }

@techreport{Gro88a,
    author = "Josef  Grosch",
    title = "Selected Examples of Scanner Specifications",
    year = 1988,
    type = "Research Report",
    month = Mar,
    institution = gmd,
    number = "7",
    annote = "compilacao, geradores, analise lexica"
    }

@techreport{Gro87a,
    author = "Josef  Grosch",
    title = "Rex - A Scanner Generator",
    year = 1987,
    type = "Research Report",
    month = Dec,
    institution = gmd,
    number = "5",
    annote = "compilacao, geradores, analise lexica"
    }

@techreport{Vie88a,
    author = "Bertram Vielsack",
    title = "The Parser Generators Lalr and Ell",
    year = 1988,
    type = "Research Report",
    month = Apr,
    institution = gmd,
    number = "8",
    annote = "compilacao, geradores, parsing, sintaxe"
    }

@techreport{Emm89a,
    author = "Helmut Emmelmann",
    title = "{BEG} - A Back End Generator, User Manual",
    year = 1989,
    type = "Research Report",
    month = Dec,
    institution = gmd,
    number = "Arbeitspapiere der GMD 420",
    annote = "compilacao, geradores, geracao codigo"
    }

@techreport{Fer93b,
        author = "Maria Estrela R. Ferreira",
        title = "O {A}mbiente {MALDE II} ",
        publisher = {Departamento de Inform\'{a}tica},
        address = {Universidade do Minho},
    type = "Relatorio de Est'agio",
        year = 1993,
    annote = "compilacao, ambientes, atributos, modularidade, prototipagem"
        }

@manual{Fer93a,
        author = "Maria Estrela R. Ferreira",
        title = "{MALDE II}: Manual de Utiliza\c{c}\~ao ",
    year = 1993,
    month = Sep,
    organization = gdcc,
    edition = "1.st",
    number = "UM maldeii93",
    annote = "ambientes desenvolvimento"
    }

@techreport{PSV93a,
        author = "Elvira Pimenta and Isabel Silva and Maria C\'eu Vivas",
        title = "Introdu\c{c}\~ao ao {MALDE II} ",
        publisher = {Departamento de Inform\'{a}tica},
        address = {Universidade do Minho},
    type = "Relatorio de Projecto",
        year = 1993,
    annote = "compilacao, ambientes, atributos, modularidade, prototipagem"
        }

@techreport{CCS93a,
        author = "Jos\'e C. Carvalhal and Manuel Coelho
                  and Jos\'e C. Espirito Santo",
        title = " {MALDE I} ",
        publisher = {Departamento de Inform\'{a}tica},
        address = {Universidade do Minho},
    type = "Relatorio de Projecto",
        year = 1993,
    annote = "compilacao, ambientes, atributos, modularidade, prototipagem"
        }

@techreport{Nev92a,
    author = "F. Luis Neves",
    title = "Visualiza\c{c}\~ao {G}r'afica de {C}onjuntos de
                 {A}tributos {R}elacionados",
    year = 1992,
    type = "Relatorio de Est\'agio",
    month = Oct,
    institution = gdcc,
    number = "CCr00192",
    annote = "compilacao, interfaces, espec formal"
    }

@techreport{Pir91a,
    author = "M. F\'atima Pires",
    title = "Knowledge Representation Language",
    year = 1991,
    type = "Relatorio de Est\'agio",
    month = Jun,
    institution = gdcc,
    number = "CCr00391",
    annote = "prog oobjectos, espec formal"
    }

@techreport{Lop91b,
    author = "Filipe Lopes",
    title = "Implementa\c{c}\~{a}o de {MASLP} em {CCS}",
    year = 1991,
    type = "Relatorio de Projecto",
    month = Mar,
    institution = gdcc,
    number = "CCr01191",
    annote = "compilacao, ambientes desenvolvimento, prog oobjectos,
                  espec formal"
    }

@techreport{Lop91a,
    author = "Filipe Lopes",
    title = "Comunica\c{c}\~{o}es para a {L}inguagem {O}
                 e {I}nterface {E}ngine {S}erver",
    year = 1991,
    type = "Relatorio de Est\'agio",
    month = Oct,
    institution = gdcc,
    number = "CCr00991",
    annote = "prog oobjectos, espec formal, agentes comunicantes,
                  BIM Prolog"
    }

@techreport{Pac90a,
    author = "Olga Maria Pacheco",
    title = "Concep\c{c}\~ao dum {S}istema {P}ericial para o {R}egisto
                 {P}redial",
    year = 1990,
    type = "Relatorio de Est\'agio",
    institution = gdcc,
    number = "CCr01391",
    annote = "ai, sistemas periciais, prog logica, espec formal"
    }

@techreport{Gre91a,
    author = "Joao Grenhas",
    title = "{NYAGSL}: {N}ot {Y}et {A G}ood {S}pecification {L}anguage",
    year = 1991,
    type = "Relatorio de Projecto",
    month = May,
    institution = gdcc,
    number = "",
    annote = ""
    }

@techreport{MD91a,
    author = "Carla Mendes and Duarte Duarte",
    title = "{GIG}: {G}ram\'atica {I}nteractiva {G}uardada",
    year = 1991,
    type = "Relatorio de Projecto",
    month = May,
    institution = gdcc,
    number = "",
    annote = ""
    }

@techreport{FM91a,
    author = "M. Joao Frade and Jos\'{e} E. Pina Miranda",
    title = "Projecto {XSBProlog}",
    year = 1991,
    type = "Relatorio de Projecto",
    month = May,
    institution = gdcc,
    number = "CCr01291",
    annote = "prog logica, multi-programacao, espec formal, X-Windows"
    }

@techreport{Fra91a,
    author = "M. Joao Frade",
    title = "Implementa\c{c}\~{a}o da {L}inguagem {O}
                 -- Parte Dinamica",
    year = 1991,
    type = "Relatorio de Est\'agio",
    month = Sep,
    institution = gdcc,
    number = "CCr00491",
    annote = "prog oobjectos, espec formal, Lisp"
    }

@techreport{Pina91a,
    author = "Jos\'e Eduardo Pina Miranda",
    title = "Implementa\c{c}\~{a}o da {L}inguagem {O}
                 -- Parte Est\'{a}tica",
    year = 1991,
    type = "Relatorio de Est\'agio",
    month = Sep,
    institution = gdcc,
    number = "CCr00591",
    annote = "prog oobjectos, espec formal, Lisp"
    }

@techreport{Pin91b,
    author = "Luis Filipe Pinto",
    title = "Animador de Especifica\c{c}\~oes {OBLOG} -- vers\~ao 2",
    year = 1991,
    type = "Relatorio de Est\'agio",
    month = Aug,
    institution = gdcc,
    number = "CCr00291",
    annote = "compilacao, interfaces, prog logica, prog oobjectos,
                  espec formal"
    }

@techreport{Pin91a,
    author = "Luis Filipe Pinto",
    title = "Animador de Especifica\c{c}\~oes {OBLOG}",
    year = 1991,
    type = "Relatorio de Projecto",
    month = Mar,
    institution = gdcc,
    number = "CCr00191",
    annote = "compilacao, ambientes desenvolvimento, prog oobjectos,
                  espec formal"
    }

@techreport{AAea91a,
    author = "A. Alves and A. Amador and A. Miranda and
                  C. Ribeiro and F. Ferreira and J. Moreira and
                  L. Ferreira and L. Neves",
    title = "Compilador para o sistema {GLiTCH}",
    type = "Relatorio de Projecto de Compiladores",
    year = 1991,
    month = Jul,
    institution = gdcc,
    number = "",
    annote = "compilacao, ambientes desenvolvimento, prog oobjectos,
                  espec formal"
    }

@techreport{PSR92a,
    author = "Henrique Pereira and Jorge Silva and Jose Ribeiro",
    title = "{XO}blog -- {I}nterface para o {A}nimador de {OBLOG}",
    year = 1992,
    type = "Relatorio de Projecto",
    month = Apr,
    institution = gdcc,
    number = "CCr00192",
    annote = "gramaticas atributos, ambientes desenvolvimento,
                  prog oobjectos, espec formal, interfaces, xwindows"
    }

@techreport{SBA92a,
    author = "Rui Soares and Julio Bigas and Pedro Areias",
    title = "Implementa\c{c}\~ao duma rede neural em {T}ransputers",
    year = 1992,
    month = Apr,
    type = "Relatorio de Projecto",
    institution = gdcc,
    number = "",
    annote = "redes neuronais, transputers, occam"
    }

@techreport{Sar93a,
        author = "Joao Saraiva",
        title = "{C}\'alculo de {A}tributos {C}oncorrente",
        year = 1993,
        type = "Tese de Mestrado",
        month = Sep,
        institution = gdcc,
        number = ""
        }

@techreport{Sar91b,
        author = "Joao Saraiva",
        title = "Um {C}ompilador para a {L}inguagem {O}",
        year = 1991,
        type = "Relat\'{o}rio de Est\'agio",
        month = Sep,
        institution = gdcc,
        number = "CCr00691"
        }

@techreport{Sar91a,
        author = "Joao Saraiva",
        title = "{O} {G}erador de {C}alculadores de {A}tributos: {AE}",
        year = 1991,
        type = "Relat\'{o}rio de Instala\c{c}\~ao",
        month = Sep,
        institution = gdcc,
        number = "CCr00791"
        }

@techreport{Fer92a,
        author = "Adalberto G. Ferreira",
        title = "{GIA} -- {G}estor de  {I}nterfaces",
        year = 1992,
        type = "Relat\'{o}rio de Est\'agio",
        month = Mar,
        institution = gdcc,
        number = ""
        }

@techreport{SF91b,
        author = "Pedro P. Silva and Adalberto G. Ferreira",
        title = "{P}rojecto {CTB}: {R}elat\'{o}rio",
        year = 1991,
        type = "Relat\'{o}rio de Projecto",
        month = Sep,
        institution = gdcc,
        number = "CCr01091"
        }

@techreport{SF91a,
        author = "Pedro P. Silva and Adalberto G. Ferreira",
        title = "{O} {G}erador de {A}nalisadores {L}\'exicos e
                         {S}int\'{a}cticos: {FEGOR}",
        year = 1991,
        type = "Relat\'{o}rio de Projecto",
        month = Aug,
        institution = gdcc,
        number = "CCr00891"
        }

@techreport{SF90c,
        author = "Pedro P. Silva and Adalberto G. Ferreira",
        title = "{O} {G}erador de {A}nalisadores {S}int\'{a}cticos: {ELL}",
        year = 1990,
        type = "Relat\'{o}rio de Instala\c{c}\~ao",
        month = Dec,
        institution = gdcc,
        number = "CCr00390"
        }

@techreport{SF90b,
    author = "Pedro P. Silva and Adalberto G. Ferreira",
    title = "O Gerador de Analisadores Sint\'{a}cticos: {LALR}",
    year = 1990,
    type = "Relat\'orio de Instala\c{c}\~ao",
    month = Oct,
    institution = gdcc,
    number = "CCr00290",
    annote = "compilacao, geradores, parsing, sintaxe"
    }

@techreport{SF90a,
    author = "Pedro P. Silva and Adalberto G. Ferreira",
    title = "O Gerador de Analisadores L\'{e}xicos: {REX}",
    year = 1990,
    type = "Relat\'orio de Instala\c{c}\~ao",
    month = Oct,
    institution = gdcc,
    number = "CCr00190",
    annote = "compilacao, geradores, analise lexica"
    }

@techreport{Roc92a,
        author = "Jorge G. Rocha",
        title = "The Synthesizer Generator - Tutorial",
        publisher = {Departamento de Inform\'{a}tica},
        address = {Universidade do Minho},
    type = "Relat\'orio de Instala\c{c}\~ao",
        year = 1992,
    annote = "compilacao, geradores, gramaticas atributos,
                  calculo incremental"
        }

@techreport{MR87a,
    author = "J.A. Mendes and A. Roeck",
    title = "Heuristic Grammar Annotations and Search Space Prunning:
                Support for Bi-directional Parsing Strategies",
    year = 1987,
    type = "Research Report",
    institution = "Dep. of Computer Science, Univ. of Essex",
    number = "",
    annote = "parsing, linguagem natural, prog logica, gramaticas, sintaxe"
    }

@techreport{SR87a,
    author = "S. Steel and A. Roeck",
    title = "Bidirectional Chart Parsing",
    year = 1987,
    type = "Research Report",
    institution = "Dep. of Computer Science, Univ. of Essex",
    number = "",
    annote = "parsing, linguagem natural, prog logica, gramaticas, sintaxe"
    }

@techreport{SB93a,
        author = "Thierry Le Sergent and Bernard Berthomieu",
    title = "Incremental, Multi-threaded Garbage Collection on
                 Virtually Shared Memory Architectures",
    year = 1993,
    type = "Research Report",
    institution = laas,
    number = "",
    annote = "prog funcional, ML, CCS, ambientes prog, concorrencia"
    }

@techreport{Ber89a,
        author = "Bernard Berthomieu",
    title = "Implementing {CCS}, the {LCS} experiment:
                 a summary of the project",
    year = 1989,
    type = "Research Report",
    institution = laas,
    number = "LAAS report num. 89425",
    annote = "prog funcional, ML, CCS, ambientes prog, concorrencia"
    }

@manual{Ber91a,
        author = "Bernard Berthomieu",
    title = "{LCS} Users Manual",
    organization = laas,
    edition = "version 3.0",
    year = 1991,
    month = Sep,
    annote = "prog funcional, ML, CCS, ambientes prog, concorrencia"
    }

@manual{ORM91a,
        author = "The {Mjolner} {G}roup",
    title = "Mjolner/{ORM} User's Guide",
    organization = "Dep. of Computer Science / Lund University",
    edition = "1.st",
    year = 1991,
    month = May,
    annote = "compilacao incremental, atributos, ambientes prog, geradores"
    }

@techreport{MBea90a,
    author = "B. Magnusson and M. Bengtsson and L.-O. Dahlin and G. Fries
              and A. Gustavsson and G. Hedin and S. {Min\"or} and D. Oscarsson
              and M. Taube",
    title = "An Overview of the Mjolner/{ORM} Environment: Incremental
                Language and Software Development",
    year = 1990,
    type = "Research Report",
    month = "",
    institution = lund,
    number = "LU-CS-TR:90-57",
    annote = "compilacao incremental, atributos, ambientes prog, geradores"
    }

@techreport{Mag83a,
    author = "B. Magnusson",
    title = "Code-{O}bjects: A {S}upport for {I}ncremental
                 {C}ompilation",
    year = 1983,
    type = "Research Report",
    month = "",
    institution = lund,
    number = "LU-CS-TR:83-5",
    annote = "compilacao incremental, atributos, ambientes prog, geradores"
    }

@techreport{Gus90a,
    author = "Anders  Gustavsson",
    title = "Sotware {C}onfiguration {M}anagement in an {I}ntegrated
                 {E}nvironment",
    year = 1990,
    type = "Research Report",
    month = "",
    institution = lund,
    number = "LU-CS-TR:90-52",
    annote = "compilacao incremental, atributos, ambientes prog, geradores"
    }

@article{Gus89a,
    author = "Anders  Gustavsson",
    title = "Maintaining the {E}volution of {S}oftware {O}bjects
                 in an {I}ntegrated {E}nvironment",
    journal = "ACM",
    pages = "114--117",
    year = 1989,
    publisher = acm,
    annote = "compilacao, parsing, sintaxe"
    }

@techreport{Min90a,
    author = "Sten  {Min\"or}",
    title = "On {S}tructured-{O}riented {E}diting",
    year = 1990,
    type = "Research Report",
    month = "",
    institution = lund,
    number = "LUTEDX/(TECS-1002)/1-198/(1990)",
    annote = "compilacao incremental, atributos, ambientes prog, geradores"
    }

@techreport{Min88a,
    author = "Sten  {Min\"or}",
    title = "A {M}odel for {F}lexible {C}ommunications Between
                {O}bjects",
    year = 1988,
    type = "Research Report",
    month = "",
    institution = lund,
    number = "LU-CS-TR:88-35",
    annote = "compilacao incremental, atributos, ambientes prog, geradores"
    }

@techreport{Hed92a,
    author = "{G\"orel} Hedin",
    title = "Incremental Semantic Analysis",
    type = "Doctoral Dissertation",
    year = 1992,
    month = Mar,
    institution = lund,
    number = "LU/(TECS-1003)/1-276/(1992)",
    annote = "compilacao incremental, atributos"
    }

@techreport{Hed91a,
    author = "{G\"orel} Hedin",
    title = "Incremental Static Semantic Analysis for Object-Oriented
                 Languages using {D}oor {A}ttribute {G}rammars",
    year = 1991,
    type = "Research Report",
    month = Aug,
    institution = lund,
    number = "LU-CS-TR:91-79",
    annote = "compilacao incremental, atributos"
    }

@techreport{Hed89a,
    author = "{G\"orel} Hedin",
    title = "An Object-Oriented Notation for Attribute Grammars",
    year = 1989,
    type = "Research Report",
    month = "",
    institution = lund,
    number = "LU-CS-TR:89-42",
    annote = "compilacao, atributos, gramaticas, oobjectos"
    }

@techreport{Hed88a,
    author = "{G\"orel} Hedin",
    title = "Incremental Attribute Evaluation with Sideeffects",
    year = 1988,
    type = "Research Report",
    month = "",
    institution = lund,
    number = "LU-CS-TR:88-37",
    annote = "compilacao incremental, atributos"
    }

@inproceedings{SK90a,
    author = "Yoichi Shinode and Takuya Katayama",
    title = "Object-Oriented Extensions to Attribute Grammar
            and its Implementation using Distributed Evaluation
            Algorithms",
    booktitle = "WAGA-90",
    editor = "P. Deransart and M. Jourdan",
    pages = "177-191",
    year = 1990,
    month = Sep,
    publisher = sv,
    note = "LNCS 461",
    annote = "compilacao, atributos, oobjectos, distribuidos, bd"
    }

@article{KA88a,
    author = "F.E.J. Kruseman-Aretz",
    title = "On a Recursive Ascent Parser",
    journal = "Information Processing Letters",
    pages = "201--206",
    year = 1988,
    month = Nov,
    number = 29,
    publisher = nh,
    annote = "compilacao, parsing, sintaxe"
    }

@inproceedings{Aug90c,
    author = "Lex Augsteijn",
    title = "The Elegant Compiler Generator",
    booktitle = "WAGA-90",
    editor = "P. Deransart and M. Jourdan",
    pages = "238--254",
    year = 1990,
    month = Sep,
    publisher = sv,
    note = "LNCS 461",
    annote = "compilacao, atributos, parsing, sintaxe, lexica, geradores"
    }

@techreport{Aug90b,
    author = "Lex Augsteijn",
    title = "Analysis of the programming lenguage Pascal by the
             construction of a compiler front-end",
    year = 1990,
    month = Jun,
    type = "Research Report",
    institution = "Philips Research Lab., Eindhoven",
    number = "RWR-116-PO-900154-PO",
    annote = "compilacao, atributos, geradores"
    }

@techreport{Aug90a,
    author = "Lex Augsteijn",
    title = "The Elegant Compiler Generator Toll Set",
    year = 1990,
    month = "",
    type = "Research Report",
    institution = "Philips Research Lab., Eindhoven",
    number = "RWR-116-PO-900154-PO",
    annote = "compilacao, atributos, parsing, sintaxe, lexica, geradores"
    }

@techreport{Wat85a,
    author = "David Watt",
    title = "Modular Descriptions of Programming Languages",
    year = 1985,
    month = "",
    type = "Research Report",
    institution = "Computer Science Div. - ECCS, Univ. of California",
    number = "",
    annote = "compilacao, espec formal, linguagem, modular"
    }

@techreport{HKR88a,
    author = "J. Heering, P. Klint, J.G. Rekers",
    title = "Incremental Generation of Parsers",
    year = 1988,
    month = May,
    type = "Research Report",
    institution = "Dep. of Software Technology, Centre for Mathematics
                    and Computer Science",
    number = "CS-R8822",
    annote = "compilacao incremental, parsing, sintaxe, modular"
    }

@inproceedings{BZ87a,
    author = "H.-J. Boehm and W. Zwaenepoel",
    title = "Parallel Attribute Grammar Evaluation",
    booktitle = "Proc. 7th Int. Conf. on Distributed Computing Systems",
    editor = "R. Popescu-Zeletin and G. Le Lam and K.H. Kim",
    pages = "347--354",
    year = 1987,
    annote = "compilacao, atributos, incremental, concurrencia"
    }

@unpublished{KK93a,
    author = "G.E. Kaiser and S. M. Kaplan",
    title = "Parallel and Distributed Incremental Attribute Evaluation
                 Algorithms for Multi-User Software Development Environments",
    year = 1993,
    note = "Univ. of Illinois at Urbana-Champaign and Columbia Univ.",
    annote = "compilacao, atributos, incremental, concorrencia"
    }

@unpublished{KK90a,
    author = "S. M. Kaplan and G.E. Kaiser",
    title = "An Incremental Priority-based Solution to the Multiple
                 Asynchronous Edit Problem",
    year = 1990,
    month = Mar,
    note = "Univ. of Illinois at Urbana-Champaign and Columbia Univ.",
    annote = "compilacao, atributos, incremental, concorrencia"
    }

@inproceedings{KK86a,
    author = "S. M. Kaplan and G.E. Kaiser",
    title = "Incremental Attribute Evaluation in Distributed
                 Language-based Environments",
    booktitle = "Proc. 5th Anual ACM Symp. on the Principles of
                     Distributed Computing",
    pages = "121--130",
    year = 1986,
    annote = "compilacao, atributos, incremental, concurrencia"
    }

@article{PT88a,
    author = "George Papakonstantinou and Panayotis Tsanakas",
    title = "Attribute Grammars and Data-Flow Computing",
    journal = "Information and Software Technology",
    pages = "306--313",
    year = 1988,
    month = Jun,
    volume = 30,
    number = 5,
    publisher = "Butterworths",
    annote = "compilacao, atributos, linguagens, data-flow"
    }

@techreport{Van88a,
    author = "Mark Thierry Vandevoorde",
    title = "Parallel Compilation on a Tightly Coupled Multiprocessor",
    year = 1988,
    month = Mar,
    type = "Research Report",
    institution = "DIGITAL Systems Research Center",
    number = "",
    annote = "compilacao paralela, paralelismo, multiprocessamento"
    }

@techreport{Kui92a,
    author = "M.F. Kuiper",
    title = "Speeding up {P}arallelism {D}etection for
                 {A}ttribute {G}rammars",
    year = 1992,
    month = Apr,
    type = "Research Report",
    institution = "Dep. of Computer Science / Utrecht Univ.",
    number = "RUU-CS-92-18",
    annote = "compilacao paralela, gramaticas, atributos"
    }

@inproceedings{KD89a,
    author = "M.F. Kuiper and A. Dijkstra ",
    title = "Attribute {E}valuation on a {N}etwork of {T}ransputers",
    booktitle = "Developing Transputer Applications",
    editor = "John Wexler",
    pages = "142--149",
    year = 1989,
    month = Sep,
    publisher = "IOS - Amsterdam",
    note = "Proceedings of the 11th occam User Group Technical Meeting",
    annote = "compilacao, atributos, incremental, concurrencia"
    }

@phdthesis{Kui89a,
    author = "Matthijs F. Kuiper",
    title = "Parallel {A}ttribute {E}valuation",
    year = 1989,
    month = Nov,
    school = "Utrech University",
    annote = "compilacao, atributos, geradores"
    }

@techreport{WK86a,
    author = "M.J. Walsteijn and M.F. Kuiper",
    title = "{A}ttribute {G}rammars in {P}rolog",
    year = 1986,
    month = Sep,
    type = "Research Report",
    institution = "Dep. of Computer Science / Utrecht Univ.",
    number = "RUU-CS-86-14",
    annote = "compilacao, gramaticas atributos, programacao logica"
    }

@inproceedings{KS90a,
    author = "M.F. Kuiper and S.D. Swierstra ",
    title = "Parallel attribute evaluation: structure of evaluation
                 and detection of parallelism",
    booktitle = "WAGA-90",
    editor = "P. Deransart and M. Jourdan",
    pages = "61--75",
    year = 1990,
    month = Sep,
    publisher = sv,
    note = "LNCS 461",
    annote = "compilacao, atributos, incremental, concurrencia"
    }

@inproceedings{PSV92a,
    author = "M. Pennings and S.D. Swierstra and H.H. Vogt ",
    title = "Using {C}ached {F}unctions and {C}onstructors for
                 {I}ncremental {A}ttribute {E}valuation",
    booktitle = "PLILP92: Programming Language Implementation and
                     Logic Programming",
    editor = "M. Bruynooghe and M. Wirsing",
    pages = "130--144",
    year = 1992,
    month = Aug,
    publisher = sv,
    note = "LNCS 631",
    annote = "compilacao, atributos, incremental, concurrencia"
    }

@techreport{SV91a,
    author = "S.D. Swierstra and H.H. Vogt ",
    title = "Higher Order Attribute Grammars,
                 lecture notes of the {I}nt. {S}ummer {S}chool on {A}ttribute
                 {G}rammars, {A}pplications and {S}ystems",
    year = 1991,
    month = Jun,
    type = "Technical Report",
    institution = "Dep. of Computer Science / Utrecht Univ.",
    number = "RUU-CS-91-14",
    annote = "compilacao incremental, atributos, geradores"
    }

@techreport{VSK90a,
    author = "H.H. Vogt and S.D. Swierstra and M.F. Kuiper",
    title = "On the efficient incremental evaluation of
                 {H}igher {O}rder {A}ttribute {G}rammars",
    year = 1990,
    month = Dec,
    type = "Research Report",
    institution = "Dep. of Computer Science / Utrecht Univ.",
    number = "RUU-CS-90-36",
    annote = "compilacao incremental, atributos, geradores"
    }

@techreport{SV90a,
    author = "S.D. Swierstra and H.H. Vogt ",
    title = "Higher Order Attribute Grammars:
                 a Merge between Functional and Object Oriented Programming",
    year = 1990,
    month = Mar,
    type = "Research Report",
    institution = "Dep. of Computer Science / Utrecht Univ.",
    number = "RUU-CS-90-12",
    annote = "compilacao incremental, atributos, prog funcional,
                  oobjectos"
    }

@article{VSK89a,
    author = "H.H. Vogt and S.D. Swierstra and M.F. Kuiper",
    title = "Higher Order Attribute Grammars",
    journal = "Communications of the ACM",
    year = 1989,
    month = "",
    pages = "131-145",
    publisher = acm,
    annote = "compilacao, atributos"
    }

@unpublished{SFSE88a,
    author = "A. Sernadas and J. Fiadeiro and C. Sernadas and H.-D. Ehrich",
    title = "Abstract Object Types: A Temporal Perspective",
    year = 1988,
    note = "Depart. de Matematica, IST",
    annote = "programacao, oobjectos, especificacao formal"
    }

@misc{SSCG90a,
    author = "A. Sernadas and C. Sernadas and J. F. Costa and P. Gouveia",
    title = "Oblog",
    year = 1990,
    month = Jan,
    howpublished = "Transparentes --- INESC/Lisboa",
    annote = "programacao oobjectos, especificacao formal"
    }

@techreport{CSS89a,
    author = "J. F. Costa and A. Sernadas and C. Sernadas",
    title = "{OBL-89}: Manual do Utilizador",
    year = 1989,
    month = Jan,
    type = "Research Report",
    institution = "Instituto Superior Tecnico, INESC",
    number = "",
    annote = "programacao oobjectos, especificacao formal"
    }

@techreport{CSS89b,
    author = "J. F. Costa and A. Sernadas and C. Sernadas",
    title = "{OBL-89}: User's Manual (version 2.3)",
    year = 1989,
    month = May,
    type = "Research Report",
    institution = "Instituto Superior Tecnico, INESC",
    number = "",
    annote = "programacao oobjectos, especificacao formal"
    }

@inproceedings{Cos88b,
    author = "Ernesto  Costa",
    title = "Elementos de {LISP}",
    booktitle = "Escola Avan\c{c}ada de Intelig\^encia Artificial",
    editor = "",
    year = 1988,
    month = Oct,
    publisher = "APPIA",
    annote = "inteligencia artificial, representacao conhecimento"
    }

@inproceedings{Cos88a,
    author = "Ernesto  Costa",
    title = "Aprendizagem: Conceitos, Estrat\'egias e Problemas",
    booktitle = "Escola Avan\c{c}ada de Intelig\^encia Artificial",
    editor = "",
    year = 1988,
    month = Oct,
    publisher = "APPIA",
    annote = "inteligencia artificial, representacao conhecimento"
    }

@inproceedings{Coe88c,
    author = "Helder  Coelho",
    title = "{PROLOG} {A}van\c{c}ado",
    booktitle = "Escola Avan\c{c}ada de Intelig\^encia Artificial",
    editor = "",
    year = 1988,
    month = Oct,
    publisher = "APPIA",
    annote = "inteligencia artificial, representacao conhecimento"
    }

@inproceedings{Coe88b,
    author = "Helder  Coelho",
    title = "Engenharia do {C}onhecimento {II}",
    booktitle = "Escola Avan\c{c}ada de Intelig\^encia Artificial",
    editor = "",
    year = 1988,
    month = Oct,
    publisher = "APPIA",
    annote = "inteligencia artificial, representacao conhecimento"
    }

@inproceedings{Coe88a,
    author = "Helder  Coelho",
    title = "Engenharia do {C}onhecimento {I}",
    booktitle = "Escola Avan\c{c}ada de Intelig\^encia Artificial",
    editor = "",
    year = 1988,
    month = Oct,
    publisher = "APPIA",
    annote = "inteligencia artificial, representacao conhecimento"
    }

@inproceedings{MM88a,
    author = "Ernesto Morgado and J. Pav\~ao Martins ",
    title = "Representa\c{c}\~ao do {C}onhecimento ",
    booktitle = "Escola Avan\c{c}ada de Intelig\^encia Artificial",
    editor = "",
    year = 1988,
    month = Oct,
    publisher = "APPIA",
    annote = "inteligencia artificial, representacao conhecimento"
    }

@inproceedings{Por88a,
    author = "Ant\'onio Porto",
    title = "Representa\c{c}\~ao de conhecimentos e
                 programa\c{c}\~ao em l\'ogica",
    booktitle = "Escola Avan\c{c}ada de Intelig\^encia Artificial",
    editor = "",
    year = 1988,
    month = Oct,
    publisher = "APPIA",
    annote = "inteligencia artificial, representacao conhecimento"
    }

@unpublished{MR87a,
    author = "Jose A. Mendes and Anne De Roeck",
    title = "Heuristic Grammar Annotations and Search Space Prunning:
                 Support for Bi-Directional Parsing Strategies",
    year = 1987,
    note = "Depart. of Computer Science, Univ of Essex",
    annote = "chart parsing, sintaxe, linguagens, gramaticas"
    }

@inproceedings{SR87a,
    author = "Sam Steel and Anne De Roeck",
    title = "Bi-Directional Chart Parsing",
        editor= "Hallam and Mellish",
    booktitle = "Advances in AI -- Proc. of the 1987 AISB Conference",
    pages = "",
    year = 1987,
    publisher = jw,
    annote = "chart parsing, sintaxe, linguagens, gramaticas"
    }

@techreport{Men90a,
    author = "Jose A. Mendes",
    title = "Reconhecimento com {CHARTS}",
    year = 1990,
    month = Nov,
    type = "Research Report",
    institution = "Dep. Informatica, {UM/INESC}",
    number = "",
    annote = "chart parsing, sintaxe, linguagens, gramaticas"
    }

@techreport{Men90b,
    author = "Jose A. Mendes",
    title = "Reconhecimento: Pesquisa e Estrategias",
    year = 1990,
    month = Dec,
    type = "Research Report",
    institution = "Dep. Informatica, {UM/INESC}",
    number = "",
    annote = "chart parsing, sintaxe, linguagens, gramaticas"
    }

@techreport{Mat90a,
    author = "Gabriela A. Matos",
    title = "A Lingua Portuguesa no Projecto {EUROTRA}",
    type = "Research Report",
    year = 1990,
    institution = "Univ. of Tampere, Depart. of Computer Science",
    number = "",
    annote = "semantica, sintaxe, linguagem natural, gramaticas"
    }

@article{BS88a,
    author = "Michael F. Barnsley and Alan D. Sloan",
    title = "A Better Way to Compress Images",
    journal = "BYTE",
    year = 1988,
    month = Jan,
    publisher = acm,
    annote = "processamento imagem, graficos,  compactacao"
    }

@inproceedings{HF88a,
    author = "Roman Hascoet and Joel Fumeron",
    title = "De l'Utilization de {Prolog} pour des applications
                 \`a vocation industrielle",
    booktitle = "Programmation en Logique -- Actes du 7.\`eme S\'eminaire
                     Tr\'egastel",
    editor = "S. Bourgault and M. Dincbas",
    pages = "279--294",
    year = 1988,
    month = May,
    publisher = "CNET - France Telecom ",
    annote = "prog logica"
    }

@techreport{WG88a,
    author = "N. Wirth and J. Gutknecht",
    title = "The {OBERON} {S}ystem",
    type = "Research Report",
    year = 1988,
    month = Jul,
    institution = eth,
    annote = "linguagens, modularidade, OBERON"
    }

@article{Wir88a,
    author = "N. Wirth",
    title = "The {P}rogramming {L}anguages {OBERON}",
    journal = "Software---Practice and Experience",
    pages = "671--690",
    year = 1988,
    month = Jul,
    volume = 18,
    number = 7,
    publisher = jws,
    annote = "programacao, linguagens, OBERON"
    }

@article{Wir88b,
    author = "N. Wirth",
    title = "Type {E}xtensions",
    journal = "ACM Trans. Programming Languages and Systems (TOPLAS)",
    pages = "204--214",
    year = 1988,
    month = Apr,
    volume = 10,
    number = 2,
    publisher = acm,
    annote = "programacao, linguagens, OBERON"
    }

@article{Wir88c,
    author = "N. Wirth",
    title = "From {M}odula to {OBERON}",
    journal = "Software---Practice and Experience",
    pages = "661--670",
    year = 1988,
    month = Jul,
    volume = 18,
    number = 7,
    publisher = jws,
    annote = "programacao, linguagens, OBERON"
    }

@inproceedings{Alb91a,
        author = "Henk Alblas",
        title = "Introduction to Attribute Grammars",
        booktitle = "Int. Summer School on Attribute Grammars, Applications
                     and Systems",
        editor = "H. Alblas and B. Melichar",
        pages = "1--15",
        year = 1991,
        month = Jun,
        publisher = sv,
        note = "LNCS 545",
        annote = "compilacao, atributos"
        }

@inproceedings{Alb91b,
        author = "Henk Alblas",
        title = "Attribute Evaluation Methods",
        booktitle = "Int. Summer School on Attribute Grammars, Applications
                     and Systems",
        editor = "H. Alblas and B. Melichar",
        pages = "48--113",
        year = 1991,
        month = Jun,
        publisher = sv,
        note = "LNCS 545",
        annote = "compilacao, atributos"
        }

@inproceedings{Alb90a,
    author = "Henk Alblas",
    title = "Concurrent Incremental Attribute Evaluation",
    booktitle = "WAGA-90",
    editor = "P. Deransart and M. Jourdan",
    pages = "343--358",
    year = 1990,
    month = Sep,
    publisher = sv,
    note = "LNCS 461",
    annote = "compilacao, atributos, incremental, concurrencia"
    }

@inproceedings{Vor90a,
    author = "Scott A. Vorthmann",
    title = "Coordinated Incremental Attribute Evaluation
                  on a {DR}-threaded Tree",
    booktitle = "WAGA-90",
    editor = "P. Deransart and M. Jourdan",
    pages = "207--221",
    year = 1990,
    month = Sep,
    publisher = sv,
    note = "LNCS 461",
    annote = "compilacao, atributos, incremental"
    }

@inproceedings{FKT90a,
    author = "An Feg and Tohru Kikuno and Koji Torii",
    title = "Incremental Attribute Evaluation for Multiple Subtree
                 Replacements in Structure-oriented Environments",
    booktitle = "WAGA-90",
    editor = "P. Deransart and M. Jourdan",
    pages = "192--206",
    year = 1990,
    month = Sep,
    publisher = sv,
    note = "LNCS 461",
    annote = "compilacao, atributos, incremental"
    }

@inproceedings{Pec90b,
    author = "Stephen Peckham",
    title = "Globally Partitionable Attribute Grammars",
    booktitle = "WAGA-90",
    editor = "P. Deransart and M. Jourdan",
    pages = "327--342",
    year = 1990,
    month = Sep,
    publisher = sv,
    note = "LNCS 461",
    annote = "compilacao, atributos, incremental, concurrencia"
    }


@phdthesis{Pec90a,
        author = "Stephen Peckham",
    title = "Incremental Attribute Evaluation and
                 Multiple Subtree Replacements",
    year = 1990,
    school = "Cornell University",
    annote = "compilacao incremental, atributos, ambientes prog"
    }

@inproceedings{Hec88a,
    author = "Reinhold Heckmann",
    title = "A {F}unctional {L}anguage for the {S}pecification of
                {C}omplex {T}ree {T}ransformations",
    booktitle = "Proceedings of ESOP'88",
    editor = "H.Ganzinger",
    year = 1988,
    publisher = sv,
    note = "LNCS 300",
    annote = "compilacao, linguagens funcionais, transformacoes"
    }

@inproceedings{NT90a,
    author = "Chisato Numaoka and Mario Tokoro",
    title = "Decentralized Parsing Method and Communicating Multiple
                 Concurrent Objects",
    booktitle = "Proceedings of TOOLS'90",
    editor = "",
    year = 1990,
        pages="159--",
    publisher = "",
    annote = "compilacao, parsing, poo, concorrencia"
    }

@manual{ObjVision91a,
        author = "",
    title = "Gu\'{\i}a de Referencia de {ObjectVision}",
    organization = "Borland",
    edition = "1.st",
    year = 1991,
    month = Jun,
    annote = "bases dados, arvores decisao, representacao conhecimento"
    }

@manual{Motif89b,
        author = "",
    title = "{OSF}/{M}otif -- {P}rogrammers {R}eference {M}anual",
    organization = "{OSF}",
    edition = "1.st",
    year = 1989,
    month = "",
    annote = "xwindows, motif, interfaces"
    }

@manual{Motif89a,
        author = "",
    title = "{OSF}/{M}otif -- {P}rogrammers {G}uide",
    organization = "{OSF}",
    edition = "1.st",
    year = 1989,
    month = "",
    annote = "xwindows, motif, interfaces"
    }

@manual{XWindow89b,
        author = "J. McCormak and P. Asente and R. Swick",
    title = "{X} {T}oolkit {I}ntrinsics -- {C} {L}anguage {I}nterface",
    organization = "O'Reilly \& Associates",
    year = 1989,
    month = "",
    annote = "xwindows, interfaces"
    }

@manual{XWindow89a,
        author = "",
    title = "{X}lib {P}rogramming {M}anual -- volume one",
    organization = "O'Reilly \& Associates",
    year = 1989,
    month = "",
    annote = "xwindows, interfaces"
    }

@manual{Lisp90,
        author = "",
    title = "{S}un {C}ommon {L}isp 4.0 -- {M}aster {I}ndex",
    organization = "Sun Microsystems",
    edition = "1.st",
    year = 1990,
    month = "",
    annote = "prog funcional, linguagens"
    }

@manual{Deb89a,
        author = "Saumya K. Debray",
    title = "The {SB-Prolog} System, version 3.1: A User Manual",
    organization = "Dep. of Computer Science / Univ. of Arizona",
    edition = "1.st",
    year = 1989,
    month = Dec,
    annote = "prog logica, linguagens"
    }

@manual{Ari86a,
        author = "",
    title = "The {ARITY/Prolog} Programming Language",
    organization = "Arity Corporation",
    edition = "1.st",
    year = 1986,
    month = "",
    annote = "prog logica, linguagens"
    }

@proceedings{SAGA91,
    title = "Attribute Grammars, Applications and Systems",
    editor = "H. Alblas and B. Melichar",
    organization = "Czech Technical University -- Prague",
    year = 1991,
        month = Jun,
    publisher = sv,
        note = "Lecture Notes in Computer Science, nu. 545",
        annote = "compilacao, atributos"
    }

@proceedings{WAGA90,
    title = "Attribute Grammars and their Applications",
    editor = "P. Deransart and M. Jourdan",
    organization = "{INRIA}",
    year = 1990,
        month = Sep,
    publisher = sv,
        note = "Lecture Notes in Computer Science, nu. 461",
        annote = "compilacao, atributos"
    }

@proceedings{PLILP90,
    title = "Programming Language Implementation and Logic
                 Programming",
    editor = "P. Deransart and J. Maluszynski",
    year = 1990,
        month = Aug,
    publisher = sv,
        note = "Lecture Notes in Computer Science, nu. 456",
        annote = "compilacao, linguagens, prog logica"
    }

@proceedings{ICLP91,
    title = "Advanced Logic Programming Tools and Formalisms for
                 Language Processing",
    editor = "P. Saint-Dizier",
    year = 1991,
        month = Jun,
    publisher = "{INRIA}",
        note = "{ICLP'}91 Workshop",
        annote = "compilacao, linguagens, prog logica"
    }

@misc{AXON91,
        author = "AXON/INESC",
    title = "Proposal for the {NOMOS NKRL}",
    year = 1991,
    month = Jan,
    howpublished = "Proposal for {ESPRIT} 5330, IN-22-50-01",
    annote = "espec formal, programacao oobjectos"
    }

@BOOK{wirth:76,
   AUTHOR = "Niklaus Wirth",
   TITLE = "Algorithms + Data Structures = Programs",
   PUBLISHER = "Prentice-Hall",
   ADDRESS = "Englewood Cliffs, N.J.",
   SERIES = "Automatic Computation",
   YEAR = 1976
}
@incollection{courcelle:84,
   AUTHOR = "B. Courcelle",
   TITLE = "Attribute Grammars: Definitions, Analysis of Dependencies,
            Proof Methods",
   BOOKTITLE = "Methods and Tools for Compiler Construction",
   EDITOR = "B. Lorho",
   PUBLISHER = "Cambridge University Press",
   YEAR = 1984
}
@incollection{doran:75,
   AUTHOR = "Robert W. Doran",
   TITLE = "Architecture of {S}tack {M}achines",
   BOOKTITLE = "High-Level Language Computer Architectures",
   EDITOR = "Yaohan Chu",
   PUBLISHER = "Academic Press",
   YEAR = 1975
}
@incollection{engelfriet:84,
   AUTHOR = "J. Engelfriet",
   TITLE = "Attribute Grammars: Attribute Evaluation Methods",
   BOOKTITLE = "Methods and Tools for Compiler Construction",
   EDITOR = "B. Lorho",
   PUBLISHER = "Cambridge University Press",
   YEAR = 1984
}

@misc{filliatre:2006,
    author = "Jean-Christophe Filliâtre",
    title = "Machine Virtuelle pour le Project de Compilation",
    year = 2006,
    institution = "LRI --  Laboratoire de Recherche en Informatique (Université Paris Sud 11)",
    howpublished = "Authors' Web Page, \url{http://www.lri.fr/~filliatr/index.fr.html}",
    annote = "maquina virtual, compilacao, geracao de codigo"
    }

@Article{Heering00,
author = "Jan Heering and Paul Klint",
title = "Semantics of Programming Languages: A Tool-Oriented Approach",
journal = "ACM Sigplan Notices",
year = "2000",
volume = "35",
number = "3",
pages = "39--48",
month = mar
}

@article{MZLA99,
                author = "Marjan Mernik  and Viljem Zumer and Mitja Lenic and Enis Avdicausevic",
                title = "Implementation of multiple attribute grammar inheritance in the tool LISA",
                    journal="ACM SIGPLAN not.",
                year = 1999,
                volume = 34,
                month = "Jun.",
                    number=6,
                    pages="68-75",
                    publisher="ACM"
}

@InProceedings{MLAZ00,
  author =   {Marjan Mernik and Mitja Lenic and Enis Avdicausevic and Viljem Zumer},
  title =    {Compiler/Interpreter Generator System {LISA}},
  booktitle =    {IEEE Proceedings of 33rd Hawaii International Conference on System Sciences},
  year =     {2000}
}

@article{MZ03,
                author = "Marjan Mernik and Viljem Zumer",
                title = "An educational tool for teaching compiler construction",
                    journal="IEEE Transactions on Education",
                year = 2003,
                volume = 46,
                    number=1,
                    pages="61-68",
                    publisher="IEEE"
}

@TechReport{MHKVZ02,
  author =   {Marjan Mernik and Pedro Henriques and Tomaz Kosar and Maria João Varanda and Viljem Zumer},
  title =    {Object-Oriented Attribute Grammar based Grammatical Approach to Problem Specification},
  institution =  {University of Minho},
  year =     {2002}
}


@Article{KMHVZ04,
  author = {Tomaz Kosar and Marjan Mernik and Pedro Henriques and Maria João Varanda and Viljem Zumer},
  title = {Grammatical Approach to Problem Solving},
  journal = {Informatica Journal},
  volume = {28},
  pages = {393-404},
  year = {2004}
}

@InProceedings{HKMVZ03,
  author =    {Pedro Henriques and Tomaz Kosar and Marjan Mernik and Maria João Varanda and Viljem Zumer},
  title =     {Grammatical Approach to Problem Solving},
  booktitle = {ITI'03 - 25th International Conference on Information Technology Interfaces, Croacia},
  publisher = {IEEE},
  year =     {2003},
  month =     {Jun.}
}

@InProceedings{VH01,
  author =    {Maria João Varanda and Pedro Rangel Henriques},
  title =     {Visualization / Animation of Programs based on Abstract Representations and Formal Mappings},
  booktitle = {HCC'01 - 2001 IEEE Symposia on Human-Centric Computing Languages and Environments},
  publisher = {IEEE},
  year =     {2001},
  month =     {September}
  }


@InProceedings{VH02,
  author =     {Pedro Henriques and Maria João  Varanda and Marjan Mernik and Mitja Lenic},
  title =     {Automatic Generation of Language-based Tools},
  booktitle =  {LDTA - Workshop on Language, Descriptions, Tools and Applications (ETAPS'02)},
  year =     {2002},
  month =     {April}
  }

@InProceedings{VH03,
  author =    {Maria João Varanda and Pedro Rangel Henriques},
  title =     {Visualization / Animation of Programs in Alma: obtaining different results},
  booktitle = {VMSE2003 - Symposium on Visual and Multimedia Software Engineering (HCC'03), New Zealand},
  publisher =    {IEEE},
  year =     {2003},
  editor =     {},
  month =     {October}
}

@Article{HVMLGW05,
  author = {Pedro Henriques and Maria João Varanda and Marjan Mernik and Mitja Lenic and Jeff Gray and Hui Wu},
  title =  {Automatic Generation of Language-based Tools using LISA System},
  journal ={IEE Software Journal},
  year = {2005},
  month = {April},
  volume = {152},
  number = {2},
  pages = {54-70}
}

@Article{RMHV06,
  author = {Damijan Rebernak and Marjan Mernik and Pedro Rangel Henriques and Maria João Varanda},
  title = {AspectLISA: an aspect-oriented compiler construction system based on attribute grammars},
  journal = {Electronic Notes in Theoretical Computer Science (ENTCS)},
  editor = {J. Boyland and A. Sloane},
  publisher = {Elsevier},
  year = {2006},
  month = {Oct},
  volume = {164},
  number = {2},
  pages = {37-53}
}

@Article{RMHCV06,
  author = {Damijan Rebernak and Marjan Mernik and Pedro Rangel Henriques and Daniela da Cruz and Maria João Varanda},
  title = {Specifying Languages using aspect-oriented approach: AspectLISA},
  journal = {CIT -- Journal of Computing and Information Technology},
  editor = {},
  publisher = {},
  year = {2006},
  month = {Dec},
  volume = {14},
  number = {4},
  pages = {343-350}
}

@InProceedings{RMHV06,
  author = {Damijan Rebernak and Marjan Mernik and Pedro Rangel Henriques and Maria João Varanda Pereira},
  title = {AspectLISA: an aspect-oriented compiler construction system based on attribute grammars},
  booktitle = { LDTA'06, Workshop on Language Descriptions, Tools and Applications integrado no ETAPS'06 - European Joint Conferences on Theory and Practice of Software},
  editor    = {},
  pages     = {},
  year      = 2006,
  month =     {Mar}
}

@InProceedings{RMHVC06,
  author =    {Damijan Rebernak and Marjan Mernik and Pedro Rangel Henriques and Maria João Varanda Pereira and Daniela Cruz},
  title =     { Specifying Languages using Aspect-oriented Approach: AspectLISA},
  booktitle = {ITI'06 - 28th International Conference on Information Technology Interfaces, Croacia},
  publisher = {IEEE},
  pages     = {},
  year =     {2006},
  month =     "Jun."
}


@techreport{CH06c,
    author = {Daniela da Cruz and Pedro Rangel Henriques},
    title =  {Lavanda, an exercise with Attribute Grammars and a case-study to compare AG-based Compiler-Generators},
    year = 2006,
    type = {CCTC Technical Report},
    month = "Dec.",
    institution = "Dep.Inform\'atica / Univ. do Minho",
    number = "",
    note = {},
    annote = "compilacao, ga, geradores de compiladores"
    }

@techreport{CH07a,
    author = "Daniela da Cruz and Pedro Rangel Henriques",
    title = "{LISS} --- A Linguagem e o Compilador",
    year = 2007,
    type = "Relat\'orio Interno do {CCTC}",
    month = "Jan.",
    institution = "Dep.Inform\'atica / Univ. do Minho",
    number = "",
    note = {(to be published)},
    annote = "compilacao, ga, geracao codigo, VM"
    }

@InProceedings{CH06a,
    author =    {Daniela da Cruz and Pedro Rangel Henriques},
    title =     {LISS --- Language, Compiler and Companion},
    booktitle = {Proceedings of the Conference on Compiler Technologies for .Net (CTNET'07 - Universidade da Beira Interior, Portugal)},
    year =      {2006},
    editor =    {},
    month =     {Mar.},
    note = {(to be published)}
    }

@Misc{CH06b,
    author = {Daniela da Cruz and Pedro Rangel Henriques},
    title = {LISS Compiler Homepage},
    howpublished = {http://www.di.uminho.pt/~gepl/LISS},
    year = 2006
    }

@Misc{CH05a,
    author = {Daniela da Cruz and Pedro Rangel Henriques},
    title = {LISS - Language of Integers, Sequences and Sets},
    howpublished = {Talk to the gEPL, Dep. Inform\'atica / Univ. Minho},
    year = 2005,
    month = {Oct.},
    annote = "compilacao, ga, geracao codigo, VM"
    }

%------------------------------------------------------------------
%2007-04-23
@techreport{Joh75a,
    author = "Stephen C. Johnson",
    title = "{YACC} Yet Another Compiler Compiler",
    type = {Computing Science Technical Report},
    year = 1975,
    number = "CSTR32",
    institution = "Bell Laboratories -- Murray Hill, New Jersey",
    annote = "compilacao, geradores, parsing"
    }

@techreport{LS75,
    author = {M. E. Lesk and E. Schmidt},
    title = {Lex - A Lexical Analyzer Generator},
    year = 1975,
    type = {Computing Science Technical Report},
    month = "",
    institution = {Bell Laboratories -- Murray hill, New Jersey},
    number = {39},
    annote = "compilacao, , geracao compiladores, analise lexica"
    }

@BOOK{LMB92,
   AUTHOR = "J.R. Levine and T. Mason and D. Brown",
   TITLE = "Lex \& Yacc",
   edition = "",
   PUBLISHER = "O'Reilly \& Associates Inc.",
   ADDRESS = "",
   SERIES = "Ed. Dale Dougherty",
   YEAR = 1992
}

@Article{PQ95,
  author = {Terence Parr and Russell W. Quong},
  title = {ANTLR: A Predicated-LL(K) Parser Generator},
  journal = {Software Practice and Experience},
  editor = {},
  publisher = {},
  year = {1995},
  month = {July},
  volume = {25},
  number = {7},
  pages = {789-810}
}

@Article{PQ96,
  author = {Terence Parr and Russell W. Quong},
  title = {LL and LR Translator Need k},
  journal = {SIGPLAN Notices},
  editor = {},
  publisher = {},
  year = {1996},
  month = {Feb.},
  volume = {31},
  number = {2},
  pages = {}
}

@Misc{Par99,
    author = {Terence Parr},
    title = {Practical Computer Language Recognition and Translation -- A guide for building source-to-source translators with ANTLR and Java},
    howpublished = {http://www.antlr.org/book/index.html},
    year = 1999
    }

@Misc{Par05,
    author = {Terence Parr},
    title = {An Introduction To ANTLR},
    howpublished = {http://www.cs.usfca.edu/~parrt/course/652/lectures/antlr.html},
    year = 2005,
    month = "Jun."
    }

%-------------------------------------------------
%2007-04-30
@article{624963,
 author = {Sven Moen},
 title = {Drawing Dynamic Trees},
 journal = {IEEE Softw.},
 volume = {7},
 number = {4},
 year = {1990},
 issn = {0740-7459},
 pages = {21--28},
 doi = {http://dx.doi.org/10.1109/52.56447},
 publisher = {IEEE Computer Society Press},
 address = {Los Alamitos, CA, USA},
}

@misc{JGraph06,
 author = {JGraph},
 title = {JGraph and JGraph Layout Pro User Manual},
 year = {2006},
 howpublished = {http://www.jgraph.com},
}

@book{Craig06,
    author = "Iain D. Craig",
    title = "Virtual Machines",
    year = 2006,
    month = "",
    edition = "1.st",
    publisher = "Springer Verlag",
    annote = "Techniques to implement virtual machines"
}

@book{Chen06,
    author = "Chaomei Chen",
    title = "Information Visualization",
    year = 2006,
    month = "",
    edition = "2.nd",
    publisher = "Springer-Verlag",
    annote = "Description of Information Visualization Techniques"
}

%---------------------------------------
% 2007-07-20 ****

@inproceedings{91978,
 author = {Donald E. Knuth},
 title = {The genesis of attribute grammars},
 booktitle = {WAGA: Proceedings of the international conference on Attribute grammars and their applications},
 year = {1990},
 isbn = {0-387-53101-7},
 pages = {1--12},
 location = {Paris, France},
 publisher = {Springer-Verlag New York, Inc.},
 address = {New York, NY, USA},
 }

@phdthesis{PRH92,
    author = "P. R. Henriques",
    title = "Atributos e modularidade na especificação de linguagens formais",
    year = 1992,
    school = "Universidade do Minho",
    annote = ""
}

@book{Terry05,
    author = "Pat Terry",
    title = "Compiling with C$\sharp$ and Java",
    year = 2005,
    month = "",
    edition = "1.nd",
    publisher = "Addison-Wesley",
    annote = ""
}

%******************* 2007-08-14 **
@book{Preiss99,
    author = "Bruno R. Preiss",
    title = "Data Structures and Algorithms with Object-Oriented Design Patterns in Java",
    year = 1999,
    publisher = aw,
    annote = ""
    }

%----------------------------------
% 2007 - 08 - 27

@InProceedings{CH07b,
    author =    {Daniela da Cruz and Pedro Rangel Henriques},
    title =     {XTDL, XML Tool Definition Language},
    booktitle = {Proceedings of the Conference on XML -  Aplicações e Tecnologias Associadas (XATA'07 - Fac. de Ciências da Univ. de Lisboa, Portugal)},
    year =      {2007},
    editor =    {},
    month =     {Feb},
    }

@InProceedings{CLH07c,
    author =    {Daniela da Cruz and Sandra Cristina Lopes and Pedro Rangel Henriques},
    title =     {Como ensinar com Mapas de Conceitos: duas abordagens complementares},
    booktitle = {Challenges'07, Universidade do Minho --- Braga, Portugual},
    year =      {2007},
    editor =    {},
    month =     {Mai},
    }

@InProceedings{CH07d,
    author =    {Daniela da Cruz and Pedro Rangel Henriques},
    title =     {LISS --- The language and the compiler},
    booktitle = {Proceedings of the 1.st Conference on Compiler Related Technologies and Applications, CoRTA'07 ---
             Universidade da Beira Interior, Portugal},
    year =      {2007},
    editor =    {},
    month =     {Jul},
    }

@InProceedings{CPBFH07e,
    author =    {Daniela da Cruz and Maria João Varanda Pereira and Mário Béron and Rúben Fonseca and Pedro Rangel Henriques},
    title =     {Comparing Generators for Language-based Tools},
    booktitle = {Proceedings of the 1.st Conference on Compiler Related Technologies and Applications, CoRTA'07 ---
             Universidade da Beira Interior, Portugal},
    year =      {2007},
    editor =    {},
    month =     {Jul},
    }


@InProceedings{CPH07f,
    author =    {Daniela da Cruz and Maria João Varanda Pereira and Pedro Rangel Henriques},
    title =     {Pattern-based Program Visualization},
    booktitle = {1st Workshop on Advances in Programming Languages, WAPL'07 --- evento satélite da
             \textsf{International Multiconference on Computer Science and Information Technology, IMCSIT'07} --- Wisla, Polónia},
    year =      {2007},
    editor =    {},
    month =     {Oct},
    }

@article{CPH07h,
    author =    {Daniela da Cruz and Maria João Varanda Pereira and Pedro Rangel Henriques},
    title =     {Constructing program animations using a pattern-based approach},
    jornal = {Computer Science and Information System (ComSIS)},
    year =      {2007},
    editor =    {},
    publisher = {ComSIS Consortium},
    volume = {2},
    month =     {December},
    }


@Article{PQ95,
  author = {Terence Parr and Russell W. Quong},
  title = {ANTLR: A Predicated-LL(K) Parser Generator},
  journal = {Software Practice and Experience},
  editor = {},
  publisher = {},
  year = {1995},
  month = {July},
  volume = {25},
  number = {7},
  pages = {789-810}
}


@InProceedings{GMSP06,
    author =    {João Gomes and Daniel Martins and Simão Melo de Sousa and Jorge Sousa Pinto},
    title =     {{LISSOM}, a source level proof carrying code platform},
    booktitle = {International Workshop on Proof Carrying Code Platfform, (PCC2006) --- Seattle, USA},
    year =      {2006},
    editor =    {},
    }

@Misc{CH07g,
    author = {Daniela da Cruz and Pedro Rangel Henriques},
    title = {Slicing  wxHaskell modules to derive the User Interface Abstract Model},
    howpublished = {Poster in  1st Workshop on Advances in Programming Languages, WAPL'07 --- evento satélite da
             \textsf{International Multiconference on Computer Science and Information Technology, IMCSIT'07} --- Wisla, Polónia},
    month = {Oct},
    year = {2007}
    }

@Misc{CH07h,
    author = {Daniela da Cruz and Pedro Rangel Henriques},
    title = {XLS --- XTDL Tool Site},
    howpublished = {Poster in  Extreme Markup Languages 2007 --- Montreal, Canadá},
    month = {August},
    year = {2007}
    }

@techreport{CPH07a,
    author = "Daniela da Cruz and Maria João Varanda Pereira and Pedro Rangel Henriques",
    title = "{Alma} --- Technical Report",
    year = 2007,
    type = "Relat\'orio de projecto da {FCT}",
    month = "Jul.",
    institution = "Dep.Inform\'atica / Univ. do Minho",
    number = "",
    note = {(to be published)},
    }

@techreport{G06,
    author = "João Gomes",
    title = "{CLISS}: um compilador de {LISS} com anotações lógicas",
    year = 2006,
    type = "Relat\'orio de Projecto da Engenharia Informática",
    month = "September",
    institution = "Dep.Inform\'atica / Univ. da Beira Interior Minho",
    number = "",
    }

@Misc{Kas07,
    author = {Uwe Kastens},
    title = {Lecture Notes in \emph{Programming Languages and Compilers}},
    howpublished = {},
    month = {June},
    year = {2007}
    }

@Book{Crespo98,
  author =    {Rui Gustavo Crespo},
  title =     {Processadores de Linguagens: da concepção à implementação},
  publisher = {IST Press},
  year =      {1998},
}

@techreport{RB06,
    author = "Rodrigo Baptista",
    title = "Compilador IEC 61131-3 ST \& Máquina Virtual IntegraVM",
    year = 2006,
    type = "Relat\'orio de Estágio da {LESI}",
    month = "Oct.",
    institution = "Dep.Inform\'atica / Univ. do Minho",
    number = ""
}

@techreport{RF07,
    author = "Rúben Fonseca",
    title = "Implementação do {WebAppViewer}: uma ferramenta para compreender aplicações {Web}",
    year = 2007,
    type = "Relat\'orio de Estágio da {LESI}",
    month = "Sept.",
    institution = "Dep.Inform\'atica / Univ. do Minho",
    number = ""
}

@misc{desousa:2006,
    author = "Simão Melo de Sousa",
    title = "Máquina Virtual para o Projecto de Compiladores (versão portuguesa)",
    year = 2006,
    institution = "Departamento de Informática, Universidade da Beira Interior",
    howpublished = "Authors' Web Page, \url{http://www.di.ubi.pt/~desousa}",
    annote = "maquina virtual, compilacao, geracao de codigo"
    }

%---------- 2007/09/06
@inproceedings{199706,
 author = {Michael R. Birch and Christopher M. Boroni and Frances W. Goosey and Samuel D. Patton and David K. Poole and Craig M. Pratt and Rockford J. Ross},
 title = {DYNALAB: a dynamic computer science laboratory infrastructure featuring program animation (abstract)},
 booktitle = {SIGCSE '95: Proceedings of the twenty-sixth SIGCSE technical symposium on Computer science education},
 year = {1995},
 isbn = {0-89791-693-X},
 pages = {29--33},
 location = {Nashville, Tennessee, United States},
 doi = {http://doi.acm.org/10.1145/199688.199706},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@article{299800,
 author = {Eric Gramond and Susan H. Rodger},
 title = {Using JFLAP to interact with theorems in automata theory},
 journal = {SIGCSE Bull.},
 volume = {31},
 number = {1},
 year = {1999},
 issn = {0097-8418},
 pages = {336--340},
 doi = {http://doi.acm.org/10.1145/384266.299800},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@phdthesis{MOS07,
    author = "Miguel Augusto Mendes Oliveira e Silva",
    title = "Metodologia e Mecanismos para Linguagens de Programação Concorrente Orientadas por Objectos",
    year = 2007,
    month = {Septembe},
    school = "Universidade de Aveiro",
    }

@book{Meyer97,
    author = "Bertrand Meyer",
    title = "Object-Oriented Software Construction",
    year = 1997,
    edition = "2.st",
    publisher = "Prentice Hall",
    }

@InProceedings{Visser06,
    author =    {Joost Visser},
    title =     {Structure Metrics for XML Schema},
    booktitle = {XATA - XML: Aplicações e Tecnologias Associadas, Portalegre - Portugal},
    year =      {2006},
    editor =    {},
    month =     {Fev},
    }

@inproceedings{678886,
 author = {Meike Klettke and Lars Schneider and Andreas Heuer},
 title = {Metrics for XML Document Collections},
 booktitle = {EDBT '02: Proceedings of the Worshops XMLDM, MDDE, and YRWS on XML-Based Data Management and Multimedia Engineering-Revised Papers},
 year = {2002},
 isbn = {3-540-00130-1},
 pages = {15--28},
 publisher = {Springer-Verlag},
 address = {London, UK},
 }

@inproceedings{DBLP:conf/wwv/Silva05,
  author    = {Josep Silva},
  title     = {Slicing XML Documents},
  booktitle = {WWV},
  year      = {2005},
  pages     = {121-125},
  crossref  = {DBLP:conf/wwv/2005},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{ tip95survey,
    author = "F. Tip",
    title = "A survey of program slicing techniques",
    journal = "Journal of programming languages",
    volume = "3",
    pages = "121--189",
    year = "1995",
    url = "citeseer.ist.psu.edu/tip95survey.html" }

@Misc{Altova07,
    author = {Altova},
    title = {XMLspy},
    howpublished = {http://www.altova.com/products/xmlspy},
    year = 2007
    }

@Misc{Top07,
    author = {},
    title = {XPath Visualizer},
    howpublished = {http://www.topxml.com/xpathvisualizer/},
    year = 2007
    }

@Misc{Micro07,
    author = {Microsoft},
    title = {XPath Viewer},
    howpublished = {http://msdn2.microsoft.com/en-us/library/aa302300.aspx},
    year = 2007
    }

@Misc{Stylus07,
    author = {Stylus Studio},
    title = {XPath Query Editor},
    howpublished = {http://www.stylusstudio.com/xpath\_evaluator.html\#},
    year = 2007
    }

@Misc{altova07,
    author = {Altova},
    title = {UModel},
    howpublished = {www.altova.com/products/umodel/uml_tool.html},
    year = 2007
    }

@Misc{octo07,
    author = {Jos Warmer, Anneke Kleepe},
    title = {Octopus: OCL Tool for Precise Uml Specifications},
    howpublished = {http://www.klasse.nl/octopus/index.html},
    year = 2007
    }

@Misc{omondo07,
    author = {Omondo},
    title = {Omondo},
    howpublished = {http://www.eclipsedownload.com/},
    year = 2007
    }

@Misc{use07,
    author = {Mirco Kuhlmann},
    title = {USE --- A UML-based Specification Environment},
    howpublished = {http://www.db.informatik.uni-bremen.de/projects/USE/},
    year = 2007
    }

@Misc{dresden07,
    author = {Technische Universitat Dresden},
    title = {Dresden OCL Toolkit},
    howpublished = {http://dresden-ocl.sourceforge.net/},
    year = 2007
    }

@Misc{visio07,
    author = {Microsoft},
    title = {Visio 2007},
    howpublished = {http://office.microsoft.com/pt-br/visio/default.aspx},
    year = 2007
    }

@book{umlRef99,
    author = "J. Rumbaugh, I. Jacobson, G. Booch",
    title = "The Unified Modeling Language Reference Manual",
    edition = "First edition",
    year = 1999,
    publisher = "Addison Wesley",
    annote = "UML"
    }

@book{umlDist00,
    author = "Martin Fowler, Kendall Scott",
    title = "UML Distilled --- A Brief Guide to the Standard Object Modelling Language",
    edition = "Second edition",
    year = 2000,
    publisher = "Addison Wesley",
    annote = "UML"
    }

@inproceedings{Xml05,
 author      = "R.~L{\"a}mmel and Stan Kitsis and D.~Remy",
 title       = "{Analysis of XML schema usage}",
 booktitle   = "{Conference Proceedings XML 2005}",
 year        = 2005,
 month       = nov,
}

%------------ 2007-11-28

@techreport{ClarkDeRose1999,
    title = {XML Path Language (XPath) Version 1.0},
    author = {James Clark and Steve DeRose},
    institution = {World Wide Web Consortium},
    year = {1999},
    biburl = {http://www.bibsonomy.org/bibtex/2a560d94975470814089b64eb58bf580f/tmalsburg},
    keywords = {markuplanguages specification xml }
}

@misc{ olteanu02xpath,
  author = "D. Olteanu and H. Meuss and T. Furche and F. Bry",
  title = "Xpath: Looking forward",
  text = "Olteanu, D., Meuss, H., Furche, T., Bry, F.: Xpath: Looking forward. In:
    Proceedings of Workshop on XML Data Management (XMLDM), http://www.pms.informatik.unimuenchen.
    de/publikationen/#PMS-FB-2002-4, Springer LNCS (2002)",
  year = "2002",
  url = "citeseer.ist.psu.edu/article/olteanu02xpath.html" }

@article{1014751,
 author = {D. Chamberlin},
 title = {XQuery: An XML query language},
 journal = {IBM Syst. J.},
 volume = {41},
 number = {4},
 year = {2002},
 issn = {0018-8670},
 pages = {597--615},
 publisher = {IBM Corp.},
 address = {Riverton, NJ, USA},
 }

@Misc{xmlslicer,
    author = {Josep Silva},
    title = {XMLSlicer},
    howpublished = {http://www.dsic.upv.es/~jsilva/xml/},
    year = 2006
    }

@article{mertz,
   author = "David Mertz",
   title = "Transcending the limits of {DOM}, SAX, and XSLT: The HaXml functional programming model for XML",
   month = "October",
   year = "2001",
   journal = "IBM developerWorks (XML Matters column)",
   url = "http://www-106.ibm.com/developerworks/library/x-matters14.html"
}

@Misc{xmlgutten,
    author = {Greg Newby},
    title = {XML and Project Gutenberg},
    howpublished = {http://www.ils.unc.edu/~bluec/gutenbergDTD/},
    year = 2001
    }

%-------- 2007-12-05
@article{249108,
 author = {Andreas Zeller and Dorothea L\"{u}tkehaus},
 title = {DDD - a free graphical front-end for UNIX debuggers},
 journal = {SIGPLAN Not.},
 volume = {31},
 number = {1},
 year = {1996},
 issn = {0362-1340},
 pages = {22--27},
 doi = {http://doi.acm.org/10.1145/249094.249108},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@Misc{gdb07,
    author = {GDB},
    title = {GBD and Reverse Debugging},
    howpublished = {http://sourceware.org/gdb/news/reversible.html},
    year = 2007
    }

@book{RRS02,
    author = "R. Stallman, R. Pesch, and S. Shebs",
    title = "Debugging with GDB - The GNU Source-Level Debugger",
    year = 2002,
    month = {},
    edition = {},
    publisher = "Free Software Foundation",
    }

@book{Stall02,
    author = "R. Stallman",
    title = "Debugging with GDB -- The GNU Source Level Debugger",
    year = 1994,
    month = {January},
    edition = {4.12},
    publisher = "Free Software Foundation",
    }

@inproceedings{DBLP:conf/usenix/Linton90,
  author    = {Mark A. Linton},
  title     = {The Evolution of Dbx},
  booktitle = {USENIX Summer},
  year      = {1990},
  pages     = {211-220},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

%13/02/2008
@inproceedings{802557,
 author = {Mark Weiser},
 title = {Program slicing},
 booktitle = {ICSE '81: Proceedings of the 5th international conference on Software engineering},
 year = {1981},
 isbn = {0-89791-146-6},
 pages = {439--449},
 location = {San Diego, California, United States},
 publisher = {IEEE Press},
 address = {Piscataway, NJ, USA},
 }

 @article{ gallagher91using,
    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",
    publisher = "IEEE Computer Society",
    address = "Washington, DC",
    pages = "751--761",
    year = "1991",
    url = "citeseer.ist.psu.edu/gallagher91using.html" }

@misc{ binkley-animated,
  author = "David Binkley and Mark Harman and Jens Krinke",
  title = "Animated Visualisation of Static Analysis: Characterising, Explaining and
    Exploiting the Approximate Nature of Static Analysis",
  url = "citeseer.ist.psu.edu/754774.html" }

  @inproceedings{1174114,
 author = {Dennis Strein and Hans Kratz and Welf Lowe},
 title = {Cross-Language Program Analysis and Refactoring},
 booktitle = {SCAM '06: Proceedings of the Sixth IEEE International Workshop on Source Code Analysis and Manipulation},
 year = {2006},
 isbn = {0-7695-2353-6},
 pages = {207--216},
 doi = {http://dx.doi.org/10.1109/SCAM.2006.10},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }

 @inproceedings{1174132,
 author = {Magiel Bruntink},
 title = {Linking Analysis and Transformation Tools with Source-Based Mappings},
 booktitle = {SCAM '06: Proceedings of the Sixth IEEE International Workshop on Source Code Analysis and Manipulation},
 year = {2006},
 isbn = {0-7695-2353-6},
 pages = {107--116},
 doi = {http://dx.doi.org/10.1109/SCAM.2006.18},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }

 @article{10.1109/CGO.2006.32,
author = {Jeremy Lau and Erez Perelman and Brad Calder},
title = {Selecting Software Phase Markers with Code Structure Analysis},
journal = {cgo},
volume = {0},
year = {2006},
isbn = {0-7695-2499-0},
pages = {135-146},
doi = {http://doi.ieeecomputersociety.org/10.1109/CGO.2006.32},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}

@inproceedings{1174125,
 author = {Kai Pan and Sunghun Kim and E. James Whitehead, Jr.},
 title = {Bug Classification Using Program Slicing Metrics},
 booktitle = {SCAM '06: Proceedings of the Sixth IEEE International Workshop on Source Code Analysis and Manipulation},
 year = {2006},
 isbn = {0-7695-2353-6},
 pages = {31--42},
 doi = {http://dx.doi.org/10.1109/SCAM.2006.6},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }

 @article{10.1109/APSEC.2000.896710,
author = {A. Cox and C. Clarke},
title = {A comparative evaluation of techniques for syntactic level source code analysis},
journal = {apsec},
volume = {0},
year = {2000},
issn = {1530-1362},
pages = {282},
doi = {http://doi.ieeecomputersociety.org/10.1109/APSEC.2000.896710},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}

@inproceedings{1174124,
 author = {Arpad Beszedes and Tamas Gergely and Tibor Gyimothy},
 title = {Graph-Less Dynamic Dependence-Based Dynamic Slicing Algorithms},
 booktitle = {SCAM '06: Proceedings of the Sixth IEEE International Workshop on Source Code Analysis and Manipulation},
 year = {2006},
 isbn = {0-7695-2353-6},
 pages = {21--30},
 doi = {http://dx.doi.org/10.1109/SCAM.2006.17},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }

 @inproceedings{ necula97:proof-carrying-code,
  author =       {George C. Necula},
  title =        {Proof-Carrying Code},
  booktitle =    {Proceedings of the 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Langauges (POPL '97)},
  month =        Jan,
  address =      {Paris},
  pages =        {106--119},
  year =         1997,
  url = "citeseer.ist.psu.edu/necula96proofcarrying.html",
  url = "citeseer.nj.nec.com/50371.html" }

@inproceedings{DBLP:conf/ifip1-7/BartheRS05,
  author    = {Gilles Barthe and
               Tamara Rezk and
               Ando Saabas},
  title     = {Proof Obligations Preserving Compilation},
  booktitle = {Formal Aspects in Security and Trust},
  year      = {2005},
  pages     = {112-126},
  ee        = {http://dx.doi.org/10.1007/11679219_9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{ katsumata01proofdirected,
    author = "Shin-ya Katsumata and Atsushi Ohori",
    title = "Proof-Directed De-compilation of Low-Level Code",
    journal = "Lecture Notes in Computer Science",
    volume = "2028",
    pages = "352--366",
    year = "2001",
    url = "citeseer.ist.psu.edu/katsumata01proofdirected.html" }

@InProceedings{MS93,
  author =   {S. Mukherjea and J. T. Stasko},
  title =    {Applying Algorithm Animation Techniques for Program Tracing, Debugging, and Understanding},
  booktitle =    {15th International Conference on Software Engineering},
  OPTcrossref =  {},
  OPTkey =   {},
  pages =    {456-465},
  year =     {1993},
  OPTeditor =    {},
  OPTvolume =    {},
  OPTnumber =    {},
  OPTseries =    {},
  address =      {Baltimore},
  month =    {May},
  OPTorganization = {},
  OPTpublisher = {},
  OPTnote =      {},
  OPTannote =    {}
}

@INPROCEEDINGS{ANSVMSSC,
    author = "Michael J. Pacione and M. Roper and M. Wood",
    title = "A Novel Software Visualisation Model to Support Software Comprehension",
    booktitle = "Proceedings of the 11th Working Conference on Reverse Engineering (WCRE 2004)",
    year = "2004",
    pages = "70-79",
    address = "Delft, Netherlands",
    month = "November",
    issn = "0-7695-2243-2",
    url = "http://swerl.tudelft.nl/wcre2004/index.php?topic=techpapers",
}

@article{Bro83,
    title       = "Towards a Theory of the Comprehension of Computer Programs",
    author      = "Ruven Brooks",
    journal     = "Int'l J. Man-Machine Studies",
    volume      = {18},
    number      = {},
    pages       = "543 - 554",
    month       = "",
    year        = 1983,
    annote      = "",
}

@inproceedings{Penn87b,
    author = {N. Pennington},
    title = {Comprehension Strategies in Programming},
    booktitle = {Second Workshop Empirical Studies of Programmers},
    year = {1987},
    isbn = {none},
    pages = {100-112},
    location = {Norwood. N.J.},
    publisher = {Ablex Publishing},
    address = {},
 }

@inproceedings{Stor05,
    author = {Margaret-Anne Storey},
    title = {Theories, Methods and Tools in Program Comprehension: Past,, Present and Future},
    booktitle = {13th International Workshop on Program Comprehension (IPWC'05)},
    year = {2005},
    OPTisbn = {},
    OPTpages = {},
    OPTlocation = {},
    OPTpublisher = {IEEE Press},
    OPTaddress = {},
 }

 @InProceedings{DKKL04,
    Title       = {Program Comprehension Using Aspects},
    Author      = {Ng Darren and David~R. Kaeli and Sergei Kojarski and David~H. Lorenz},
    Booktitle   = {ICSE 2004 Workshop on Directions in Software Engineering Environments (WoDiSEE'2004)},
    Address     = "Boston, MA 02115",
    Month       = may,
    Year        = 2004,
    URL         = "\url{http://www.ccs.neu.edu/home/lorenz/papers/wodisee04/}",
}

@InProceedings{KWDE98,
    Title       = {Program Comprehension in Multi-Language Systems},
    Author      = {Bernt Kullbach and Andreas Winter and Peter Dahm and Jurgen Ebert} ,
    Booktitle   = {Conference on Software Maintenance and Reengineering (WCRE'98)},
    Address     = "Florence, Italy",
    Month       = "March",
    Year        = 1998,
    annote      = "Germany - técnicas de compreensão de programas",
}

@InProceedings{IMM01,
    author = "Jonathan I. Maletic and Andrian Marcus",
    title = "Supporting Program Comprehension using Semantic and Structural Information",
    booktitle = "16th IEEE International Conference on Automated Software Engineering (ASE2001)",
    year = "2001",
    pages = "107-114",
    publisher = "IEEE",
    address = "San Diego - USA",
    month = "November",
    annote = "USA",
}

@book{532764,
 author = {Norman E. Fenton},
 title = {Software Metrics: A Rigorous Approach},
 year = {1991},
 isbn = {0442313551},
 publisher = {Chapman \& Hall, Ltd.},
 address = {London, UK, UK},
 }

 @article{10.1109/2.303623,
author = {Don Coleman and Dan Ash and Bruce Lowther and Paul Oman},
title = {Using Metrics to Evaluate Software System Maintainability},
journal = {Computer},
volume = {27},
number = {8},
year = {},
issn = {0018-9162},
pages = {44-49},
doi = {http://doi.ieeecomputersociety.org/10.1109/2.303623},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}

@inproceedings{336588,
 author = {Norman E. Fenton and Martin Neil},
 title = {Software metrics: roadmap},
 booktitle = {ICSE '00: Proceedings of the Conference on The Future of Software Engineering},
 year = {2000},
 isbn = {1-58113-253-0},
 pages = {357--370},
 location = {Limerick, Ireland},
 doi = {http://doi.acm.org/10.1145/336512.336588},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

%%%%%%%%%%%%%%%%% 2008-04-24

@article{ vandenberg01loop,
    author = "Joachim van den Berg and Bart Jacobs",
    title = "The {LOOP} Compiler for {Java} and {JML}",
    journal = "Lecture Notes in Computer Science",
    volume = "2031",
    pages = "299+",
    year = "2001",
    url = "citeseer.ist.psu.edu/vandenberg01loop.html" }

@INPROCEEDINGS{BBCGHLPR07:FMCO,
  author = {G. Barthe and L. Burdy and J. Charles and B. Gr{\'e}goire and M. Huisman and J.-L. Lanet and M. Pavlova and A. Requet},
  title = {{JACK}:  a tool for validation of security and behaviour of {Java} applications},
  booktitle = {FMCO: Proceedings of 5th International Symposium on Formal Methods for Components and Objects},
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Computer Science},
  year = {2007},
  note = {To appear},
  pdfurl = {ftp://ftp-sop.inria.fr/everest/Marieke.Huisman/fmco06.pdf},
  topics = {team}
}

@INPROCEEDINGS{BurdyHP07,
  author = {Lilian Burdy and Marieke Huisman and Mariela Pavlova},
  title = {Preliminary Design of {BML}: A Behavioral Interface Specification
Language for {Java} bytecode},
  booktitle = {Fundamental Approaches to Software Engineering (FASE 2007)},
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Computer Science},
  volume = 4422,
  pages = {215-229},
  year = 2007,
  pdfurl = {ftp://ftp-sop.inria.fr/everest/Marieke.Huisman/bml.pdf},
  topics = {team}
}

@misc{ burdy03overview,
  author = "L. Burdy and Y. Cheon and D. Cok and M. Ernst and J. Kiniry and G. Leavens
    and K. Leino and E. Poll",
  title = "An overview of JML tools and applications",
  text = "L. Burdy, Y. Cheon, D. Cok, M. Ernst, J. Kiniry, G. T. Leavens, K. R. M.
    Leino, and E. Poll, An overview of JML tools and applications, in Eighth
    International Workshop on Formal Methods for Industrial Critical Systems
    (FMICS '03), ser. Electronic Notes in Theoretical Computer Science, T. Arts
    and W. Fokkink, Eds., vol. 80. Elsevier, June 2003, pp. 73--89, available
    from jmlspecs.org.",
  year = "2003",
  url = "citeseer.ist.psu.edu/article/burdy03overview.html" }

@techreport{ leavens00preliminary,
    author = "Gary T. Leavens and Albert L. Baker and Clyde Ruby",
    title = "Preliminary Design of {JML}: {A} Behavioral Interface Specification Language for {Java}",
    number = "98-06i",
    year = "2000",
    url = "citeseer.ist.psu.edu/leavens98preliminary.html" }

@misc{ leavens02jml,
  author = "G. Leavens and E. Poll and C. Clifton and Y. Cheon and C. Ruby",
  title = "JML reference manual",
  text = "G.T. Leavens, E. Poll, C. Clifton, Y. Cheon, and C. Ruby. JML reference
    manual (draft). www.jmlspecs.org, 2002.",
  year = "2002",
  url = "citeseer.ist.psu.edu/leavens04jml.html" }

@inproceedings{ necula97proofcarrying,
    author = "George C. Necula",
    title = "Proof-Carrying Code",
    booktitle = "Conference Record of {POPL}~'97: The 24th {ACM} {SIGPLAN}-{SIGACT} Symposium on Principles of Programming Languages",
    month = "jan",
    address = "Paris, France",
    pages = "106--119",
    year = "1997",
    url = "citeseer.ist.psu.edu/article/necula97proofcarrying.html" }

@inproceedings{ flanagan.leino.ea02extended,
  AUTHOR =       "Cormac Flanagan and K. Rustan M. Leino and Mark
                  Lillibridge and Greg Nelson and James B. Saxe and
                  Raymie Stata",
  TITLE =        "Extended Static Checking for {J}ava",
  BOOKTITLE =    { Proceedings of the ACM SIGPLAN 2002 Conference on
                  Programming Language Design and Implementation
                  (PLDI'2002)},
  VOLUME =       "37",
  NUMBER =       "5",
  YEAR =         "2002",
  PAGES =        "234--245",
  MONTH =        { June },
  keywords =     {Verification Tool},
  url = {citeseer.ist.psu.edu/flanagan02extended.html} }

@techreport{ paulson93isabelle,
    author = "Lawrence C. Paulson",
    title = "The {Isabelle} Reference Manual",
    number = "283",
    year = "1993",
    url = "citeseer.ist.psu.edu/paulson95isabelle.html" }

@techreport{ shankar93tutorial,
    author = "N. Shankar and S. Owre and J. M. Rushby",
    title = "A Tutorial on Specification and Verification Using {PVS}",
    year = "1993",
    url = "citeseer.ist.psu.edu/shankar93tutorial.html" }

@misc{ dahm01byte,
  author = "M. Dahm",
  title = "Byte Code Engineering with the BCEL API",
  text = "Markus Dahm. Byte Code Engineering with the BCEL API. Technical Report
    B-17-98, Freie Universit at Berlin, Institut f ur Informatik, April 2001.",
  year = "2001",
  url = "citeseer.ist.psu.edu/dahm01byte.html" }

@inproceedings{ cohen98automatic,
    author = "Geoff Cohen and Jeff Chase and David Kaminsky",
    title = "Automatic Program Transformation with {JOIE}",
    booktitle = "1998 {USENIX} Annual Technical Symposium",
    pages = "167--178",
    year = "1998",
    url = "citeseer.ist.psu.edu/cohen98automatic.html" }

@inproceedings{ colby00proofcarrying,
    author = "Christopher Colby and Peter Lee and George C. Necula",
    title = "A Proof-Carrying Code Architecture for Java",
    booktitle = "Computer Aided Verification",
    pages = "557-560",
    year = "2000",
    url = "citeseer.ist.psu.edu/colby00proofcarrying.html" }

@MISC{RanTin-SMTLIB,
  author =   {Clark Barrett and Silvio Ranise and Aaron Stump and Cesare Tinelli},
  title =    {{The Satisfiability Modulo Theories Library (SMT-LIB)}},
  howpublished = {{\tt www.SMT-LIB.org}},
  year =     2008,
}

 @book{ANTLR,
title = {The Definitive ANTLR Reference: Building Domain-Specific Languages},
author = {Terence Parr},
edition = {First},
month = {May},
publisher = {Pragmatic Bookshelf},
series = {Pragmatic Programmers},
url = {http://www.amazon.com/Definitive-ANTLR-Reference-Domain-Specific-Programmers/dp/0978739256%3FSubscriptionId%3D13CT5CVB80YFWJEPWS02%26tag%3Dws%26linkCode%3Dxm2%26camp%3D2025%26creative%3D165953%26creativeASIN%3D0978739256},
year = {2007},
description = {Amazon.com: The Definitive ANTLR Reference: Building Domain-Specific Languages (Pragmatic Programmers): Terence Parr: Books},
asin = {0978739256}, dewey = {005.45}, ean = {9780978739256}, isbn = {0978739256},
keywords = {Thesis antlr compilers languages lexers parsers programming }
}

@book{1209320,
 author = {Terence Parr},
 title = {The Complete Antlr Reference Guide},
 year = {2007},
 isbn = {0978739256},
 publisher = {Pragmatic Bookshelf},
 }

%% 2008-05-10

@phdthesis{909356,
 author = {Mark David Weiser},
 title = {Program slices: formal, psychological, and practical investigations of an automatic program abstraction method},
 year = {1979},
 order_no = {AAI8007856},
 publisher = {University of Michigan},
 address = {Ann Arbor, MI, USA},
 }

@article{2366,
 author = {Jean-Francois Bergeretti and Bernard A. Carr\'{e}},
 title = {Information-flow and data-flow analysis of while-programs},
 journal = {ACM Trans. Program. Lang. Syst.},
 volume = {7},
 number = {1},
 year = {1985},
 issn = {0164-0925},
 pages = {37--61},
 doi = {http://doi.acm.org/10.1145/2363.2366},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@article{56386,
 author = {B. Korel and J. Laski},
 title = {Dynamic program slicing},
 journal = {Inf. Process. Lett.},
 volume = {29},
 number = {3},
 year = {1988},
 issn = {0020-0190},
 pages = {155--163},
 doi = {http://dx.doi.org/10.1016/0020-0190(88)90054-3},
 publisher = {Elsevier North-Holland, Inc.},
 address = {Amsterdam, The Netherlands, The Netherlands},
 }

@inproceedings{113455,
 author = {G. A. Venkatesh},
 title = {The semantic approach to program slicing},
 booktitle = {PLDI '91: Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation},
 year = {1991},
 isbn = {0-89791-428-7},
 pages = {107--119},
 location = {Toronto, Ontario, Canada},
 doi = {http://doi.acm.org/10.1145/113445.113455},
 publisher = {ACM},
 address = {New York, NY, USA}
 }

 @inproceedings{Jiang91,
 author = {J. Jiang and X. Zhou and and D.J. Robson},
 title = {Program slicing for C - the problems in implementation},
 booktitle = {Proceedings of Conference on Software Maintenance},
 location = {Sorrento, Italy},
 year = {1991},
 publisher = {IEEE CSPress},
 pages = {182-190}
 }

@article{952920,
 author = {Mark Harman and David Binkley and Sebastian Danicic},
 title = {Amorphous program slicing},
 journal = {J. Syst. Softw.},
 volume = {68},
 number = {1},
 year = {2003},
 issn = {0164-1212},
 pages = {45--64},
 doi = {http://dx.doi.org/10.1016/S0164-1212(02)00135-8},
 publisher = {Elsevier Science Inc.},
 address = {New York, NY, USA}
 }

@Article{hall:automatic,
  author    = {R.J. Hall},
  title     = {Automatic Extraction of Executable program subsets by
          simultaneous dynamic program slicing},
  journal   = {Automated Software Engineering},
  publisher = {Kluwer Academic Publishers},
  volume    = {2},
  year      = {1995},
  pages     = {33-53},
  note      = { An algorithm to automatically extract a correctly
          functioning subset of the code of a system is presented.
          The technique is based on computing a simultaneous dynamic
          program slice of the code for a set of representative
          inputs. Experiments show that the algorithm produces
          significantly smaller subsets than with existing methods},
  class     = {Software_Reverse_Engineering, Reverse_Design,
          Fundamental_Methods_in_Reverse_Design, Dynamic_Analysis,
          Program_Slicing}
}

@Article{canfora.cimitile.ea:conditioned,
  author    = {Gerardo Canfora and Aniello Cimitile and Andrea De Lucia},
  title     = {Conditioned Program Slicing},
  journal   = {Information and Software Technology},
  year      = {1998},
  key       = {Program Slicing},
  volume    = {40},
  number    = {11-12},
  pages     = {595-608},
  month     = {November},
  note      = {Special issue on program slicing},
  class     = {Software_Reverse_Engineering, Reverse_Design,
          Fundamental_Methods_in_Reverse_Design, Program_Slicing}
}

@article{110576,
 author = {Bogdan Korel and Janusz Laski},
 title = {Dynamic slicing of computer programs},
 journal = {J. Syst. Softw.},
 volume = {13},
 number = {3},
 year = {1990},
 issn = {0164-1212},
 pages = {187--195},
 doi = {http://dx.doi.org/10.1016/0164-1212(90)90094-3},
 publisher = {Elsevier Science Inc.},
 address = {New York, NY, USA}
 }

@inproceedings{ lucia01program,
  author = "Andrea De Lucia",
  title = "Program slicing: Methods and applications",
  text = "De Lucia, A. Program slicing: Methods and applications.",
booktitle = "First IEEE International
    Workshop on Source Code Analysis and Manipulation",
city="Florence, Italy",
month = nov,
year = 2001,
    publisher = "IEEE Computer Society Press, Los Alamitos, California, USA",
pages = "142-149",
  url = "citeseer.ist.psu.edu/delucia01program.html" }

@book{575982,
 editor = {D. Bjorner and Neil D. Jones and A. P. Ershov},
 title = {Partial Evaluation and Mixed Computation},
 booktitle = {Proceedings of the IFIP TC2 Workshop, Gammel Avernaes, Denmark},
 year = {1988},
 isbn = {0444704914},
 publisher = {Elsevier Science Inc.},
 address = {New York, NY, USA}
 }

@inproceedings{199534,
 author = {John Field and G. Ramalingam and Frank Tip},
 title = {Parametric program slicing},
 booktitle = {POPL '95: Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
 year = {1995},
 isbn = {0-89791-692-1},
 pages = {379--392},
 location = {San Francisco, California, United States},
 doi = {http://doi.acm.org/10.1145/199448.199534},
 publisher = {ACM},
 address = {New York, NY, USA}
 }

@article{360252,
 author = {James C. King},
 title = {Symbolic execution and program testing},
 journal = {Commun. ACM},
 volume = {19},
 number = {7},
 year = {1976},
 issn = {0001-0782},
 pages = {385--394},
 doi = {http://doi.acm.org/10.1145/360248.360252},
 publisher = {ACM},
 address = {New York, NY, USA}
 }

@article{56907,
 author = {P. David Coward},
 title = {Symbolic execution systems---a review},
 journal = {Softw. Eng. J.},
 volume = {3},
 number = {6},
 year = {1988},
 issn = {0268-6961},
 pages = {229--239},
 publisher = {Michael Faraday House},
 address = {Herts, UK, UK}
 }

@inproceedings{655702,
 author = {Gerardo Canfora and Aniello Cimitile and Andrea De Lucia and Giuseppe A. Di Lucca},
 title = {Software Salvaging Based on Conditions},
 booktitle = {ICSM '94: Proceedings of the International Conference on Software Maintenance},
 year = {1994},
 isbn = {0-8186-6330-8},
 pages = {424--433},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA}
 }

@inproceedings{837885,
 author = {Mark Harman and Sebastian Danicic},
 title = {Amorphous Program Slicing},
 booktitle = {WPC '97: Proceedings of the 5th International Workshop on Program Comprehension (WPC '97)},
 year = {1997},
 isbn = {0-8186-7993-X},
 pages = {70},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA}
 }

@article{261644,
 author = {Rajiv Gupta and Mary Lou Soffa and John Howard},
 title = {Hybrid slicing: integrating dynamic information with static analysis},
 journal = {ACM Trans. Softw. Eng. Methodol.},
 volume = {6},
 number = {4},
 year = {1997},
 issn = {1049-331X},
 pages = {370--397},
 doi = {http://doi.acm.org/10.1145/261640.261644},
 publisher = {ACM},
 address = {New York, NY, USA}
 }

@inproceedings{658146,
 author = {T. Y. Chen and Y. Y Cheung},
 title = {Dynamic Program Dicing},
 booktitle = {ICSM '93: Proceedings of the Conference on Software Maintenance},
 year = {1993},
 isbn = {0-8186-4600-4},
 pages = {378--385},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA}
 }

 @inproceedings{lyle86,
 author = {Jim Lyle and Mark Weiser},
 title = {Experiments on slicing-based debugging tools},
 booktitle = {Proceedings of the 1st Conference on Empirical Studies of Programming},
 year = {1986},
 pages = {187--197},
 publisher = {Ablex publishing},
 address = {Norwood, New Jersey}
 }

@inproceedings{195281,
 author = {Daniel Jackson and Eugene J. Rollins},
 title = {A new model of program dependence for reverse engineering},
 booktitle = {SIGSOFT '94: Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering},
 year = {1994},
 isbn = {0-89791-691-3},
 pages = {2--10},
 location = {New Orleans, Louisiana, United States},
 doi = {http://doi.acm.org/10.1145/193173.195281},
 publisher = {ACM},
 address = {New York, NY, USA}
 }

@phdthesis{Kamkar93,
    author = {Kamkar M.},
    title = {Interprocedural dynamic slicing with applications to debugging and testing},
    year = 1993,
    school = {Linkoping University, Sweden},
}

@article{ agrawal93debugging,
    author = "Hiralal Agrawal and Richard A. DeMillo and Eugene H. Spafford",
    title = "Debugging with Dynamic Slicing and Backtracking",
    journal = "Software - Practice and Experience",
    volume = "23",
    number = "6",
    pages = "589-616",
    year = "1993",
    url = "citeseer.ist.psu.edu/agrawal93debugging.html" }

@inproceedings{28894,
 author = {Mark Weiser and Jim Lyle},
 title = {Experiments on slicing-based debugging aids},
 booktitle = {Papers presented at the first workshop on empirical studies of programmers on Empirical studies of programmers},
 year = {1986},
 isbn = {0-89391-388-X},
 pages = {187--197},
 location = {Washington, D.C., United States},
 publisher = {Ablex Publishing Corp.},
 address = {Norwood, NJ, USA}
 }

@article{ binkley98application,
    author = "David Binkley",
    title = "The Application of Program Slicing to Regression Testing",
    journal = "Information and Software Technology",
    volume = "40",
    number = "11-12",
    pages = "583--594",
    year = "1998",
    url = "citeseer.ist.psu.edu/binkley99application.html" }

@article{ harman95using,
    author = "Mark Harman and Sebastian Danicic",
    title = "Using Program Slicing to Simplify Testing",
    journal = "Software Testing, Verification \& Reliability",
    volume = "5",
    number = "3",
    pages = "143-162",
    year = "1995",
    url = "citeseer.ist.psu.edu/100763.html" }

@inproceedings{257586,
 author = {Arun Lakhotia},
 title = {Rule-based approach to computing module cohesion},
 booktitle = {ICSE '93: Proceedings of the 15th international conference on Software Engineering},
 year = {1993},
 isbn = {0-89791-588-7},
 pages = {35--44},
 location = {Baltimore, Maryland, United States},
 publisher = {IEEE Computer Society Press},
 address = {Los Alamitos, CA, USA}
 }

@article{250751,
 author = {Aniello Cimitile and Andrea De Lucia and Malcolm Munro},
 title = {A specification driven slicing process for identifying reusable functions},
 journal = {Journal of Software Maintenance},
 volume = {8},
 number = {3},
 year = {1996},
 issn = {1040-550X},
 pages = {145--178},
 doi = {http://dx.doi.org/10.1002/(SICI)1096-908X(199605)8:3<145::AID-SMR127>3.3.CO;2-0},
 publisher = {John Wiley \& Sons, Inc.},
 address = {New York, NY, USA}
 }

@inproceedings{ deluciaunderstanding,
    author = "Andrea De Lucia and A. R. Fasolino and M. Munro",
    title = "Understanding Function Behaviors through Program Slicing",
   booktitle = {Proceedings of the 4th Workshop on Program Comprehension},
   year = {1996},
    pages = "9--18",
    url = "citeseer.ist.psu.edu/delucia96understanding.html" }

@article{10.1109/ICSM.2001.972724,
author = {Mark Harman and Rob Hierons and Chris Fox and Sebastian Danicic and John Howroyd},
title = {Pre/Post Conditioned Slicing},
journal = {icsm},
volume = {00},
year = {2001},
issn = {1063-6773},
pages = {138},
doi = {http://doi.ieeecomputersociety.org/10.1109/ICSM.2001.972724},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA}
}

@inproceedings{257682,
 author = {Jon Beck and David Eichmann},
 title = {Program and interface slicing for reverse engineering},
 booktitle = {ICSE '93: Proceedings of the 15th international conference on Software Engineering},
 year = {1993},
 isbn = {0-89791-588-7},
 pages = {509--518},
 location = {Baltimore, Maryland, United States},
 publisher = {IEEE Computer Society Press},
 address = {Los Alamitos, CA, USA}
 }

@inproceedings{853244,
 author = {Aniello Cimitile and Andrea De Lucia and Malcolm Munro},
 title = {Identifying reusable functions using specification driven program slicing: a case study},
 booktitle = {ICSM '95: Proceedings of the International Conference on Software Maintenance},
 year = {1995},
 isbn = {0-8186-7141-6},
 pages = {124},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA}
 }

@article{201056,
 author = {David Binkley and Susan Horwitz and Thomas Reps},
 title = {Program integration for languages with procedure calls},
 journal = {ACM Trans. Softw. Eng. Methodol.},
 volume = {4},
 number = {1},
 year = {1995},
 issn = {1049-331X},
 pages = {3--35},
 doi = {http://doi.acm.org/10.1145/201055.201056},
 publisher = {ACM},
 address = {New York, NY, USA}
 }

@article{65980,
 author = {Susan Horwitz and Jan Prins and Thomas Reps},
 title = {Integrating noninterfering versions of programs},
 journal = {ACM Trans. Program. Lang. Syst.},
 volume = {11},
 number = {3},
 year = {1989},
 issn = {0164-0925},
 pages = {345--387},
 doi = {http://doi.acm.org/10.1145/65979.65980},
 publisher = {ACM},
 address = {New York, NY, USA}
 }

%% 2008-05-11

@misc{ beszedes02union,
  author = "A. Beszedes and C. Farago and Z. Szabo and J. Csirik and T. Gyimothy",
  title = "Union Slices for Program Maintenance",
  text = "A. Beszedes, C. Farago, Z.M. Szabo, J. Csirik, and T. Gyimothy, Union Slices
    for Program Maintenance, International Conference on Software Maintenance,
    Montreal, Oct. 2002.",
  year = "2002",
  url = "citeseer.ist.psu.edu/article/beszedes02union.html" }

@misc{ beszedes02union2,
  author = "A. Beszedes and T. Gyimothy",
  title = "Union slices for the approximation of the precise slice",
  text = "A. Beszedes, C. Farago, Z.M. Szabo, J. Csirik, and T. Gyimothy,
  Union slices for the approximation of the precise slice,
  International Conference on Software Maintenance,
    Montreal, Oct. 2002.",
  year = "2002"}

@article{10.1109/WPC.2004.1311051,
author = {Sebastian Danicic and Andrea De Lucia and Mark Harman},
title = {Building Executable Union Slices using Conditioned Slicing},
journal = {iwpc},
volume = {00},
year = {2004},
issn = {1092-8138},
pages = {89},
doi = {http://doi.ieeecomputersociety.org/10.1109/WPC.2004.1311051},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA}
}


@article{808263,
 author = {Karl J. Ottenstein and Linda M. Ottenstein},
 title = {The program dependence graph in a software development environment},
 journal = {SIGSOFT Softw. Eng. Notes},
 volume = {9},
 number = {3},
 year = {1984},
 issn = {0163-5948},
 pages = {177--184},
 doi = {http://doi.acm.org/10.1145/390010.808263},
 publisher = {ACM},
 address = {New York, NY, USA}
 }

%% 2008-05-12

@inproceedings{ delucia03unions,
  author = "Andrea De Lucia and Mark Harman and Robert Hierons and Jens Krinke",
  title = "Unions of Slices are not Slices",
  booktitle = "Proceedings of the European Conference on Software Maintenance and Reengineering (CSMR 2003)",
year = "2003",
  url = "citeseer.ist.psu.edu/delucia03unions.html" }

@article{24041,
 author = {Jeanne Ferrante and Karl J. Ottenstein and Joe D. Warren},
 title = {The program dependence graph and its use in optimization},
 journal = {ACM Trans. Program. Lang. Syst.},
 volume = {9},
 number = {3},
 year = {1987},
 issn = {0164-0925},
 pages = {319--349},
 doi = {http://doi.acm.org/10.1145/24039.24041},
 publisher = {ACM},
 address = {New York, NY, USA}
 }

@inproceedings{horwitz88interprocedural,
    author = "Susan Horwitz and Thomas Reps and David Binkley",
    title = "Interprocedural slicing using dependence graphs",
    booktitle = "Proceedings of the {ACM} {SIGPLAN} '88 Conference on Programming Language Design and Implementation",
    journal = "SIGPLAN Notices",
    volume = "23",
    number = "7",
    month = "June",
    address = "Atlanta, GA",
    pages = "35--46",
    year = "1988",
    url = "citeseer.ist.psu.edu/horwitz90interprocedural.html" }

%% 2008-05-13

@article{1167901,
 author = {Dave Binkley and Sebastian Danicic and Tibor Gyim\'{o}thy and Mark Harman and \'{A}kos Kiss and Bogdan Korel},
 title = {Theoretical foundations of dynamic program slicing},
 journal = {Theor. Comput. Sci.},
 volume = {360},
 number = {1},
 year = {2006},
 issn = {0304-3975},
 pages = {23--41},
 doi = {http://dx.doi.org/10.1016/j.tcs.2006.01.012},
 publisher = {Elsevier Science Publishers Ltd.},
 address = {Essex, UK}
 }

@article{163945,
 author = {Mariam Kamkar and Peter Fritzson and Nahid Shahmehri},
 title = {Three approaches to interprocedural dynamic slicing},
 journal = {Microprocess. Microprogram.},
 volume = {38},
 number = {1-5},
 year = {1993},
 issn = {0165-6074},
 pages = {625--636},
 doi = {http://dx.doi.org/10.1016/0165-6074(93)90203-W},
 publisher = {Elsevier Science Publishers B. V.},
 address = {Amsterdam, The Netherlands, The Netherlands}
 }

@article{183438,
 author = {Jong-Deok Choi and Jeanne Ferrante},
 title = {Static slicing in the presence of goto statements},
 journal = {ACM Trans. Program. Lang. Syst.},
 volume = {16},
 number = {4},
 year = {1994},
 issn = {0164-0925},
 pages = {1097--1113},
 doi = {http://doi.acm.org/10.1145/183432.183438},
 publisher = {ACM},
 address = {New York, NY, USA}
 }

%% 2008-05-14

@article{binkley-formalizing,
author = {Dave Binkley and Sebastian Danicic and Tibor Gyimothy and Mark Harman and Akos Kiss and Lahcen Ouarbya},
title = {Formalizing Executable Dynamic and Forward Slicing},
journal = {scam},
volume = {00},
year = {2004},
isbn = {0-7695-2144-4},
pages = {43-52},
doi = {http://doi.ieeecomputersociety.org/10.1109/SCAM.2004.13},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}

@inproceedings{ horwitz88adequacy,
    author = "Susan Horwitz and Jan Prins and Thomas Reps",
    title = "On the Adequacy of Program Dependence Graphs for Representing Programs",
    booktitle = "Conference Record of the Fifteenth Annual {ACM} Symposium on Principles of Programming Languages",
    address = "San Diego, California",
    pages = "146--157",
    year = "1988",
    url = "citeseer.ist.psu.edu/horwitz88adequacy.html" }

@phdthesis{911996,
 author = {James Robert Lyle},
 title = {Evaluating variations on program slicing for debugging (data-flow, ada)},
 year = {1984},
 order_no = {AAI8514553},
 publisher = {University of Maryland at College Park},
 address = {College Park, MD, USA}
 }

@article{126248,
 author = {Keith Brian Gallagher and James R. Lyle},
 title = {Using Program Slicing in Software Maintenance},
 journal = {IEEE Trans. Softw. Eng.},
 volume = {17},
 number = {8},
 year = {1991},
 issn = {0098-5589},
 pages = {751--761},
 doi = {http://dx.doi.org/10.1109/32.83912},
 publisher = {IEEE Press},
 address = {Piscataway, NJ, USA}
 }

@phdthesis{100006,
 author = {Keith Brian Gallagher},
 title = {Using program slicing in software maintenance},
 year = {1990},
 order_no = {UMI Order No. GAX90-22848},
 publisher = {University of Maryland at Baltimore County},
 address = {Catonsville, MD, USA}
 }

@inproceedings{178456,
 author = {Hiralal Agrawal},
 title = {On slicing programs with jump statements},
 booktitle = {PLDI '94: Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation},
 year = {1994},
 isbn = {0-89791-662-X},
 pages = {302--312},
 location = {Orlando, Florida, United States},
 doi = {http://doi.acm.org/10.1145/178243.178456},
 publisher = {ACM},
 address = {New York, NY, USA}
 }

@inproceedings{ ball93slicing,
    author = "Thomas Ball and Susan Horwitz",
    title = "Slicing Programs with Arbitrary Control-flow",
    booktitle = "Automated and Algorithmic Debugging",
    pages = "206-222",
    year = "1993",
    url = "citeseer.ist.psu.edu/article/ball92slicing.html" }

@techreport{ ball93use,
    author = "Thomas J. Ball",
    title = "The Use of Control-flow and Control Dependence in Software Tools",
    number = "CS-TR-1993-1169",
    year = "1993",
    url = "citeseer.ist.psu.edu/ball93use.html" }

@article{305339,
 author = {Mark Harman and Sebastian Danicic},
 title = {A new Algorithm for slicing unstructured programs},
 journal = {Journal of Software Maintenance},
 volume = {10},
 number = {6},
 year = {1998},
 issn = {1040-550X},
 pages = {415--441},
 doi = {http://dx.doi.org/10.1002/(SICI)1096-908X(199811/12)10:6<415::AID-SMR180>3.0.CO;2-Z},
 publisher = {John Wiley \& Sons, Inc.},
 address = {New York, NY, USA}
 }

@inproceedings{651304,
 author = {Sumit Kumar and Susan Horwitz},
 title = {Better Slicing of Programs with Jumps and Switches},
 booktitle = {FASE '02: Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering},
 year = {2002},
 isbn = {3-540-43353-8},
 pages = {96--112},
 publisher = {Springer-Verlag},
 address = {London, UK}
 }

%% 2008-05-21
@inproceedings{hwang88,
 author = {Hwang J.C. and M.W. Du and C.R. Chou},
 title = {Finding program slices for recursive procedures},
 booktitle = {Proceedings of IEEE COMPSAC 88},
 year = {1988},
 publisher = {IEEE Computer Society},
 address = {Washington, DC}
 }

@inproceedings{ thomas94speeding,
    author = "Reps, Thomas and Horwitz, Susan and Sagiv, Mooly and Rosay, Genevieve",
    title = "Speeding up Slicing",
    booktitle = "Proceedings of the {ACM} {SIGSOFT} '94 Symposium on the Foundations of Software Engineering",
    pages = "11-20",
    year = "1994",
    url = "citeseer.ist.psu.edu/reps94speeding.html" }

@article{ reps96sequential,
    author = "Thomas W. Reps",
    title = "On the Sequential Nature of Interprocedural Program-Analysis Problems",
    journal = "Acta Informatica",
    volume = "33",
    number = "8",
    pages = "739--757",
    year = "1996",
    url = "citeseer.ist.psu.edu/reps95sequential.html" }

@article{359596,
 author = {Jeffrey M. Barth},
 title = {A practical interprocedural data flow analysis algorithm},
 journal = {Commun. ACM},
 volume = {21},
 number = {9},
 year = {1978},
 issn = {0001-0782},
 pages = {724--736},
 doi = {http://doi.acm.org/10.1145/359588.359596},
 publisher = {ACM},
 address = {New York, NY, USA}
 }

@article{DBLP:journals/ac/BinkleyG96,
  author    = {David Binkley and
               Keith Brian Gallagher},
  title     = {Program Slicing},
  journal   = {Advances in Computers},
  volume    = {43},
  year      = {1996},
  pages     = {1-50},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{DBLP:journals/loplas/Binkley93,
  author    = {David Binkley},
  title     = {Precise Executable Interprocedural Slices},
  journal   = {LOPLAS},
  volume    = {2},
  number    = {1-4},
  year      = {1993},
  pages     = {31-45},
  ee        = {http://doi.acm.org/10.1145/176454.176473},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@misc{ lakhotia92improved,
  author = "Arun Lakhotia",
  title = "Improved interprocedural slicing algorithm",
  text = "Lakhotia, A. Improved interprocedural slicing algorithm. Report CACS TR-92-5-8,
    University of Southwestern Louisiana, 1992.",
  year = "1992",
  url = "citeseer.ist.psu.edu/lakhotia92improved.html" }

@inproceedings{ clarke99program,
    author = "Edmund M. Clarke and Masahiro Fujita and Sreeranga P. Rajan and Thomas W. Reps and Subash Shankar and Tim Teitelbaum",
    title = "Program Slicing of Hardware Description Languages",
    booktitle = "Conference on Correct Hardware Design and Verification Methods",
    pages = "298-312",
    year = "1999",
    url = "citeseer.ist.psu.edu/article/clarke99program.html" }

@inproceedings{ orso01incremental,
    author = "Alessandro Orso and Saurabh Sinha and Mary Jean Harrold",
    title = "Incremental Slicing Based on Data-Dependences Types",
    booktitle = "{ICSM}",
    pages = "158-",
    year = "2001",
    url = "citeseer.ist.psu.edu/orso01incremental.html" }

@misc{ cs-efficient,
  author = "Istvan Forgács and Tibor Gyimóthy",
  title = "An Efficient Interprocedural Slicing Method for Large Programs",
  url = "citeseer.ist.psu.edu/244253.html" }

@article{ livadas94system,
    author = "Panos E. Livadas and Stephen Croll",
    title = "System Dependence Graphs Based on Parse Trees and their Use in Software Maintenance",
    journal = "Information Sciences",
    volume = "76",
    number = "3-4",
    pages = "197-232",
    year = "1994",
    url = "citeseer.ist.psu.edu/livadas94system.html" }

@article{10.1109/SCAM.2003.1238038,
author = {Akos Kiss and Judit Jasz and Gabor Lehotai and Tibor Gyimothy},
title = {Interprocedural Static Slicing of Binary Executables},
journal = {scam},
volume = {00},
year = {2003},
isbn = {0-7695-2005-7},
pages = {118},
doi = {http://doi.ieeecomputersociety.org/10.1109/SCAM.2003.1238038},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA}
}

@inproceedings{ sinha99systemdependencegraphbased,
    author = "Saurabh Sinha and Mary Jean Harrold and Gregg Rothermel",
    title = "System-Dependence-Graph-Based Slicing of Programs with Arbitrary Interprocedural Control Flow",
    booktitle = "International Conference on Software Engineering",
    pages = "432--441",
    year = "1999",
    url = "citeseer.ist.psu.edu/sinha98systemdependencegraphbased.html" }

@inproceedings{693704,
 author = {Dixie Hisley and Matthew J. Bridges and Lori L. Pollock},
 title = {Static Interprocedural Slicing of Shared Memory Parallel Programs},
 booktitle = {PDPTA '02: Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications},
 year = {2002},
 isbn = {1-892512-88-2},
 pages = {658--664},
 publisher = {CSREA Press}
 }

@book{535430,
 author = {Utpal K. Banerjee},
 title = {Dependence Analysis for Supercomputing},
 year = {1988},
 isbn = {0898382890},
 publisher = {Kluwer Academic Publishers},
 address = {Norwell, MA, USA}
 }

%% 2008-05-22

@article{143137,
 author = {William Landi and Barbara G. Ryder},
 title = {A safe approximate algorithm for interprocedural aliasing},
 journal = {SIGPLAN Not.},
 volume = {27},
 number = {7},
 year = {1992},
 issn = {0362-1340},
 pages = {235--248},
 doi = {http://doi.acm.org/10.1145/143103.143137},
 publisher = {ACM},
 address = {New York, NY, USA}
 }

@inproceedings{158639,
 author = {Jong-Deok Choi and Michael Burke and Paul Carini},
 title = {Efficient flow-sensitive interprocedural computation of pointer-induced aliases and side effects},
 booktitle = {POPL '93: Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
 year = {1993},
 isbn = {0-89791-560-7},
 pages = {232--245},
 location = {Charleston, South Carolina, United States},
 doi = {http://doi.acm.org/10.1145/158511.158639},
 publisher = {ACM},
 address = {New York, NY, USA}
 }

@inproceedings{74821,
 author = {Susan Horwitz and P. Pfeiffer and Thomas Reps},
 title = {Dependence analysis for pointer variables},
 booktitle = {PLDI '89: Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation},
 year = {1989},
 isbn = {0-89791-306-X},
 pages = {28--40},
 location = {Portland, Oregon, United States},
 doi = {http://doi.acm.org/10.1145/73141.74821},
 publisher = {ACM},
 address = {New York, NY, USA}
 }

@article{161501,
 author = {William Landi},
 title = {Undecidability of static analysis},
 journal = {ACM Lett. Program. Lang. Syst.},
 volume = {1},
 number = {4},
 year = {1992},
 issn = {1057-4514},
 pages = {323--337},
 doi = {http://doi.acm.org/10.1145/161494.161501},
 publisher = {ACM},
 address = {New York, NY, USA}
 }

@article{54004,
 author = {B. P. Miller and Jong-Deok Choi},
 title = {A mechanism for efficient debugging of parallel programs},
 journal = {SIGPLAN Not.},
 volume = {23},
 number = {7},
 year = {1988},
 issn = {0362-1340},
 pages = {135--144},
 doi = {http://doi.acm.org/10.1145/960116.54004},
 publisher = {ACM},
 address = {New York, NY, USA}
 }

@inproceedings{ agrawal90dynamic,
    author = "H. Agrawal and J. R. Horgan",
    title = "Dynamic program slicing",
    booktitle = "Proceedings of the {ACM} {SIGPLAN} '90 Conference on Programming Language Design and Implementation",
    journal = "SIGPLAN Notices",
    volume = "25",
    number = "6",
    month = "June",
    address = "White Plains, NY",
    pages = "246--256",
    year = "1990",
    url = "citeseer.ist.psu.edu/agrawal90dynamic.html" }

@inproceedings{ gopal91dynamic,
    author = "R. Gopal",
    title = "Dynamic program slicing based on dependence relations",
    booktitle = "Proceedings of the Software Maintenance'91 Conference",
    month = "October",
    address = "Sorrento, Italy",
    pages = "191--200",
    year = "1991",
    url = "ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=160329" }

%% 2008-05-23

@article{586567,
 author = {D. Goswami and R. Mall},
 title = {An efficient method for computing dynamic program slices},
 journal = {Inf. Process. Lett.},
 volume = {81},
 number = {2},
 year = {2002},
 issn = {0020-0190},
 pages = {111--117},
 doi = {http://dx.doi.org/10.1016/S0020-0190(01)00202-2},
 publisher = {Elsevier North-Holland, Inc.},
 address = {Amsterdam, The Netherlands, The Netherlands}
 }

@article{DBLP:journals/infsof/MundMS03,
  author    = {G. B. Mund and
               Rajib Mall and
               S. Sarkar},
  title     = {Computation of intraprocedural dynamic program slices},
  journal   = {Information {\&} Software Technology},
  volume    = {45},
  number    = {8},
  year      = {2003},
  pages     = {499-512},
  ee        = {http://dx.doi.org/10.1016/S0950-5849(03)00029-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@misc{ zhang04cost,
  author = "Xiangyu Zhang and Rajiv Gupta",
  title = "Cost Effective Dynamic Program Slicing",
  text = "X. Zhang and R. Gupta, Cost Effective Dynamic Program Slicing, ACM SIGPLAN
    Conference on Programming Language Design and Implementation, June 2004.",
  year = "2004",
  url = "citeseer.ist.psu.edu/zhang04cost.html" }

@inproceedings{999454,
 author = {Xiangyu Zhang and Rajiv Gupta and Youtao Zhang},
 title = {Efficient Forward Computation of Dynamic Slices Using Reduced Ordered Binary Decision Diagrams},
 booktitle = {ICSE '04: Proceedings of the 26th International Conference on Software Engineering},
 year = {2004},
 isbn = {0-7695-2163-0},
 pages = {502--511},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA}
 }

@inproceedings{692459,
 author = {Mariam Kamkar and Nahid Shahmehri and Peter Fritzson},
 title = {Interprocedural Dynamic Slicing},
 booktitle = {PLILP '92: Proceedings of the 4th International Symposium on Programming Language Implementation and Logic Programming},
 year = {1992},
 isbn = {3-540-55844-6},
 pages = {370--384},
 publisher = {Springer-Verlag},
 address = {London, UK}
 }

@inproceedings{ agrawal91dynamic,
    author = "Hiralal Agrawal and Richard A. {DeMillo} and Eugene H. Spafford",
    title = "Dynamic Slicing in the Presence of Unconstrained Pointers",
    booktitle = "Symposium on Testing, Analysis, and Verification",
    pages = "60--73",
    year = "1991",
    url = "citeseer.ist.psu.edu/article/agrawal91dynamic.html" }

@article{249587,
 author = {Bogdan Korel},
 title = {Computation of Dynamic Program Slices for Unstructured Programs},
 journal = {IEEE Trans. Softw. Eng.},
 volume = {23},
 number = {1},
 year = {1997},
 issn = {0098-5589},
 pages = {17--34},
 doi = {http://dx.doi.org/10.1109/32.581327},
 publisher = {IEEE Press},
 address = {Piscataway, NJ, USA}
 }

@article{10.1109/32.581327,
author = {Bogdan Korel},
title = {Computation of Dynamic Program Slices for Unstructured Programs},
journal = {IEEE Transactions on Software Engineering},
volume = {23},
number = {1},
year = {1997},
month = {January},
issn = {0098-5589},
pages = {17-34},
doi = {http://doi.ieeecomputersociety.org/10.1109/32.581327},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA}
}

@article{41124,
 author = {Hareton K. N. Leung and Hassan K. Reghbati},
 title = {Comments on Program Slicing},
 journal = {IEEE Trans. Softw. Eng.},
 volume = {13},
 number = {12},
 year = {1987},
 issn = {0098-5589},
 pages = {1370--1371},
 doi = {http://dx.doi.org/10.1109/TSE.1987.233147},
 publisher = {IEEE Press},
 address = {Piscataway, NJ, USA}
 }

@article{ weiser84slicing,
    author = "Mark Weiser",
    title = "Program Slicing",
    journal = "IEEE Transactions on Software Engineering",
    volume = "10",
    number = "4",
    publisher = "IEEE Computer Society",
    pages = "352--357",
    year = "1984"}

@inproceedings{huynh97,
 author = {D. Huynh and Y. Song},
 title = {Forward computation of dynamic slicing in the presence of structured jump statements},
 booktitle = {Proceedings of ISACC},
 year = {1997},
 pages = {73--81}
 }

@inproceedings{186514,
 author = {Bogdan Korel and Satish Yalamanchili},
 title = {Forward computation of dynamic program slices},
 booktitle = {ISSTA '94: Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis},
 year = {1994},
 isbn = {0-89791-683-2},
 pages = {66--79},
 location = {Seattle, Washington, United States},
 doi = {http://doi.acm.org/10.1145/186258.186514},
 publisher = {ACM},
 address = {New York, NY, USA}
 }

@article{763140,
 author = {Csaba Farag\'{o} and Tam\'{a}s Gergely},
 title = {Handling pointers and unstructured statements in the forward computed dynamic slice algorithm},
 journal = {Acta Cybern.},
 volume = {15},
 number = {4},
 year = {2002},
 issn = {0324-721X},
 pages = {489--508},
 publisher = {Acta Cybernetica},
 address = {Szeged, Hungary, Hungary}
 }

@inproceedings{lyle87slicing,
 author = {Jim Lyle and Mark Weiser},
 title = {Automatic bug location by program slicing},
 booktitle = {Proceedings of the Second International Conference on Computers and Applications},
 year = {1987},
 pages = {877--883},
 location = {Beijing, China}
 }

@inproceedings{canfora94slicing,
 author = {Gerardo Canfora and Andrea Di Luccia and Giuseppe Di Lucca and A. R. Fasolino},
 title = {Slicing large programs to isolate reusable functions},
 booktitle = {Proceedings of EUROMICRO Conference},
 year = {1994},
 pages = {140--147},
 publisher = {IEEE CS Press},
 location = {Liverpool, U.K}
 }

@article{ lanubile97extracting,
    author = "Filippo Lanubile and Giuseppe Visaggio",
    title = "Extracting Reusable Functions by Flow Graph-Based Program Slicing",
    journal = "IEEE Transactions on Software Engineering",
    volume = "23",
    number = "4",
    month = "April",
    pages = "246--259",
    year = "1997",
    url = "citeseer.ist.psu.edu/article/lanubile97extracting.html" }

@article{161498,
 author = {Peter Fritzson and Nahid Shahmehri and Mariam Kamkar and Tibor Gyimothy},
 title = {Generalized algorithmic debugging and testing},
 journal = {ACM Lett. Program. Lang. Syst.},
 volume = {1},
 number = {4},
 year = {1992},
 issn = {1057-4514},
 pages = {303--322},
 doi = {http://doi.acm.org/10.1145/161494.161498},
 publisher = {ACM},
 address = {New York, NY, USA}
 }

@inproceedings{ harman98analysis,
    author = "Mark Harman and Yoga Sivagurunathan and Sebastian Danicic",
    title = "Analysis of Dynamic Memory Access Using Amorphous Slicing",
    booktitle = "{ICSM}",
    pages = "336-",
    year = "1998",
    url = "citeseer.ist.psu.edu/harman98analysis.html" }

@misc{ sivagurunathan02slicebased,
  author = "Yoga Sivagurunathan and Mark Harman and Bala Sivagurunathan",
  title = "Slice-based dynamic memory modelling -- a case study",
  text = "Y. Sivagurunathan, M. Harman, and B. Sivagurunathan. Slice-based dynamic
    memory modelling -- a case study. In 26 Conference (COMPSAC 2002.",
  year = "2002",
  url = "citeseer.ist.psu.edu/sivagurunathan02slicebased.html" }

@article{ komondoor01using,
    author = "Raghavan Komondoor and Susan Horwitz",
    title = "Using Slicing to Identify Duplication in Source Code",
    journal = "Lecture Notes in Computer Science",
    volume = "2126",
    pages = "40--??",
    year = "2001",
    url = "citeseer.ist.psu.edu/komondoor01using.html" }

@inproceedings{ henrard98program,
    author = "Jean Henrard and Vincent Englebert and Jean-Marc Hick and Didier Roland and Jean-Luc Hainaut",
    title = "Program Understanding in Databases Reverse Engineering",
    booktitle = "Database and Expert Systems Applications",
    pages = "70-79",
    year = "1998",
    url = "citeseer.ist.psu.edu/henrard98program.html" }

@article{10.1109/WPC.1997.601269,
author = {Bogdan Korel and Jurgen Rilling},
title = {Dynamic Program Slicing in Understanding of Program Execution},
journal = {wpc},
volume = {0},
year = {1997},
issn = {1092-8138},
pages = {80},
doi = {http://doi.ieeecomputersociety.org/10.1109/WPC.1997.601269},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA}
}

%%2008-05-24

@inproceedings{ duesterwald92testing,
    author = "Evelyn Duesterwald and Rajiv Gupta and Mary Lou Soffa",
    title = "Rigorous Data Flow Testing Through Output Influences",
    booktitle = "Proceeding on Second Irvine Software Symposium",
    pages = "131--145",
    year = "1992"}

@inproceedings{ kamkar93testing,
    author = "Mariam Kamkar and Peter Fritzson and Nahid Shahmehri",
    title = "Interprocedural dynamic slicing applied to interprocedural data flow testing",
    booktitle = "Proceeding on Conference on Software Maintenance",
    pages = "386--395",
    year = "1993"}

@inproceedings{ gupta92approach,
    author = "R. Gupta and M. Harrold and Mary Lou Soffa",
    title = "An approach to regression testing using slicing",
    booktitle = "Proceedings of the International Conference on Software Maintenance~1992",
    pages = "299--308",
    year = "1992",
    url = "citeseer.ist.psu.edu/gupta92approach.html" }

@inproceedings{158694,
 author = {Samuel Bates and Susan Horwitz},
 title = {Incremental program testing using program dependence graphs},
 booktitle = {POPL '93: Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
 year = {1993},
 isbn = {0-89791-560-7},
 pages = {384--396},
 location = {Charleston, South Carolina, United States},
 doi = {http://doi.acm.org/10.1145/158511.158694},
 publisher = {ACM},
 address = {New York, NY, USA}
 }

@article{265176,
 author = {David Binkley},
 title = {Semantics Guided Regression Test Cost Reduction},
 journal = {IEEE Trans. Softw. Eng.},
 volume = {23},
 number = {8},
 year = {1997},
 issn = {0098-5589},
 pages = {498--516},
 doi = {http://dx.doi.org/10.1109/32.624306},
 publisher = {IEEE Press},
 address = {Piscataway, NJ, USA}
 }

@mastersthesis{longworth85,
 author = {H. D. Longworth},
 title = {Slice-based program metrics},
 year = {1985},
 publisher = {Michigan Technological University}
 }

@inproceedings{ ott89relationship,
    author = "Linda Ottenstein and Jeffrey J. Thuss",
    title = "The Relationship between Slices and Module Cohesion",
    booktitle = "International Conference on Software Engineering",
    pages = "198-204",
    year = "1989",
    url = "citeseer.ist.psu.edu/ott89relationship.html" }

@inproceedings{ ott92a,
    author = "Linda Ottenstein and James Bieman",
    title = "Effects of software changes on module cohesion",
    booktitle = "International Conference on Software Maintenance",
    pages = "345-353",
    year = "1992"}

@misc{ ott92using,
  author = "Linda Ottenstein",
  title = "Using slice profiles and metrics during software maintenance",
  text = "L. M. Ott, Using slice profiles and metrics during software maintenance,
    in Proc. 10th Annual Software Reliability Symp., pp. 16--23, 1992.",
  year = "1992",
  url = "citeseer.ist.psu.edu/ott92using.html" }

@misc{ ott93slice,
  author = "Linda Ottenstein and J. Thuss",
  title = "Slice based metrics for estimating cohesion",
  text = "Ott, L. M. and Thuss, J. J. (1993). Slice based metrics for estimating
    cohesion. In Proceedings of the IEEE-CS International Metrics Symposium",
  pages = "78--81.",
  year = "1993",
  url = "citeseer.ist.psu.edu/ott93slice.html" }

@mastersthesis{thuss88,
 author = {J.J. Thuss},
 title = {An Investigation into Slice Based Cohesion Metrics},
 year = {1988},
 publisher = {Michigan Technological University}
 }

@techreport{ bieman93measuring,
    author = "James M. Bieman and Linda M. Ott",
    title = "Measuring Functional Cohesion",
    number = "CS-93-109",
    month = "24~June",
    address = "Fort Collins, CO, USA",
    year = "1993",
    url = "citeseer.ist.psu.edu/article/bieman94measuring.html" }

@misc{ harman-slicebased,
  author = "Mark Harman and Margaret Okulawon and Bala Sivagurunathan and Sebastian
    Danicic",
  title = "Slice-Based Measurement of Function Coupling",
  url = "citeseer.ist.psu.edu/193197.html" }

%2008-05-25

@article{1217297,
 author = {David Binkley and Nicolas Gold and Mark Harman},
 title = {An empirical study of static program slice size},
 journal = {ACM Trans. Softw. Eng. Methodol.},
 volume = {16},
 number = {2},
 year = {2007},
 issn = {1049-331X},
 pages = {8},
 doi = {http://doi.acm.org/10.1145/1217295.1217297},
 publisher = {ACM},
 address = {New York, NY, USA}
 }

@inproceedings{ anderson01codesurfer,
  author = "Paul Anderson and Tim Teitelbaum",
  title = "Software inspection using codesurfer",
  booktitle = "Workshop on Inspection in Software Engineering",
  year="2001"}

@misc{ binkley03results,
  author = "David Binkley and Mark Harman",
  title = "Results from a large scale study of performance optimization techniques
    for source code analyses based on graph reachability algorithms",
  text = "D. W. Binkley and M. Harman. Results from a large scale study of performance
    optimization techniques for source code analyses based on graph reachability
    algorithms. In 3 rd IEEE International Workshop on Source Code Analysis
    and Manipulation, Amsterdam, Netherlands, 2003. IEEE Computer Society Press,
    Los Alamitos, California, USA.",
  year = "2003",
  url = "citeseer.ist.psu.edu/binkley03results.html" }

@misc{ jslicehome,
  author = "Tao Wang and Abhik Roychoudhury and Liang Guo",
  title = "JSlice",
  howpublished = "\url{http://jslice.sourceforge.net/}" }

@article{1330021,
 author = {Tao Wang and Abhik Roychoudhury},
 title = {Dynamic slicing on Java bytecode traces},
 journal = {ACM Trans. Program. Lang. Syst.},
 volume = {30},
 number = {2},
 year = {2008},
 issn = {0164-0925},
 pages = {1--49},
 doi = {http://doi.acm.org/10.1145/1330017.1330021},
 publisher = {ACM},
 address = {New York, NY, USA}
 }

@inproceedings{RB05facs,
  title = "Component Identification Through Program Slicing",
  author = "Nuno Rodrigues and Luis Soares Barbosa",
  booktitle = "Proc. of {FACS'05} (2nd Int. Workshop on Formal Approaches to
              Component Software)",
  editor = "Barbosa, L. S. and Liu, Z.",
  publisher = "Elect. Notes in Theor. Comp. Sci., Elsevier",
  volume = "160",
  pages     = "291--304",
  year = 2006,
  address = "UNU-IIST, Macau"
}

@misc{ haslicerhome,
  author = "Nuno Rodrigues",
  title = "HaSlicer",
  year = 2006,
  howpublished = "\url{http://labdotnet.di.uminho.pt/HaSlicer/HaSlicer.aspx}"
}

@inproceedings{319248,
 author = {Tibor Gyim\'{o}thy and \'{A}rp\'{a}d Besz\'{e}des and Ist\'{a}n Forg\'{a}cs},
 title = {An efficient relevant slicing method for debugging},
 booktitle = {ESEC/FSE-7: Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering},
 year = {1999},
 isbn = {3-540-66538-2},
 pages = {303--321},
 location = {Toulouse, France},
 doi = {http://doi.acm.org/10.1145/318773.319248},
 publisher = {Springer-Verlag},
 address = {London, UK}
 }

@misc{ codegeniehome,
  author = "Crista Lopes",
  title = "CodeGenie",
  year = "2008",
  howpublished = "\url{http://sourcerer.ics.uci.edu/codegenie/}"
}

@inproceedings{1321726,
 author = {Ot\'{a}vio Augusto Lazzarini Lemos and Sushil Krishna Bajracharya and Joel Ossher and Ricardo Santos Morla and Paulo Cesar Masiero and Pierre Baldi and Cristina Videira Lopes},
 title = {CodeGenie: using test-cases to search and reuse source code},
 booktitle = {ASE '07: Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering},
 year = {2007},
 isbn = {978-1-59593-882-4},
 pages = {525--526},
 location = {Atlanta, Georgia, USA},
 doi = {http://doi.acm.org/10.1145/1321631.1321726},
 publisher = {ACM},
 address = {New York, NY, USA}
 }

@misc{ gdbslicehome,
  author = "Arpad Beszedes",
  title = "GNU GDB Slice",
  howpublished = "\url{http://www.sed.hu/gdbslice/}" }

@misc{ lyle95unravel,
  author = "Jim Lyle and D. Wallace and J. Graham and Keith Gallagher and J. Poole and
    David Binkley",
  title = "Unravel: A CASE Tool to Assist Evaluation of High Integrity Software",
  year = "1995",
  url = "citeseer.ist.psu.edu/lyle95unravel.html" }

%% 2008-06-02

@book{ieee90,
    author = {Electrical, Institute  O.  and (ieee), Electronics  E. },
    citeulike-article-id = {485989},
    keywords = {bibtex-import},
    posted-at = {2006-01-30 15:35:50},
    priority = {2},
    title = {IEEE 90: IEEE Standard Glossary of Software Engineering Terminology},
    year = {1990}
}

@book{ pecht95,
 author = {Michael Pecht},
 title = {Product Reliability, Maintainability, and Supportability Handbook},
 year = {1995},
 isbn = {0849394570},
 publisher = {CRC Press},
 address = {New York, NY, USA}
 }

@misc{ pehrson96,
  author = "Ronald J. Pehrson",
  title = "Software Development for the Boeing 777",
  year = "1996",
  month = "January",
  url = "citeseer.ist.psu.edu/lyle95unravel.html" }

%%2008-06-17
%% code analysis

@inproceedings{1254713,
 author = {David Binkley},
 title = {Source Code Analysis: A Road Map},
 booktitle = {FOSE '07: 2007 Future of Software Engineering},
 year = {2007},
 isbn = {0-7695-2829-5},
 pages = {104--119},
 doi = {http://dx.doi.org/10.1109/FOSE.2007.27},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }

@book{33462,
 author = {Charles N. Fischer and Richard J. LeBlanc, Jr.},
 title = {Crafting a compiler},
 year = {1988},
 isbn = {0-8053-3201-4},
 publisher = {Benjamin-Cummings Publishing Co., Inc.},
 address = {Redwood City, CA, USA},
 }

@book{578789,
 author = {Alfred V. Aho and Jeffrey D. Ullman},
 title = {The theory of parsing, translation, and compiling},
 year = {1972},
 isbn = {0-13-914556-7},
 publisher = {Prentice-Hall, Inc.},
 address = {Upper Saddle River, NJ, USA},
 }

@inproceedings{177907,
 author = {Daniel Weise and Roger F. Crew and Michael Ernst and Bjarne Steensgaard},
 title = {Value dependence graphs: representation without taxation},
 booktitle = {POPL '94: Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
 year = {1994},
 isbn = {0-89791-636-0},
 pages = {297--310},
 location = {Portland, Oregon, United States},
 doi = {http://doi.acm.org/10.1145/174675.177907},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

% 2008-06-19

@article{860269,
 author = {David A. Schmidt},
 title = {Structure-preserving binary relations for program abstraction},
 book = {The essence of computation: complexity, analysis, transformation},
 year = {2002},
 isbn = {3-540-00326-6},
 pages = {245--265},
 publisher = {Springer-Verlag New York, Inc.},
 address = {New York, NY, USA},
 }

@inproceedings{143156,
 author = {Susan Horwitz and Thomas Reps},
 title = {The use of program dependence graphs in software engineering},
 booktitle = {ICSE '92: Proceedings of the 14th international conference on Software engineering},
 year = {1992},
 isbn = {0-89791-504-6},
 pages = {392--411},
 location = {Melbourne, Australia},
 doi = {http://doi.acm.org/10.1145/143062.143156},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@inproceedings{827735,
 author = {Fran\c{c}oise Balmas},
 title = {Using Dependence Graphs as a Support to Document Programs},
 booktitle = {SCAM '02: Proceedings of the Second IEEE International Workshop on Source Code Analysis and Manipulation (SCAM'02)},
 year = {2002},
 isbn = {0-7695-1793-5},
 pages = {145},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }

@inproceedings{853406,
 author = {Spiros Mancoridis and Brian S. Mitchell and Y. Chen and Emden R. Gansner},
 title = {Bunch: A Clustering Tool for the Recovery and Maintenance of Software System Structures},
 booktitle = {ICSM '99: Proceedings of the IEEE International Conference on Software Maintenance},
 year = {1999},
 isbn = {0-7695-0016-1},
 pages = {50},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }

@inproceedings{1267253,
 author = {Feng Qian and Laurie Hendren},
 title = {Towards dynamic interprocedural analysis in JVMs},
 booktitle = {VM'04: Proceedings of the 3rd conference on Virtual Machine Research And Technology Symposium},
 year = {2004},
 pages = {11--11},
 location = {San Jose, California},
 publisher = {USENIX Association},
 address = {Berkeley, CA, USA},
 }

@inproceedings{1136180,
 author = {Sokhom Pheng and Clark Verbrugge},
 title = {Dynamic Data Structure Analysis for Java Programs},
 booktitle = {ICPC '06: Proceedings of the 14th IEEE International Conference on Program Comprehension},
 year = {2006},
 isbn = {0-7695-2601-2},
 pages = {191--201},
 doi = {http://dx.doi.org/10.1109/ICPC.2006.20},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }

@techreport{897524,
 author = {Jamieson M. Cobleigh and Lori A. Clarke and Leon J. Osterweil},
 title = {FLAVER: A Finite State Verification Technique for Software Systems TITLE2:},
 year = {2001},
 source = {http://www.ncstrl.org:8900/ncstrl/servlet/search?formname=detail\&id=oai%3Ancstrlh%3Aumass_cs%3Ancstrl.umassa_cs%2F%2FUM-CS-2001-017},
 publisher = {University of Massachusetts},
 address = {Amherst, MA, USA},
 }

%% 2008-06-20

@inproceedings{336545,
 author = {Daniel Jackson and Martin Rinard},
 title = {Software analysis: a roadmap},
 booktitle = {ICSE '00: Proceedings of the Conference on The Future of Software Engineering},
 year = {2000},
 isbn = {1-58113-253-0},
 pages = {133--145},
 location = {Limerick, Ireland},
 doi = {http://doi.acm.org/10.1145/336512.336545},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@inproceedings{1174719,
 author = {Daniel Ratiu and Florian Deissenboeck},
 title = {How Programs Represent Reality (and how they don't)},
 booktitle = {WCRE '06: Proceedings of the 13th Working Conference on Reverse Engineering},
 year = {2006},
 isbn = {0-7695-2719-1},
 pages = {83--92},
 doi = {http://dx.doi.org/10.1109/WCRE.2006.32},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }

@article{514190,
 author = {Mooly Sagiv and Thomas Reps and Reinhard Wilhelm},
 title = {Parametric shape analysis via 3-valued logic},
 journal = {ACM Trans. Program. Lang. Syst.},
 volume = {24},
 number = {3},
 year = {2002},
 issn = {0164-0925},
 pages = {217--298},
 doi = {http://doi.acm.org/10.1145/514188.514190},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@inproceedings{DBLP:conf/scam/BinkleyH03,
  author    = {David Binkley and
               Mark Harman},
  title     = {Results from a Large-Scale Study of Performance Optimization
               Techniques for Source Code Analyses Based on Graph Reachability
               Algorithms},
  booktitle = {SCAM},
  year      = {2003},
  pages     = {203-},
  ee        = {http://csdl.computer.org/comp/proceedings/scam/2003/2005/00/20050203abs.htm},
  crossref  = {DBLP:conf/scam/2003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{271343,
 author = {Thomas Reps},
 title = {Program analysis via graph reachability},
 booktitle = {ILPS '97: Proceedings of the 1997 international symposium on Logic programming},
 year = {1997},
 isbn = {0-262-63180-6},
 pages = {5--19},
 location = {Port Washington, New York, United States},
 publisher = {MIT Press},
 address = {Cambridge, MA, USA},
 }

%% 2008-06-21

@inproceedings{1174114,
 author = {Dennis Strein and Hans Kratz and Welf Lowe},
 title = {Cross-Language Program Analysis and Refactoring},
 booktitle = {SCAM '06: Proceedings of the Sixth IEEE International Workshop on Source Code Analysis and Manipulation},
 year = {2006},
 isbn = {0-7695-2353-6},
 pages = {207--216},
 doi = {http://dx.doi.org/10.1109/SCAM.2006.10},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }

@article{203554,
 author = {Dan E. Tamir and Ravi Ananthakrishnan and Abraham Kandel},
 title = {A visual debugger for pure Prolog},
 journal = {Inf. Sci. Appl.},
 volume = {3},
 number = {2},
 year = {1995},
 issn = {0020-0255},
 pages = {127--147},
 publisher = {Elsevier Science Inc.},
 address = {New York, NY, USA},
 }

@inproceedings{1111560,
 author = {Thomas Reps and Gogul Balakrishnan and Junghee Lim},
 title = {Intermediate-representation recovery from low-level code},
 booktitle = {PEPM '06: Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation},
 year = {2006},
 isbn = {1-59593-196-1},
 pages = {100--111},
 location = {Charleston, South Carolina},
 doi = {http://doi.acm.org/10.1145/1111542.1111560},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@inproceedings{DBLP:conf/dagstuhl/Wall91,
  author    = {David W. Wall},
  title     = {Systems for Late Code Modification},
  booktitle = {Code Generation},
  year      = {1991},
  pages     = {275-293},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

%2008-06-22
@misc{wpds04,
  author    = {Nick Kidd and Thomas Reps and David Melski and Akash Lal},
  title     = {WPDS++: A C++ library for weighted pushdown systems},
  year      = {2004},
}

@article{1115650,
 author = {Thomas Reps and Stefan Schwoon and Somesh Jha and David Melski},
 title = {Weighted pushdown systems and their application to interprocedural dataflow analysis},
 journal = {Sci. Comput. Program.},
 volume = {58},
 number = {1-2},
 year = {2005},
 issn = {0167-6423},
 pages = {206--263},
 doi = {http://dx.doi.org/10.1016/j.scico.2005.02.009},
 publisher = {Elsevier North-Holland, Inc.},
 address = {Amsterdam, The Netherlands, The Netherlands},
 }

%% 2008-06-24
@inproceedings{978383,
 author = {Jihong Zeng and Peter A. Bloniarz},
 title = {From Keywords to Links: an Automatic Approach},
 booktitle = {ITCC '04: Proceedings of the International Conference on Information Technology: Coding and Computing (ITCC'04) Volume 2},
 year = {2004},
 isbn = {0-7695-2108-8},
 pages = {283},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }

@inproceedings{1039053,
 author = {Andrian Marcus and Andrey Sergeyev and Vaclav Rajlich and Jonathan I. Maletic},
 title = {An Information Retrieval Approach to Concept Location in Source Code},
 booktitle = {WCRE '04: Proceedings of the 11th Working Conference on Reverse Engineering},
 year = {2004},
 isbn = {0-7695-2243-2},
 pages = {214--223},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }

@article{1282816,
 author = {Ulrich G\"{u}ntzer and Rudolf M\"{u}ller and Stefan M\"{u}ller and Ralf-Dieter Schimkat},
 title = {Retrieval for decision support resources by structured models},
 journal = {Decis. Support Syst.},
 volume = {43},
 number = {4},
 year = {2007},
 issn = {0167-9236},
 pages = {1117--1132},
 doi = {http://dx.doi.org/10.1016/j.dss.2005.07.004},
 publisher = {Elsevier Science Publishers B. V.},
 address = {Amsterdam, The Netherlands, The Netherlands},
 }

@phdthesis{979268,
 author = {Andrian Marcus},
 note = {Director-Jonathan I. Maletic},
 title = {Semantic-driven program analysis},
 year = {2003},
 order_no = {AAI3100844},
 publisher = {Kent State University},
 address = {Kent, OH, USA},
 }

@article{763296,
 author = {Eric J. Stierna and Neil C. Rowe},
 title = {Applying information-retrieval methods to software reuse: a case study},
 journal = {Inf. Process. Manage.},
 volume = {39},
 number = {1},
 year = {2003},
 issn = {0306-4573},
 pages = {67--74},
 doi = {http://dx.doi.org/10.1016/S0306-4573(02)00025-0},
 publisher = {Pergamon Press, Inc.},
 address = {Tarrytown, NY, USA},
 }

@article{24636,
 author = {William B. Frakes and Brian A. Nejmeh},
 title = {Software reuse through information retrieval},
 journal = {SIGIR Forum},
 volume = {21},
 number = {1-2},
 year = {1987},
 issn = {0163-5840},
 pages = {30--36},
 doi = {http://doi.acm.org/10.1145/24634.24636},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@inproceedings{1136178,
 author = {Dawn J. Lawrie and Henry Feild and David Binkley},
 title = {Leveraged Quality Assessment using Information Retrieval Techniques},
 booktitle = {ICPC '06: Proceedings of the 14th IEEE International Conference on Program Comprehension},
 year = {2006},
 isbn = {0-7695-2601-2},
 pages = {149--158},
 doi = {http://dx.doi.org/10.1109/ICPC.2006.34},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }

@article{1064213,
 author = {Urs Hoelzle},
 title = {Google: or how I learned to love terabytes},
 journal = {SIGMETRICS Perform. Eval. Rev.},
 volume = {33},
 number = {1},
 year = {2005},
 issn = {0163-5999},
 pages = {1--1},
 doi = {http://doi.acm.org/10.1145/1071690.1064213},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@article{598363,
 author = {Uri Hanani and Bracha Shapira and Peretz Shoval},
 title = {Information Filtering: Overview of Issues, Research and Systems},
 journal = {User Modeling and User-Adapted Interaction},
 volume = {11},
 number = {3},
 year = {2001},
 issn = {0924-1868},
 pages = {203--259},
 doi = {http://dx.doi.org/10.1023/A:1011196000674},
 publisher = {Kluwer Academic Publishers},
 address = {Hingham, MA, USA},
 }

@inproceedings{1136161,
 author = {Dawn Lawrie and Christopher Morrell and Henry Feild and David Binkley},
 title = {What's in a Name? A Study of Identifiers},
 booktitle = {ICPC '06: Proceedings of the 14th IEEE International Conference on Program Comprehension},
 year = {2006},
 isbn = {0-7695-2601-2},
 pages = {3--12},
 doi = {http://dx.doi.org/10.1109/ICPC.2006.51},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }

@book{994064,
 author = {Sankar K. Pal and Pabitra Mitra},
 title = {Pattern Recognition Algorithms for Data Mining: Scalability, Knowledge Discovery, and Soft Granular Computing},
 year = {2004},
 isbn = {1584884576},
 publisher = {Chapman \& Hall, Ltd.},
 address = {London, UK, UK},
 }

@article{627802,
 author = {Hongjun Lu and Rudy Setiono and Huan Liu},
 title = {Effective Data Mining Using Neural Networks},
 journal = {IEEE Trans. on Knowl. and Data Eng.},
 volume = {8},
 number = {6},
 year = {1996},
 issn = {1041-4347},
 pages = {957--961},
 doi = {http://dx.doi.org/10.1109/69.553163},
 publisher = {IEEE Educational Activities Department},
 address = {Piscataway, NJ, USA},
 }

@article{1239079,
 author = {João Gama and Ricardo Fernandes and Ricardo Rocha},
 title = {Decision trees for mining data streams},
 journal = {Intell. Data Anal.},
 volume = {10},
 number = {1},
 year = {2006},
 issn = {1088-467X},
 pages = {23--45},
 publisher = {IOS Press},
 address = {Amsterdam, The Netherlands, The Netherlands},
 }

@article{10.1109/WPC.2004.1311063,
author = {Yiannis Kanellopoulos and Christos Tjortjis},
title = {Data Mining Source Code to Facilitate Program Comprehension: Experiments on Clustering Data Retrieved from C++ Programs},
journal = {iwpc},
volume = {00},
year = {2004},
issn = {1092-8138},
pages = {214},
doi = {http://doi.ieeecomputersociety.org/10.1109/WPC.2004.1311063},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}

@article{1094840,
 author = {Michael Martin and Benjamin Livshits and Monica S. Lam},
 title = {Finding application errors and security flaws using PQL: a program query language},
 journal = {SIGPLAN Not.},
 volume = {40},
 number = {10},
 year = {2005},
 issn = {0362-1340},
 pages = {365--383},
 doi = {http://doi.acm.org/10.1145/1103845.1094840},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@inproceedings{857057,
 author = {Dirk Heuzeroth and Thomas Holl and Gustav H\"{o}gstr\"{o}m and Welf L\"{o}we},
 title = {Automatic Design Pattern Detection},
 booktitle = {IWPC '03: Proceedings of the 11th IEEE International Workshop on Program Comprehension},
 year = {2003},
 isbn = {0-7695-1883-4},
 pages = {94},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }

%% 2008-06-25

@inproceedings{943546,
 author = {Kamran Sartipi},
 title = {Software Architecture Recovery based on Pattern Matching},
 booktitle = {ICSM '03: Proceedings of the International Conference on Software Maintenance},
 year = {2003},
 isbn = {0-7695-1905-9},
 pages = {293},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }

@inproceedings{872542,
 author = {Andrian Marcus and Jonathan I. Maletic},
 title = {Identification of High-Level Concept Clones in Source Code},
 booktitle = {ASE '01: Proceedings of the 16th IEEE international conference on Automated software engineering},
 year = {2001},
 pages = {107},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }

@inproceedings{857044,
 author = {Arun Lakhotia and Junwei Li and Andrew Walenstein and Yun Yang},
 title = {Towards a Clone Detection Benchmark Suite and Results Archive},
 booktitle = {IWPC '03: Proceedings of the 11th IEEE International Workshop on Program Comprehension},
 year = {2003},
 isbn = {0-7695-1883-4},
 pages = {285},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }

@misc{ rugaber95program,
  author = "S. Rugaber",
  title = "Program Comprehension",
  text = "Rugaber, S. Program Comprehension, in Encyclopedia of Computer Science
    and Technology, 35(20), Marcel Dekker, Inc:New York, 341-368,1995.",
  year = "1995",
  url = "citeseer.ist.psu.edu/rugaber95program.html" }

@inproceedings{113472,
 author = {Peter Fritzson and Tibor Gyimothy and Mariam Kamkar and Nahid Shahmehri},
 title = {Generalized algorithmic debugging and testing},
 booktitle = {PLDI '91: Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation},
 year = {1991},
 isbn = {0-89791-428-7},
 pages = {317--326},
 location = {Toronto, Ontario, Canada},
 doi = {http://doi.acm.org/10.1145/113445.113472},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@article{1100984,
 note = {Member-Atif M. Memon and Student Member-Qing Xie},
 title = {Studying the Fault-Detection Effectiveness of GUI Test Cases for Rapidly Evolving Software},
 journal = {IEEE Trans. Softw. Eng.},
 volume = {31},
 number = {10},
 year = {2005},
 issn = {0098-5589},
 pages = {884--896},
 doi = {http://dx.doi.org/10.1109/TSE.2005.117},
 publisher = {IEEE Press},
 address = {Piscataway, NJ, USA},
 }

@inproceedings{1254722,
 author = {Valerie Issarny and Mauro Caporuscio and Nikolaos Georgantas},
 title = {A Perspective on the Future of Middleware-based Software Engineering},
 booktitle = {FOSE '07: 2007 Future of Software Engineering},
 year = {2007},
 isbn = {0-7695-2829-5},
 pages = {244--258},
 doi = {http://dx.doi.org/10.1109/FOSE.2007.2},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }

@inproceedings{1254714,
 author = {Matthew B. Dwyer and John Hatcliff and Robby Robby and Corina S. Pasareanu and Willem Visser},
 title = {Formal Software Analysis Emerging Trends in Software Model Checking},
 booktitle = {FOSE '07: 2007 Future of Software Engineering},
 year = {2007},
 isbn = {0-7695-2829-5},
 pages = {120--136},
 doi = {http://dx.doi.org/10.1109/FOSE.2007.6},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }

@inproceedings{1254709,
 author = {Robert France and Bernhard Rumpe},
 title = {Model-driven Development of Complex Software: A Research Roadmap},
 booktitle = {FOSE '07: 2007 Future of Software Engineering},
 year = {2007},
 isbn = {0-7695-2829-5},
 pages = {37--54},
 doi = {http://dx.doi.org/10.1109/FOSE.2007.14},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }

@inproceedings{1254717,
 author = {Murray Woodside and Greg Franks and Dorina C. Petriu},
 title = {The Future of Software Performance Engineering},
 booktitle = {FOSE '07: 2007 Future of Software Engineering},
 year = {2007},
 isbn = {0-7695-2829-5},
 pages = {171--187},
 doi = {http://dx.doi.org/10.1109/FOSE.2007.32},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }

@inproceedings{336534,
 author = {Keith H. Bennett and V\'{a}clav T. Rajlich},
 title = {Software maintenance and evolution: a roadmap},
 booktitle = {ICSE '00: Proceedings of the Conference on The Future of Software Engineering},
 year = {2000},
 isbn = {1-58113-253-0},
 pages = {73--87},
 location = {Limerick, Ireland},
 doi = {http://doi.acm.org/10.1145/336512.336534},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@article{565681,
 author = {Ronald B. Finkbine, Ph.D.},
 title = {Metrics and Models in Software Quality Engineering},
 journal = {SIGSOFT Softw. Eng. Notes},
 volume = {21},
 number = {1},
 year = {1996},
 issn = {0163-5948},
 pages = {89},
 doi = {http://doi.acm.org/10.1145/381790.565681},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@inproceedings{1254728,
 author = {Gerardo CanforaHarman and Massimiliano Di Penta},
 title = {New Frontiers of Reverse Engineering},
 booktitle = {FOSE '07: 2007 Future of Software Engineering},
 year = {2007},
 isbn = {0-7695-2829-5},
 pages = {326--341},
 doi = {http://dx.doi.org/10.1109/FOSE.2007.15},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }

@proceeding{1048923,
 title = {CSMR '05: Proceedings of the Ninth European Conference on Software Maintenance and Reengineering},
 year = {2005},
 isbn = {0-7695-2304-8},
 issn = {1534-5351},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }

@article{1108817,
 author = {Sarfraz Khurshid and Yuk Lai Suen},
 title = {Generalizing symbolic execution to library classes},
 journal = {SIGSOFT Softw. Eng. Notes},
 volume = {31},
 number = {1},
 year = {2006},
 issn = {0163-5948},
 pages = {103--110},
 doi = {http://doi.acm.org/10.1145/1108768.1108817},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@inproceedings{1254712,
 author = {Antonia Bertolino},
 title = {Software Testing Research: Achievements, Challenges, Dreams},
 booktitle = {FOSE '07: 2007 Future of Software Engineering},
 year = {2007},
 isbn = {0-7695-2829-5},
 pages = {85--103},
 doi = {http://dx.doi.org/10.1109/FOSE.2007.25},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }

@inproceedings{336532,
 author = {Mary Jean Harrold},
 title = {Testing: a roadmap},
 booktitle = {ICSE '00: Proceedings of the Conference on The Future of Software Engineering},
 year = {2000},
 isbn = {1-58113-253-0},
 pages = {61--72},
 location = {Limerick, Ireland},
 doi = {http://doi.acm.org/10.1145/336512.336532},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@inproceedings{1254727,
 author = {Andreas Zeller},
 title = {The Future of Programming Environments: Integration, Synergy, and Assistance},
 booktitle = {FOSE '07: 2007 Future of Software Engineering},
 year = {2007},
 isbn = {0-7695-2829-5},
 pages = {316--325},
 doi = {http://dx.doi.org/10.1109/FOSE.2007.31},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }

@inproceedings{781153,
 author = {Bruno Blanchet and Patrick Cousot and Radhia Cousot and J\'{e}rome Feret and Laurent Mauborgne and Antoine Min\'{e} and David Monniaux and Xavier Rival},
 title = {A static analyzer for large safety-critical software},
 booktitle = {PLDI '03: Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation},
 year = {2003},
 isbn = {1-58113-662-5},
 pages = {196--207},
 location = {San Diego, California, USA},
 doi = {http://doi.acm.org/10.1145/781131.781153},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@article{1032597,
 author = {David Binkley and Mark Harman},
 title = {Analysis and Visualization of Predicate Dependence on Formal Parameters and Global Variables},
 journal = {IEEE Trans. Softw. Eng.},
 volume = {30},
 number = {11},
 year = {2004},
 issn = {0098-5589},
 pages = {715--735},
 doi = {http://dx.doi.org/10.1109/TSE.2004.78},
 publisher = {IEEE Press},
 address = {Piscataway, NJ, USA},
 }

@inproceedings{885144,
 author = {J. Rilling and S. P. Mudur},
 title = {On the Use of Metaballs to Visually Map Source Code Structures and Analysis Results onto 3D Space},
 booktitle = {WCRE '02: Proceedings of the Ninth Working Conference on Reverse Engineering (WCRE'02)},
 year = {2002},
 pages = {299},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }

@inproceedings{ ball94visualizing,
    author = "Thomas Ball and Stephen G. Eick",
    title = "Visualizing Program Slices",
    booktitle = "Visual Languages",
    pages = "288-295",
    year = "1994",
    url = "citeseer.ist.psu.edu/ball94visualizing.html" }

@inproceedings{1174126,
 author = {David Binkley and Mark Harman and Jens Krinke},
 title = {Characterising, Explaining, and Exploiting the Approximate Nature of Static Analysis through Animation},
 booktitle = {SCAM '06: Proceedings of the Sixth IEEE International Workshop on Source Code Analysis and Manipulation},
 year = {2006},
 isbn = {0-7695-2353-6},
 pages = {43--52},
 doi = {http://dx.doi.org/10.1109/SCAM.2006.7},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }

@inproceedings{1254719,
 author = {Mehdi Jazayeri},
 title = {Some Trends in Web Application Development},
 booktitle = {FOSE '07: 2007 Future of Software Engineering},
 year = {2007},
 isbn = {0-7695-2829-5},
 pages = {199--213},
 doi = {http://dx.doi.org/10.1109/FOSE.2007.26},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }

@inproceedings{webapp08,
 author = {Rúben Fonseca and Daniela da Cruz and Pedro Henriques and Maria João Varanda},
 title = {How to interconnect operational and behavioral views of web applications},
 booktitle = {ICPC '08: IEEE International Conference on Program Comprehension},
 year = {2008},
 isbn = {},
 pages = {},
 doi = {},
 publisher = {IEEE Computer Society},
 address = {Amsterdam, The Netherlands},
 }

@inproceedings{DBLP:conf/lopstr/Silva06,
  author    = {Josep Silva},
  title     = {A Comparative Study of Algorithmic Debugging Strategies},
  booktitle = {LOPSTR},
  year      = {2006},
  pages     = {143-159},
  ee        = {http://dx.doi.org/10.1007/978-3-540-71410-1_11},
  crossref  = {DBLP:conf/lopstr/2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{621835,
 author = {Andreas Zeller},
 title = {Automated Debugging: Are We Close},
 journal = {Computer},
 volume = {34},
 number = {11},
 year = {2001},
 issn = {0018-9162},
 pages = {26--31},
 doi = {http://dx.doi.org/10.1109/2.963440},
 publisher = {IEEE Computer Society Press},
 address = {Los Alamitos, CA, USA},
 }

@article{1248773,
 note = {Member-Chao Liu and Member-Long Fei and Member-Xifeng Yan and Senior Member-Jiawei Han and Member-Samuel P. Midkiff},
 title = {Statistical Debugging: A Hypothesis Testing-Based Approach},
 journal = {IEEE Trans. Softw. Eng.},
 volume = {32},
 number = {10},
 year = {2006},
 issn = {0098-5589},
 pages = {831--848},
 doi = {http://dx.doi.org/10.1109/TSE.2006.105},
 publisher = {IEEE Press},
 address = {Piscataway, NJ, USA},
 }

%% 2008-06-26

@article{ tilley94programmable,
    author = "Scott R. Tilley and Kenny Wong and Margaret-Anne D. Storey and Hausi A. M{\"u}ller",
    title = "Programmable Reverse Engineering",
    journal = "International Journal of Software Engineering and Knowledge Engineering",
    volume = "4",
    number = "4",
    publisher = "World Scientific Publishing Company",
    pages = "501--520",
    year = "1994",
    url = "citeseer.ist.psu.edu/tilley94programmable.html" }

@inproceedings{ ller92reverse,
    author = "Hausi A. M{\"u}ller and Scott R. Tilley and Mehmet A. Orgun and B. D. Corrie and Nazim H. Madhavji",
    title = "A reverse engineering environment based on spatial and visual software interconnection models",
    booktitle = "{SIGSOFT}~'92: Proceedings of the Fifth {ACM} {SIGSOFT} Symposium on Software Development Environments, {\rm (Tyson's Corner, Virginia; December 9-11, 1992)}",
    pages = "88--98",
    year = "December 1992",
    url = "citeseer.ist.psu.edu/article/uller92reverse.html" }

@article{505644,
 author = {Patrick Finnigan and Richard C. Holt and Ivan Kallas and Scott Kerr and Kostas Kontogiannis and Hausi A. M\"{u}ller and John Mylopoulos and Stephen G. Perelgut and Martin Stanley and Kerny Wong},
 title = {The software bookshelf},
 book = {Advances in software engineering},
 year = {2002},
 isbn = {0-387-95109-1},
 pages = {295--339},
 publisher = {Springer-Verlag New York, Inc.},
 address = {New York, NY, USA},
 }

@inproceedings{848652,
 title = {Aiding Program Comprehension by Static and Dynamic Feature Analysis},
 booktitle = {ICSM '01: Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)},
 year = {2001},
 isbn = {0-7695-1189-9},
 pages = {602},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }

@inproceedings{655868,
 author = {Norman Wilde and Christopher Casey},
 title = {Early field experience with the Software Reconnaissance technique for program comprehension},
 booktitle = {ICSM '96: Proceedings of the 1996 International Conference on Software Maintenance},
 year = {1996},
 isbn = {0-8186-7677-9},
 pages = {312--318},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }

@article{165870,
 author = {Bernd Bruegge and Tim Gottschalk and Bin Luo},
 title = {A framework for dynamic program analyzers},
 journal = {SIGPLAN Not.},
 volume = {28},
 number = {10},
 year = {1993},
 issn = {0362-1340},
 pages = {65--82},
 doi = {http://doi.acm.org/10.1145/167962.165870},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@inproceedings{ souder01form,
    author = "Timothhy S. Souder and Spiros Mancoridis and Maher Salah",
    title = "Form: A Framework for Creating Views of Program Executions",
    booktitle = "{ICSM}",
    pages = "612-",
    year = "2001",
    url = "citeseer.ist.psu.edu/souder01form.html" }

@article{625529,
 author = {Philippe Kruchten},
 title = {The 4+1 View Model of Architecture},
 journal = {IEEE Softw.},
 volume = {12},
 number = {6},
 year = {1995},
 issn = {0740-7459},
 pages = {42--50},
 doi = {http://dx.doi.org/10.1109/52.469759},
 publisher = {IEEE Computer Society Press},
 address = {Los Alamitos, CA, USA},
 }

@article{ chen00case,
    author = "Chen and Skiena",
    title = "A Case Study in Genome-level Fragment Assembly",
    journal = "BIOINF: Bioinformatics",
    volume = "16",
    year = "2000",
    url = "citeseer.ist.psu.edu/article/chen00case.html" }

@misc{ fxcophome,
  author = "Microsoft",
  title = "FxCop",
  year = 2008,
  howpublished = "\url{http://msdn.microsoft.com/en-us/library/bb429476(VS.80).aspx}"}

@misc{ guidelines,
  author = "Microsoft",
  title = "Design Guidelines for Class Library Developers",
  year = 2008,
  howpublished = "\url{http://msdn.microsoft.com/en-us/library/czefa0ke(VS.71).aspx}"}

@misc{ johnson78lint,
  author = "Stephen Johnson",
  title = "Lint, a C Program Checker",
  text = "S. C. Johnson. Lint, a C Program Checker, Unix Programmer's Manual, AT&T
    Bell Laboratories, 1978.",
  year = "1978",
  url = "citeseer.ist.psu.edu/johnson78lint.html" }

@book{60274,
 author = {Ian F. Darwin},
 title = {Checking C programs with lint},
 year = {1986},
 isbn = {0-937175-30-7},
 publisher = {O'Reilly \& Associates, Inc.},
 address = {Sebastopol, CA, USA},
 }

@misc{ codesonar,
  author = "GramaTech",
  title = "A code-analysis tool that identifies complex bugs at compile time.",
  year = 2008,
  howpublished = "\url{http://www.grammatech.com/products/codesonar/}"}

@misc{ codesurfer,
  author = "GramaTech",
  title = "A code browser that understands pointers, indirect function calls, and whole-program effects.",
  year = 2008,
  howpublished = "\url{http://www.grammatech.com/products/codesurfer/}"}

%2008-09-11

@book{829573,
 author = {Jesse Liberty},
 editor = {Valerie Quercia},
 title = {Programming C\#},
 year = {2003},
 isbn = {0596004893},
 publisher = {O'Reilly \& Associates, Inc.},
 address = {Sebastopol, CA, USA},
 }

@book{1177227,
 author = {Joshua Eichorn},
 title = {Understanding AJAX: Using JavaScript to Create Rich Internet Applications},
 year = {2006},
 isbn = {0132216353},
 publisher = {Prentice Hall PTR},
 address = {Upper Saddle River, NJ, USA},
 }

@book{1146370,
 author = {Daniel Woolston},
 title = {Pro Ajax and the .NET 2.0 Platform (Pro)},
 year = {2006},
 isbn = {1590596706},
 publisher = {Apress},
 address = {Berkely, CA, USA}
 }

%% 2009-03-15

@inproceedings{1292319,
 author = {Janota,, Mikol\'{a}\v{s} and Grigore,, Radu and Moskal,, Michal},
 title = {Reachability analysis for annotated code},
 booktitle = {SAVCBS '07: Proceedings of the 2007 conference on Specification and verification of component-based systems},
 year = {2007},
 isbn = {978-1-59593-721-6},
 pages = {23--30},
 location = {Dubrovnik, Croatia},
 doi = {http://doi.acm.org/10.1145/1292316.1292319},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@inproceedings{729684,
 author = {Comuzzi,, Joseph J. and Hart,, Johnson M.},
 title = {Program Slicing Using Weakest Preconditions},
 booktitle = {FME '96: Proceedings of the Third International Symposium of Formal Methods Europe on Industrial Benefit and Advances in Formal Methods},
 year = {1996},
 isbn = {3-540-60973-3},
 pages = {557--575},
 publisher = {Springer-Verlag},
 address = {London, UK},
 }

@inproceedings{372784,
 author = {Chung,, I. S. and Lee,, W. K. and Yoon,, G. S. and Kwon,, Y. R.},
 title = {Program slicing based on specification},
 booktitle = {SAC '01: Proceedings of the 2001 ACM symposium on Applied computing},
 year = {2001},
 isbn = {1-58113-287-5},
 pages = {605--609},
 location = {Las Vegas, Nevada, United States},
 doi = {http://doi.acm.org/10.1145/372202.372784},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@article{77608,
 author = {Horwitz,, Susan and Reps,, Thomas and Binkley,, David},
 title = {Interprocedural slicing using dependence graphs},
 journal = {ACM Trans. Program. Lang. Syst.},
 volume = {12},
 number = {1},
 year = {1990},
 issn = {0164-0925},
 pages = {26--60},
 doi = {http://doi.acm.org/10.1145/77606.77608},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@article{130856,
 author = {Krueger,, Charles W.},
 title = {Software reuse},
 journal = {ACM Comput. Surv.},
 volume = {24},
 number = {2},
 year = {1992},
 issn = {0360-0300},
 pages = {131--183},
 doi = {http://doi.acm.org/10.1145/130844.130856},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@TechReport{PintoJS:vercslip,
    author = {Maria Jo{\~a}o Frade and Jorge Sousa Pinto},
    title = {Verification Conditions for Source-level Imperative Programs},
    institution = {Universidade do Minho},
    year = {2008},  OPTkey = {},
    OPTtype = {},
    number = {DI-CCTC-08-01},
    OPTaddress = {},
    OPTmonth = {},
    OPTnote = {},
    OPTannote = {} }

@article{619797,
 author = {Meyer,, Bertrand},
 title = {Applying "Design by Contract"},
 journal = {Computer},
 volume = {25},
 number = {10},
 year = {1992},
 issn = {0018-9162},
 pages = {40--51},
 doi = {http://dx.doi.org/10.1109/2.161279},
 publisher = {IEEE Computer Society Press},
 address = {Los Alamitos, CA, USA},
 }

 @incollection{citeulike:2868751,
    abstract = {We present the Why/Krakatoa/Caduceus set of tools for deductive verification of Java and C source code.},
    author = {Filli\^{a}tre, Jean-Christophe   and March\'{e}, Claude  },
    citeulike-article-id = {2868751},
    doi = {10.1007/978-3-540-73368-3\_21},
    journal = {Computer Aided Verification},
    keywords = {c-language, caduceus, formal-verification, program-analysis, wp},
    pages = {173--177},
    posted-at = {2008-06-06 09:05:30},
    priority = {2},
    title = {The Why/Krakatoa/Caduceus Platform for Deductive Program Verification},
    url = {http://dx.doi.org/10.1007/978-3-540-73368-3\_21},
    year = {2007}
}

@INPROCEEDINGS{spec09Barnett,
  AUTHOR =       {Mike Barnett and K. Rustan and M. Leino and Wolfram Schulte},
  TITLE =        {The {S}pec\# programming system: An overview.},
  BOOKTITLE =    {CASSIS : construction and analysis of safe, secure, and interoperable smart devices},
  YEAR =         {2004},
  editor =       {},
  volume =       {3362},
  number =       {},
  series =       {},
  pages =        {49-69},
  address =      {},
  month =        {March},
  organization = {},
  publisher =    {Springer, Berlin, ALLEMAGNE},
  note =         {},
  abstract =     {},
  keywords =     {},
}

@misc{ burdy03overview,
  author = "L. Burdy and Y. Cheon and D. Cok and M. Ernst and J. Kiniry and G. Leavens
    and K. Leino and E. Poll",
  title = {An overview of {JML} tools and applications},
  text = "L. Burdy, Y. Cheon, D. Cok, M. Ernst, J. Kiniry, G. T. Leavens, K. R. M.
    Leino, and E. Poll, An overview of {JML} tools and applications, in Eighth
    International Workshop on Formal Methods for Industrial Critical Systems
    (FMICS '03), ser. Electronic Notes in Theoretical Computer Science, T. Arts
    and W. Fokkink, Eds., vol. 80. Elsevier, June 2003, pp. 73--89, available
    from jmlspecs.org.",
  year = "2003",
  url = "citeseer.ist.psu.edu/burdy03overview.html" }

@manual{acsl,
	author = {Baudin, Patrick   and Filli\^{a}tre, Jean  C.
and Hubert, Thierry   and March\'{e}, Claude   and Monate,
Benjamin   and Moy, Yannick   and Prevosto, Virgile  },
	citeulike-article-id = {2865702},
	edition = {preliminary},
	keywords = {acsl, frama-c},
	month = {May},
	posted-at = {2008-06-05 15:36:55},
	priority = {0},
	title = {ACSL: ANSI C Specification Language (preliminary
design V1.2)},
	url = {http://www.frama-c.cea.fr/acsl.html},
	year = {2008} }

@article{HoareCAR:axibcp,
 author         = {C. A. R. Hoare},
 title          = {An Axiomatic Basis For Computer Programming},
 journal        = {Communications of the ACM},
 year           = 1969,
 pages          = {576--580},
 volume         = 12}

@book{DijkstraEW:disp,
 author         = {E. W. Dijkstra},
 title          = {A Discipline of Programming},
 publisher      = {Prentice-Hall},
 year           = 1976,
 address        = {Englewood Cliffs, New Jersey}}

@article{1066102,
 author = {Detlefs,, David and Nelson,, Greg and Saxe,, James B.},
 title = {Simplify: a theorem prover for program checking},
 journal = {J. ACM},
 volume = {52},
 number = {3},
 year = {2005},
 issn = {0004-5411},
 pages = {365--473},
 doi = {http://doi.acm.org/10.1145/1066100.1066102},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@article{1050865,
 author = {Xu,, Baowen and Qian,, Ju and Zhang,, Xiaofang and Wu,, Zhongqiang and Chen,, Lin},
 title = {A brief survey of program slicing},
 journal = {SIGSOFT Softw. Eng. Notes},
 volume = {30},
 number = {2},
 year = {2005},
 issn = {0163-5948},
 pages = {1--36},
 doi = {http://doi.acm.org/10.1145/1050849.1050865},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

 @inproceedings{837074,
 author = {Jeffrey Korn and Yih-Farn Chen and Eleftherios Koutsofios},
 title = {Chava: Reverse Engineering and Tracking of Java Applets},
 booktitle = {WCRE '99: Proceedings of the Sixth Working Conference on Reverse Engineering},
 year = {1999},
 isbn = {0-7695-0303-9},
 pages = {314},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }

 @article{373632,
 author = {Tarja Syst\"{a} and Kai Koskimies and Hausi M\"{u}ller},
 title = {Shimba\ - an environment for reverse engineering Java software systems},
 journal = {Softw. Pract. Exper.},
 volume = {31},
 number = {4},
 year = {2001},
 issn = {0038-0644},
 pages = {371--394},
 doi = {http://dx.doi.org/10.1002/spe.386},
 publisher = {John Wiley \& Sons, Inc.},
 address = {New York, NY, USA},
 }

@inproceedings{55832,
 author = {H. A. M\"{u}ller and K. Klashinsky},
 title = {Rigi-A system for programming-in-the-large},
 booktitle = {ICSE '88: Proceedings of the 10th international conference on Software engineering},
 year = {1988},
 isbn = {0-89791-258-6},
 pages = {80--86},
 location = {Singapore},
 publisher = {IEEE Computer Society Press},
 address = {Los Alamitos, CA, USA},
 }

@inproceedings{951350,
 author = {Atif Memon and Ishan Banerjee and Adithya Nagarajan},
 title = {GUI Ripping: Reverse Engineering of Graphical User Interfaces for Testing},
 booktitle = {WCRE '03: Proceedings of the 10th Working Conference on Reverse Engineering},
 year = {2003},
 isbn = {0-7695-2027-8},
 pages = {260},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }

@inproceedings{820839,
 author = {J. Chen and S. Subramaniam},
 title = {A GUI Environment to Manipulate FSMs for Testing GUI-based Applications in Java},
 booktitle = {HICSS '01: Proceedings of the 34th Annual Hawaii International Conference on System Sciences ( HICSS-34)-Volume 9},
 year = {2001},
 isbn = {0-7695-0981-9},
 pages = {9061},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }

@INPROCEEDINGS{Leijen:wxhaskell,
  author    = {Daan Leijen},
  title     = {{wxHaskell} -- A portable and concise {GUI} library for {Haskell}},
  booktitle = {{ACM SIGPLAN} {Haskell} Workshop ({HW'04})},
  year      = 2004,
  month     = sep,
  publisher = {ACM Press},
  location  = {Snowbird, Utah}
}

@misc{ ammel03strategic,
  author = "R.~L{\"a}mmel and E. Visser and J. Visser",
  title = "Strategic Programming Meets Adaptive Programming",
  text = "R. Lammel, E. Visser, and J. Visser. Strategic Programming Meets Adaptive
    Programming. In Proceedings of Aspect-Oriented Software Development (AOSD'03),
  pages 168-- 177, Boston, USA, March 2003. ACM Press.",
  year = "2003",
  url = "citeseer.ist.psu.edu/ammel03strategic.html"
  }

@article{289425,
 author = {Eelco Visser and Zine-el-Abidine Benaissa and Andrew Tolmach},
 title = {Building program optimizers with rewriting strategies},
 journal = {SIGPLAN Not.},
 volume = {34},
 number = {1},
 year = {1999},
 issn = {0362-1340},
 pages = {13--26},
 doi = {http://doi.acm.org/10.1145/291251.289425},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@unpublished{LVV02,
   author = "Ralf L{\"a}mmel and Eelco Visser and Joost Visser",
   title = "{The Essence of Strategic Programming}",
   year = 2002,
   month = oct # 15,
   note = "18 p.; Draft; Available at \url{http://www.cwi.nl/~ralf}"
}

@inproceedings{LV02-PADL,
 author      = "R.~L{\"a}mmel and J.~Visser",
 title       = "{Typed Combinators for Generic Traversal}",
 booktitle   = "{Proc.\ Practical Aspects of Declarative Programming PADL 2002}",
 publisher   = "Springer-Verlag",
 series      = "LNCS",
 volume      = "2257",
 year        = 2002,
 month       = jan,
 pages       = "137--154"
}

@inproceedings{LV03-PADL,
 author      = "R.~L{\"a}mmel and J.~Visser",
 title       = "{A Strafunski Application Letter}",
 booktitle   = "{Proc.\ of Practical Aspects of Declarative Programming
                 (PADL'03)}",
 editor      = "V.~Dahl and P.~Wadler",
 publisher   = "Springer-Verlag",
 series      = "LNCS",
 volume      = "2562",
 year        = 2003,
 month       = jan,
 pages       = "357--375",
}

@article{130699,
 author = {Paul Hudak and Simon Peyton Jones and Philip Wadler and Brian Boutel and Jon Fairbairn and Joseph Fasel and Mar\'{\i}a M. Guzm\'{a}n and Kevin Hammond and John Hughes and Thomas Johnsson and Dick Kieburtz and Rishiyur Nikhil and Will Partain and John Peterson},
 title = {Report on the programming language Haskell: a non-strict, purely functional language version 1.2},
 journal = {SIGPLAN Not.},
 volume = {27},
 number = {5},
 year = {1992},
 issn = {0362-1340},
 pages = {1--164},
 doi = {http://doi.acm.org/10.1145/130697.130699},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@ARTICLE{Gram09,
  AUTHOR =       {GrammaTech},
  TITLE =        {Dependence Graphs and Program Slicing},
  YEAR =         {2009},
}

@book{1076328,
 author = {Zukowski,, John},
 title = {The Definitive Guide to Java Swing, Third Edition (Definitive Guide)},
 year = {2005},
 isbn = {1590594479},
 publisher = {Apress},
 address = {Berkely, CA, USA},
 }

@book{984183,
 author = {Walrath,, Kathy and Campione,, Mary and Huml,, Alison and Zakhour,, Sharon},
 title = {The JFC Swing Tutorial: A Guide to Constructing GUIs, Second Edition},
 year = {2004},
 isbn = {0201914670},
 publisher = {Addison Wesley Longman Publishing Co., Inc.},
 address = {Redwood City, CA, USA},
 }

@article{1046821,
 author = {Balmas F.},
 title = {Displaying dependence graphs: a hierarchical approach},
 journal = {J. Softw. Maint. Evol.},
 volume = {16},
 number = {3},
 year = {2004},
 issn = {1532-060X},
 pages = {151--185},
 doi = {http://dx.doi.org/10.1002/smr.291},
 publisher = {John Wiley \& Sons, Inc.},
 address = {New York, NY, USA},
 }

@inproceedings{1273494,
 author = {Wang Tao and Abhik Roychoudhury},
 title = {Hierarchical dynamic slicing},
 booktitle = {ISSTA '07: Proceedings of the 2007 international symposium on Software testing and analysis},
 year = {2007},
 isbn = {978-1-59593-734-6},
 pages = {228--238},
 location = {London, United Kingdom},
 doi = {http://doi.acm.org/10.1145/1273463.1273494},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@inproceedings{853304,
 author = {Hutchins,, Matthew and Gallagher,, Keith},
 title = {Improving Visual Impact Analysis},
 booktitle = {ICSM '98: Proceedings of the International Conference on Software Maintenance},
 year = {1998},
 isbn = {0-8186-8779-7},
 pages = {294},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }

@InProceedings{Gallagher+OBrien+1997a,
  author =       {Keith Gallagher and Liam O'Brien},
  title =        {Reducing Visualization Complexity using Decomposition Slices},
  pages =        {113--118},
  booktitle =    {Proc. Software Visualisation Work.},
  location =     {Adelaide, Australia},
  month =        {11--12~} # dec,
  year =         {1997},
  publisher =    {Department of Computer Science, Flinders University},
  address =      {Adelaide, Australia},
  ISBN =         {0-72580-630-3},
}

@inproceedings{1021412,
 author = {Krinke,, Jens},
 title = {Visualization of Program Dependence and Slices},
 booktitle = {ICSM '04: Proceedings of the 20th IEEE International Conference on Software Maintenance},
 year = {2004},
 isbn = {0-7695-2213-0},
 pages = {168--177},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }

@article{1050865,
 author = {Xu,, Baowen and Qian,, Ju and Zhang,, Xiaofang and Wu,, Zhongqiang and Chen,, Lin},
 title = {A brief survey of program slicing},
 journal = {SIGSOFT Softw. Eng. Notes},
 volume = {30},
 number = {2},
 year = {2005},
 issn = {0163-5948},
 pages = {1--36},
 doi = {http://doi.acm.org/10.1145/1050849.1050865},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@inproceedings{DBLP:conf/vl/BallE94,
  author    = {Thomas Ball and
               Stephen G. Eick},
  title     = {Visualizing Program Slices},
  booktitle = {VL},
  year      = {1994},
  pages     = {288-295},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{1046821,
 author = {Balmas,, F.},
 title = {Displaying dependence graphs: a hierarchical approach},
 journal = {J. Softw. Maint. Evol.},
 volume = {16},
 number = {3},
 year = {2004},
 issn = {1532-060X},
 pages = {151--185},
 doi = {http://dx.doi.org/10.1002/smr.291},
 publisher = {John Wiley \& Sons, Inc.},
 address = {New York, NY, USA},
 }

@inproceedings{655858,
 author = {Gallagher,, Keith},
 title = {Visual Impact Analysis},
 booktitle = {ICSM '96: Proceedings of the 1996 International Conference on Software Maintenance},
 year = {1996},
 isbn = {0-8186-7677-9},
 pages = {52--58},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }

@inproceedings{730947,
 author = {Sander,, Georg},
 title = {Graph Layout through the VCG Tool},
 booktitle = {GD '94: Proceedings of the DIMACS International Workshop on Graph Drawing},
 year = {1995},
 isbn = {3-540-58950-3},
 pages = {194--205},
 publisher = {Springer-Verlag},
 address = {London, UK},
 }

@inproceedings{656027,
 author = {Antoniol,, Giuliano and Fiutem,, Roberto and Lutteri,, G. and Tonella,, Paolo and Zanfei,, S. and Merlo,, Ettore},
 title = {Program Understanding and Maintenance with the CANTO Environment},
 booktitle = {ICSM '97: Proceedings of the International Conference on Software Maintenance},
 year = {1997},
 isbn = {0-8186-8013-X},
 pages = {72},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }

@inproceedings{195281,
 author = {Jackson,, Daniel and Rollins,, Eugene J.},
 title = {A new model of program dependences for reverse engineering},
 booktitle = {SIGSOFT '94: Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering},
 year = {1994},
 isbn = {0-89791-691-3},
 pages = {2--10},
 location = {New Orleans, Louisiana, United States},
 doi = {http://doi.acm.org/10.1145/193173.195281},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@inproceedings{143759,
 author = {Richardson,, Debra J. and O'Malley,, T. Owen and Moore,, Cynthia Tittle and Aha,, Stephanie Leif},
 title = {Developing and integrating ProDAG in the Arcadia environment},
 booktitle = {SDE 5: Proceedings of the fifth ACM SIGSOFT symposium on Software development environments},
 year = {1992},
 isbn = {0-89791-554-2},
 pages = {109--119},
 location = {Tyson's Corner, Virginia, United States},
 doi = {http://doi.acm.org/10.1145/142868.143759},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@inproceedings{881283,
 title = {Program Slice Browser},
 booktitle = {IWPC '01: Proceedings of the 9th International Workshop on Program Comprehension},
 year = {2001},
 pages = {50},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }
@misc{CPH09,
  AUTHOR =       {Daniela da Cruz and Jorge Sousa Pinto and Pedro Rangel Henriques},
  TITLE =        {Slicing Annotated Programs},
  INSTITUTION =  {Universidade do Minho},
  YEAR =         {2009},
  month =        {March},
  howpublished = {\url{http://alfa.di.uminho.pt/~danieladacruz/techReportCPH09.pdf}},
}

%%2009-04-21
@article{626359,
 author = {David Evans and David Larochelle},
 title = {Improving Security Using Extensible Lightweight Static Analysis},
 journal = {IEEE Softw.},
 volume = {19},
 number = {1},
 year = {2002},
 issn = {0740-7459},
 pages = {42--51},
 doi = {http://dx.doi.org/10.1109/52.976940},
 publisher = {IEEE Computer Society Press},
 address = {Los Alamitos, CA, USA},
 }

@inproceedings{1251341,
 author = {David Larochelle and David Evans},
 title = {Statically detecting likely buffer overflow vulnerabilities},
 booktitle = {SSYM'01: Proceedings of the 10th conference on USENIX Security Symposium},
 year = {2001},
 pages = {14--14},
 location = {Washington, D.C.},
 publisher = {USENIX Association},
 address = {Berkeley, CA, USA}
 }

@MISC{ALS06rep,
  author =       {Ali Almossawi and Kelvin Lim and Tanmay Sinha},
  title =        {Analysis Tool Evaluation: Coverity Prevent},
  howpublished = {\url{http://www.cs.cmu.edu/~aldrich/courses/654/tools/cure-coverity-06.pdf}},
  year =         {2006},
  month =        {May}
}

@misc{ henzinger03software,
  author = "T. Henzinger and R. Jhala and R. Majumdar and G. Sutre",
  title = "Software verification with Blast",
  text = "Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, and Gregoire Sutre.
    Software verification with Blast. In Tenth International Workshop on Model
    Checking of Software (SPIN), volume 2648 of Lecture Notes in Computer Science,
    pages 235--239. Springer-Verlag, 2003.",
  year = "2003",
  url = "citeseer.ist.psu.edu/henzinger03software.html" }

@article{lazyabst02,
	abstract = {Abstract Blast is an automatic verification tool for checking temporal safety properties of C programs. Given a C program and a temporal safety property, Blast either statically proves that the program satisfies the safety property, or provides an execution path that exhibits a violation of the property (or, since the problem is undecidable, does not terminate). Blast constructs, explores, and refines abstractions of the program state space based on lazy predicate abstraction and interpolation-based predicate discovery. This paper gives an introduction to Blast and demonstrates, through two case studies, how it can be applied to program verification and test-case generation. In the first case study, we use Blast to statically prove memory safety for C programs. We use CCured, a type-based memory-safety analyzer, to annotate a program with run-time assertions that check for safe memory operations. Then, we use Blast to remove as many of the run-time checks as possible (by proving that these checks never fail), and to generate execution scenarios that violate the assertions for the remaining run-time checks. In our second case study, we use Blast to automatically generate test suites that guarantee full coverage with respect to a given predicate. Given a C program and a target predicate p, Blast determines the program locations q for which there exists a program execution that reaches q with p true, and automatically generates a set of test vectors that cause such executions. Our experiments show that Blast can provide automated, precise, and scalable analysis for C programs.},
	author = {Beyer, Dirk   and Henzinger, Thomas   and Jhala, Ranjit   and Majumdar, Rupak  },
	citeulike-article-id = {1871449},
	doi = {10.1007/s10009-007-0044-z},
	journal = {International Journal on Software Tools for Technology Transfer (STTT)},
	keywords = {model\_checking, program\_verification, testing},
	month = {October},
	number = {5-6},
	pages = {505--525},
	posted-at = {2008-08-28 12:11:34},
	priority = {0},
	title = {The software model checker {B}last},
	url = {http://dx.doi.org/10.1007/s10009-007-0044-z},
	volume = {9},
	year = {2007}
}