Search dblp for Publications

export results for "toc:db/conf/sas/wsa91.bht:"

 download as .bib file

@inproceedings{DBLP:conf/sas/Ameur91,
  author       = {Yamine A{\"{\i}}t Ameur},
  title        = {Non Functional Properties Can Guide Program Developments},
  booktitle    = {{JTASPEFT/WSA}},
  series       = {Series Bigre},
  volume       = {74},
  pages        = {189--196},
  publisher    = {Atelier Irisa, IRISA, Campus de Beaulieu},
  year         = {1991}
}
@inproceedings{DBLP:conf/sas/BarbutiCGL91,
  author       = {Roberto Barbuti and
                  Michael Codish and
                  Roberto Giacobazzi and
                  Giorgio Levi},
  title        = {Modelling Prolog Control},
  booktitle    = {{JTASPEFT/WSA}},
  series       = {Series Bigre},
  volume       = {74},
  pages        = {117--124},
  publisher    = {Atelier Irisa, IRISA, Campus de Beaulieu},
  year         = {1991}
}
@inproceedings{DBLP:conf/sas/Barthelemy91,
  author       = {Fran{\c{c}}ois Barth{\'{e}}lemy},
  title        = {Pr{\'{e}}dire {\`{a}} bon escient},
  booktitle    = {{JTASPEFT/WSA}},
  series       = {Series Bigre},
  volume       = {74},
  pages        = {139--143},
  publisher    = {Atelier Irisa, IRISA, Campus de Beaulieu},
  year         = {1991}
}
@inproceedings{DBLP:conf/sas/Billaud91,
  author       = {Michel Billaud},
  title        = {Axiomatizations of Backtracking},
  booktitle    = {{JTASPEFT/WSA}},
  series       = {Series Bigre},
  volume       = {74},
  pages        = {111--116},
  publisher    = {Atelier Irisa, IRISA, Campus de Beaulieu},
  year         = {1991}
}
@inproceedings{DBLP:conf/sas/BoeckC91,
  author       = {Pierre De Boeck and
                  Baudouin Le Charlier},
  title        = {Automatic Construction of Prolog Primitives for Type Checking Analysis},
  booktitle    = {{JTASPEFT/WSA}},
  series       = {Series Bigre},
  volume       = {74},
  pages        = {165--172},
  publisher    = {Atelier Irisa, IRISA, Campus de Beaulieu},
  year         = {1991}
}
@inproceedings{DBLP:conf/sas/Breuer91,
  author       = {Peter T. Breuer},
  title        = {An Analysis/Synthesis Language with Learning Strategies},
  booktitle    = {{JTASPEFT/WSA}},
  series       = {Series Bigre},
  volume       = {74},
  pages        = {202--209},
  publisher    = {Atelier Irisa, IRISA, Campus de Beaulieu},
  year         = {1991}
}
@inproceedings{DBLP:conf/sas/Chin91,
  author       = {W.{-}N. Chin},
  title        = {Generalising Deforestation for All First-Order Functional Programs},
  booktitle    = {{JTASPEFT/WSA}},
  series       = {Series Bigre},
  volume       = {74},
  pages        = {173--181},
  publisher    = {Atelier Irisa, IRISA, Campus de Beaulieu},
  year         = {1991}
}
@inproceedings{DBLP:conf/sas/Clergerie91,
  author       = {{\'{E}}ric Villemonte de la Clergerie},
  title        = {A Tool for Abstract Interpretation: Dynamic Programming},
  booktitle    = {{JTASPEFT/WSA}},
  series       = {Series Bigre},
  volume       = {74},
  pages        = {151--156},
  publisher    = {Atelier Irisa, IRISA, Campus de Beaulieu},
  year         = {1991}
}
@inproceedings{DBLP:conf/sas/CodognetF91,
  author       = {Philippe Codognet and
                  Gilberto Fil{\'{e}}},
  title        = {Computations, Abstractions and Constraints (abstract)},
  booktitle    = {{JTASPEFT/WSA}},
  series       = {Series Bigre},
  volume       = {74},
  pages        = {70--71},
  publisher    = {Atelier Irisa, IRISA, Campus de Beaulieu},
  year         = {1991}
}
@inproceedings{DBLP:conf/sas/ColbyL91,
  author       = {Christopher Colby and
                  Peter Lee},
  title        = {An Implementation of Parametrized Partial Evaluation},
  booktitle    = {{JTASPEFT/WSA}},
  series       = {Series Bigre},
  volume       = {74},
  pages        = {82--89},
  publisher    = {Atelier Irisa, IRISA, Campus de Beaulieu},
  year         = {1991}
}
@inproceedings{DBLP:conf/sas/ConselK91,
  author       = {Charles Consel and
                  Siau{-}Cheng Khoo},
  title        = {Evaluation partielle param{\'{e}}trable},
  booktitle    = {{JTASPEFT/WSA}},
  series       = {Series Bigre},
  volume       = {74},
  pages        = {72--81},
  publisher    = {Atelier Irisa, IRISA, Campus de Beaulieu},
  year         = {1991}
}
@inproceedings{DBLP:conf/sas/CousotC91,
  author       = {Patrick Cousot and
                  Radhia Cousot},
  title        = {Relational Abstract Interpretation of Higher Order Functional Programs
                  (extended abstract)},
  booktitle    = {{JTASPEFT/WSA}},
  series       = {Series Bigre},
  volume       = {74},
  pages        = {33--36},
  publisher    = {Atelier Irisa, IRISA, Campus de Beaulieu},
  year         = {1991}
}
@inproceedings{DBLP:conf/sas/CousotC91a,
  author       = {Patrick Cousot and
                  Radhia Cousot},
  title        = {Comparison of the Galois Connection and Widening/Narrowing Approaches
                  to Abstract Interpretation},
  booktitle    = {{JTASPEFT/WSA}},
  series       = {Series Bigre},
  volume       = {74},
  pages        = {107--110},
  publisher    = {Atelier Irisa, IRISA, Campus de Beaulieu},
  year         = {1991}
}
@inproceedings{DBLP:conf/sas/Cregut91,
  author       = {Pierre Cr{\'{e}}gut},
  title        = {Interpr{\'{e}}tation abstraite pour am{\'{e}}liorer la repr{\'{e}}sentation
                  des environnements dans les langages fonctionnels},
  booktitle    = {{JTASPEFT/WSA}},
  series       = {Series Bigre},
  volume       = {74},
  pages        = {37--43},
  publisher    = {Atelier Irisa, IRISA, Campus de Beaulieu},
  year         = {1991}
}
@inproceedings{DBLP:conf/sas/DenisD91,
  author       = {Fran{\c{c}}ois Denis and
                  Jean{-}Paul Delahaye},
  title        = {Unfolding, Procedural and Fixpoint Semantics of Logic Programs},
  booktitle    = {{JTASPEFT/WSA}},
  series       = {Series Bigre},
  volume       = {74},
  pages        = {157--164},
  publisher    = {Atelier Irisa, IRISA, Campus de Beaulieu},
  year         = {1991}
}
@inproceedings{DBLP:conf/sas/DornicJG91,
  author       = {Vincent Dornic and
                  Pierre Jouvelot and
                  David K. Gifford},
  title        = {Polymorphic Time Systems for Estimating Program Complexity},
  booktitle    = {{JTASPEFT/WSA}},
  series       = {Series Bigre},
  volume       = {74},
  pages        = {9--17},
  publisher    = {Atelier Irisa, IRISA, Campus de Beaulieu},
  year         = {1991}
}
@inproceedings{DBLP:conf/sas/DurandSS91,
  author       = {Ir{\`{e}}ne Durand and
                  David J. Sherman and
                  Robert Strandh},
  title        = {Partial Evaluation of an Intermediate Language for Equational Programs},
  booktitle    = {{JTASPEFT/WSA}},
  series       = {Series Bigre},
  volume       = {74},
  pages        = {98--106},
  publisher    = {Atelier Irisa, IRISA, Campus de Beaulieu},
  year         = {1991}
}
@inproceedings{DBLP:conf/sas/EchahedJPS91,
  author       = {Rachid Echahed and
                  Paul Jacquet and
                  Marie{-}Laure Potet and
                  Sadik Sebbar},
  title        = {Equational Reasonning and the Completion Procedure. {A} Comparative
                  Study in Program Transformation},
  booktitle    = {{JTASPEFT/WSA}},
  series       = {Series Bigre},
  volume       = {74},
  pages        = {53--61},
  publisher    = {Atelier Irisa, IRISA, Campus de Beaulieu},
  year         = {1991}
}
@inproceedings{DBLP:conf/sas/Goudal91,
  author       = {F. Goudal},
  title        = {Une repr{\'{e}}sentation abstraite des expressions et continuations
                  en Scheme},
  booktitle    = {{JTASPEFT/WSA}},
  series       = {Series Bigre},
  volume       = {74},
  pages        = {225--233},
  publisher    = {Atelier Irisa, IRISA, Campus de Beaulieu},
  year         = {1991}
}
@inproceedings{DBLP:conf/sas/GriffithsMP91,
  author       = {M. Griffiths and
                  Pierre Massotte and
                  C. Paul},
  title        = {Analyse et transformation de programmes Prolog en vue de leur parall{\'{e}}lisation
                  avec les pr{\'{e}}dicats \emph{parand} et \emph{paror}},
  booktitle    = {{JTASPEFT/WSA}},
  series       = {Series Bigre},
  volume       = {74},
  pages        = {217--224},
  publisher    = {Atelier Irisa, IRISA, Campus de Beaulieu},
  year         = {1991}
}
@inproceedings{DBLP:conf/sas/HamiltonJ91,
  author       = {Geoff W. Hamilton and
                  Simon B. Jones},
  title        = {Transforming Programs to Eliminate Intermediate Structures},
  booktitle    = {{JTASPEFT/WSA}},
  series       = {Series Bigre},
  volume       = {74},
  pages        = {182--188},
  publisher    = {Atelier Irisa, IRISA, Campus de Beaulieu},
  year         = {1991}
}
@inproceedings{DBLP:conf/sas/ImbertH91,
  author       = {Jean{-}Louis Imbert and
                  Pascal Van Hentenryck},
  title        = {A propos des redondances dans les syst{\`{e}}mes d'in{\'{e}}quations
                  lin{\'{e}}aires},
  booktitle    = {{JTASPEFT/WSA}},
  series       = {Series Bigre},
  volume       = {74},
  pages        = {210--216},
  publisher    = {Atelier Irisa, IRISA, Campus de Beaulieu},
  year         = {1991}
}
@inproceedings{DBLP:conf/sas/LecoutreDL91,
  author       = {Christophe Lecoutre and
                  Philippe Devienne and
                  Patrick Leb{\`{e}}gue},
  title        = {Une analyse du comportement r{\'{e}}cursif de programmes Prolog
                  par une interpr{\'{e}}tation abstraite},
  booktitle    = {{JTASPEFT/WSA}},
  series       = {Series Bigre},
  volume       = {74},
  pages        = {62--69},
  publisher    = {Atelier Irisa, IRISA, Campus de Beaulieu},
  year         = {1991}
}
@inproceedings{DBLP:conf/sas/Malmkjaer91,
  author       = {Karoline Malmkj{\ae}r},
  title        = {On Static Properties of Specialized Programs},
  booktitle    = {{JTASPEFT/WSA}},
  series       = {Series Bigre},
  volume       = {74},
  pages        = {234--241},
  publisher    = {Atelier Irisa, IRISA, Campus de Beaulieu},
  year         = {1991}
}
@inproceedings{DBLP:conf/sas/MesnardG91,
  author       = {Fr{\'{e}}d{\'{e}}ric Mesnard and
                  Jean{-}Gabriel Ganascia},
  title        = {A propos du contr{\^{o}}le de la r{\'{e}}solution},
  booktitle    = {{JTASPEFT/WSA}},
  series       = {Series Bigre},
  volume       = {74},
  pages        = {125--131},
  publisher    = {Atelier Irisa, IRISA, Campus de Beaulieu},
  year         = {1991}
}
@inproceedings{DBLP:conf/sas/Monsuez91,
  author       = {Bruno Monsuez},
  title        = {An Attempt to Find Polymorphic Types by Abstract Interpretation},
  booktitle    = {{JTASPEFT/WSA}},
  series       = {Series Bigre},
  volume       = {74},
  pages        = {18--25},
  publisher    = {Atelier Irisa, IRISA, Campus de Beaulieu},
  year         = {1991}
}
@inproceedings{DBLP:conf/sas/Musumbu91,
  author       = {Kaninda Musumbu},
  title        = {Interpr{\'{e}}tation abstraite au moyen de grammaires attribu{\'{e}}es},
  booktitle    = {{JTASPEFT/WSA}},
  series       = {Series Bigre},
  volume       = {74},
  pages        = {144--150},
  publisher    = {Atelier Irisa, IRISA, Campus de Beaulieu},
  year         = {1991}
}
@inproceedings{DBLP:conf/sas/NielBV91,
  author       = {Anne De Niel and
                  Eddi Bevers and
                  Karel De Vlaminck},
  title        = {Partial Evaluation of Polymorphically Typed Functional Languages:
                  the Representation Problem},
  booktitle    = {{JTASPEFT/WSA}},
  series       = {Series Bigre},
  volume       = {74},
  pages        = {90--97},
  publisher    = {Atelier Irisa, IRISA, Campus de Beaulieu},
  year         = {1991}
}
@inproceedings{DBLP:conf/sas/ParrainDL91,
  author       = {Anne Parrain and
                  Philippe Devienne and
                  Patrick Leb{\`{e}}gue},
  title        = {Techniques de transformations de programmes Prolog g{\'{e}}n{\'{e}}raux
                  et validation de m{\'{e}}ta-interpr{\'{e}}teurs},
  booktitle    = {{JTASPEFT/WSA}},
  series       = {Series Bigre},
  volume       = {74},
  pages        = {132--138},
  publisher    = {Atelier Irisa, IRISA, Campus de Beaulieu},
  year         = {1991}
}
@inproceedings{DBLP:conf/sas/QueinnecP91,
  author       = {Christian Queinnec and
                  Julian A. Padget},
  title        = {A Proposal for a Modular Lisp with Macros and Dynamic Evaluation},
  booktitle    = {{JTASPEFT/WSA}},
  series       = {Series Bigre},
  volume       = {74},
  pages        = {1--8},
  publisher    = {Atelier Irisa, IRISA, Campus de Beaulieu},
  year         = {1991}
}
@inproceedings{DBLP:conf/sas/Shivers91,
  author       = {Olin Shivers},
  title        = {Useless-Variable Elimination},
  booktitle    = {{JTASPEFT/WSA}},
  series       = {Series Bigre},
  volume       = {74},
  pages        = {197--201},
  publisher    = {Atelier Irisa, IRISA, Campus de Beaulieu},
  year         = {1991}
}
@inproceedings{DBLP:conf/sas/Sun91,
  author       = {Yong Sun},
  title        = {Equational Logics},
  booktitle    = {{JTASPEFT/WSA}},
  series       = {Series Bigre},
  volume       = {74},
  pages        = {44--52},
  publisher    = {Atelier Irisa, IRISA, Campus de Beaulieu},
  year         = {1991}
}
@inproceedings{DBLP:conf/sas/TalpinJ91,
  author       = {Jean{-}Pierre Talpin and
                  Pierre Jouvelot},
  title        = {Polymorphic Type, Region and Effect Inference},
  booktitle    = {{JTASPEFT/WSA}},
  series       = {Series Bigre},
  volume       = {74},
  pages        = {26--32},
  publisher    = {Atelier Irisa, IRISA, Campus de Beaulieu},
  year         = {1991}
}
@proceedings{DBLP:conf/sas/1991,
  editor       = {Michel Billaud and
                  Pierre Cast{\'{e}}ran and
                  Marc{-}Michel Corsini and
                  Kaninda Musumbu and
                  Antoine Rauzy},
  title        = {Actes JTASPEFL'91 (Bordeaux, France), October 1991, Laboratoire Bordelais
                  de Recherche en Informatique (LaBRI), Proceedings},
  series       = {Series Bigre},
  volume       = {74},
  publisher    = {Atelier Irisa, IRISA, Campus de Beaulieu},
  year         = {1991}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics