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