Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/sas/wsa91.bht:"
@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} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.