![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/conf/sas/wsa92.bht:"
@inproceedings{DBLP:conf/sas/AmatoGM92, author = {Giuseppe Amato and Fosca Giannotti and Gianni Mainetto}, editor = {Michel Billaud and Pierre Cast{\'{e}}ran and Marc{-}Michel Corsini and Kaninda Musumbu and Antoine Rauzy}, title = {Analysis of Concurrent Transactions in a Functional Database Programming Language}, booktitle = {Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings}, series = {Series Bigre}, volume = {81-82}, pages = {174--184}, publisher = {Atelier Irisa, IRISA, Campus de Beaulieu}, year = {1992}, timestamp = {Fri, 18 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sas/AmatoGM92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/AmeurCFG92, author = {Yamine A{\"{\i}}t Ameur and Patrice Cros and Juan Jos{\'{e}} Falc{\'{o}}n and Alicia G{\'{o}}mez}, editor = {Michel Billaud and Pierre Cast{\'{e}}ran and Marc{-}Michel Corsini and Kaninda Musumbu and Antoine Rauzy}, title = {An Application of Abstract Interpretation to Floating Point Arithmetic}, booktitle = {Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings}, series = {Series Bigre}, volume = {81-82}, pages = {205--212}, publisher = {Atelier Irisa, IRISA, Campus de Beaulieu}, year = {1992}, timestamp = {Tue, 24 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/AmeurCFG92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/Araragi92, author = {Tadashi Araragi}, editor = {Michel Billaud and Pierre Cast{\'{e}}ran and Marc{-}Michel Corsini and Kaninda Musumbu and Antoine Rauzy}, title = {Program Transformation in a Nonmonotonic Reasoning System}, booktitle = {Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings}, series = {Series Bigre}, volume = {81-82}, pages = {135--143}, publisher = {Atelier Irisa, IRISA, Campus de Beaulieu}, year = {1992}, timestamp = {Wed, 02 Sep 2015 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/Araragi92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/Ayers92, author = {A. E. Ayers}, editor = {Michel Billaud and Pierre Cast{\'{e}}ran and Marc{-}Michel Corsini and Kaninda Musumbu and Antoine Rauzy}, title = {Efficient Closure Analysis with Reachability}, booktitle = {Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings}, series = {Series Bigre}, volume = {81-82}, pages = {126--134}, publisher = {Atelier Irisa, IRISA, Campus de Beaulieu}, year = {1992}, timestamp = {Wed, 02 Sep 2015 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/Ayers92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/BagnaraGL92, author = {Roberto Bagnara and Roberto Giacobazzi and Giorgio Levi}, editor = {Michel Billaud and Pierre Cast{\'{e}}ran and Marc{-}Michel Corsini and Kaninda Musumbu and Antoine Rauzy}, title = {Static Analysis of {CLP} Programs over Numeric Domains}, booktitle = {Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings}, series = {Series Bigre}, volume = {81-82}, pages = {43--50}, publisher = {Atelier Irisa, IRISA, Campus de Beaulieu}, year = {1992}, timestamp = {Wed, 02 Sep 2015 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/BagnaraGL92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/Baker-Finch92, author = {Clement A. Baker{-}Finch}, editor = {Michel Billaud and Pierre Cast{\'{e}}ran and Marc{-}Michel Corsini and Kaninda Musumbu and Antoine Rauzy}, title = {Relevant Logic and Strictness Analysis}, booktitle = {Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings}, series = {Series Bigre}, volume = {81-82}, pages = {221--228}, publisher = {Atelier Irisa, IRISA, Campus de Beaulieu}, year = {1992}, timestamp = {Wed, 02 Sep 2015 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/Baker-Finch92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/BandaH92, author = {Maria J. Garc{\'{\i}}a de la Banda and Manuel V. Hermenegildo}, editor = {Michel Billaud and Pierre Cast{\'{e}}ran and Marc{-}Michel Corsini and Kaninda Musumbu and Antoine Rauzy}, title = {A Practical Application of Sharing and Freeness Inference}, booktitle = {Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings}, series = {Series Bigre}, volume = {81-82}, pages = {118--125}, publisher = {Atelier Irisa, IRISA, Campus de Beaulieu}, year = {1992}, timestamp = {Wed, 02 Sep 2015 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/BandaH92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/Bechet92, author = {Denis B{\'{e}}chet}, editor = {Michel Billaud and Pierre Cast{\'{e}}ran and Marc{-}Michel Corsini and Kaninda Musumbu and Antoine Rauzy}, title = {Partial Evaluation of Interaction Nets}, booktitle = {Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings}, series = {Series Bigre}, volume = {81-82}, pages = {331--338}, publisher = {Atelier Irisa, IRISA, Campus de Beaulieu}, year = {1992}, timestamp = {Wed, 02 Sep 2015 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/Bechet92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/BreuerB92, author = {Peter T. Breuer and Jonathan P. Bowen}, editor = {Michel Billaud and Pierre Cast{\'{e}}ran and Marc{-}Michel Corsini and Kaninda Musumbu and Antoine Rauzy}, title = {Decompilation \emph{is} the Efficient Enumeration of Types}, booktitle = {Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings}, series = {Series Bigre}, volume = {81-82}, pages = {255--273}, publisher = {Atelier Irisa, IRISA, Campus de Beaulieu}, year = {1992}, timestamp = {Wed, 02 Sep 2015 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/BreuerB92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/CharlierH92, author = {Baudouin Le Charlier and Pascal Van Hentenryck}, editor = {Michel Billaud and Pierre Cast{\'{e}}ran and Marc{-}Michel Corsini and Kaninda Musumbu and Antoine Rauzy}, title = {On the Design of Generic Abstract Interpretation Frameworks}, booktitle = {Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings}, series = {Series Bigre}, volume = {81-82}, pages = {229--246}, publisher = {Atelier Irisa, IRISA, Campus de Beaulieu}, year = {1992}, timestamp = {Wed, 02 Sep 2015 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/CharlierH92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/CodishFMW92, author = {Michael Codish and Moreno Falaschi and Kim Marriott and William H. Winsborough}, editor = {Michel Billaud and Pierre Cast{\'{e}}ran and Marc{-}Michel Corsini and Kaninda Musumbu and Antoine Rauzy}, title = {Efficient Analysis of Reactive Properties of Concurrent Constraint Logic Programs}, booktitle = {Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings}, series = {Series Bigre}, volume = {81-82}, pages = {35--42}, publisher = {Atelier Irisa, IRISA, Campus de Beaulieu}, year = {1992}, timestamp = {Wed, 02 Sep 2015 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/CodishFMW92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/CorsiniMR92, author = {Marc{-}Michel Corsini and Kaninda Musumbu and Antoine Rauzy}, editor = {Michel Billaud and Pierre Cast{\'{e}}ran and Marc{-}Michel Corsini and Kaninda Musumbu and Antoine Rauzy}, title = {The Mu-Calculus over Finite Domains as an Abstract Semantics of Prolog}, booktitle = {Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings}, series = {Series Bigre}, volume = {81-82}, pages = {51--59}, publisher = {Atelier Irisa, IRISA, Campus de Beaulieu}, year = {1992}, timestamp = {Wed, 02 Sep 2015 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/CorsiniMR92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/DanvyH92, author = {Olivier Danvy and John Hatcliff}, editor = {Michel Billaud and Pierre Cast{\'{e}}ran and Marc{-}Michel Corsini and Kaninda Musumbu and Antoine Rauzy}, title = {Thunks (Continued)}, booktitle = {Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings}, series = {Series Bigre}, volume = {81-82}, pages = {3--11}, publisher = {Atelier Irisa, IRISA, Campus de Beaulieu}, year = {1992}, timestamp = {Wed, 02 Sep 2015 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/DanvyH92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/DevienneLR92, author = {Philippe Devienne and Patrick Leb{\`{e}}gue and Jean{-}Christophe Routier}, editor = {Michel Billaud and Pierre Cast{\'{e}}ran and Marc{-}Michel Corsini and Kaninda Musumbu and Antoine Rauzy}, title = {Weighted Systems Revisited}, booktitle = {Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings}, series = {Series Bigre}, volume = {81-82}, pages = {163--173}, publisher = {Atelier Irisa, IRISA, Campus de Beaulieu}, year = {1992}, timestamp = {Wed, 02 Sep 2015 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/DevienneLR92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/Gallagher92, author = {John P. Gallagher}, editor = {Michel Billaud and Pierre Cast{\'{e}}ran and Marc{-}Michel Corsini and Kaninda Musumbu and Antoine Rauzy}, title = {Static Analysis for Logic Program Specification}, booktitle = {Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings}, series = {Series Bigre}, volume = {81-82}, pages = {285--294}, publisher = {Atelier Irisa, IRISA, Campus de Beaulieu}, year = {1992}, timestamp = {Wed, 02 Sep 2015 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/Gallagher92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/GenglerR92, author = {Marc Gengler and M. Rytz}, editor = {Michel Billaud and Pierre Cast{\'{e}}ran and Marc{-}Michel Corsini and Kaninda Musumbu and Antoine Rauzy}, title = {A Polyvariant Binding Time Analysis Handling Partially Known Values}, booktitle = {Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings}, series = {Series Bigre}, volume = {81-82}, pages = {322--330}, publisher = {Atelier Irisa, IRISA, Campus de Beaulieu}, year = {1992}, timestamp = {Wed, 02 Sep 2015 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/GenglerR92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/GiannottiL92, author = {Fosca Giannotti and Diego Latella}, editor = {Michel Billaud and Pierre Cast{\'{e}}ran and Marc{-}Michel Corsini and Kaninda Musumbu and Antoine Rauzy}, title = {Using Abstract Interpretation for Gate splitting in {LOTOS} Specifications}, booktitle = {Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings}, series = {Series Bigre}, volume = {81-82}, pages = {194--204}, publisher = {Atelier Irisa, IRISA, Campus de Beaulieu}, year = {1992}, timestamp = {Wed, 02 Sep 2015 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/GiannottiL92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/GiavittoSM92, author = {Jean{-}Louis Giavitto and Jean{-}Paul Sansonnet and Olivier Michel}, editor = {Michel Billaud and Pierre Cast{\'{e}}ran and Marc{-}Michel Corsini and Kaninda Musumbu and Antoine Rauzy}, title = {Inf{\'{e}}rer rapidement la g{\'{e}}om{\'{e}}trie des collections}, booktitle = {Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings}, series = {Series Bigre}, volume = {81-82}, pages = {185--193}, publisher = {Atelier Irisa, IRISA, Campus de Beaulieu}, year = {1992}, timestamp = {Thu, 17 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/GiavittoSM92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/GloessHLH92, author = {Paul Y. Gloess and Yan{-}Nong Huang and Chumin Li and Miguel{-}Angel Oros}, editor = {Michel Billaud and Pierre Cast{\'{e}}ran and Marc{-}Michel Corsini and Kaninda Musumbu and Antoine Rauzy}, title = {On Boolean Feature Types}, booktitle = {Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings}, series = {Series Bigre}, volume = {81-82}, pages = {213--220}, publisher = {Atelier Irisa, IRISA, Campus de Beaulieu}, year = {1992}, timestamp = {Wed, 12 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sas/GloessHLH92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/Hamilton92, author = {Geoff W. Hamilton}, editor = {Michel Billaud and Pierre Cast{\'{e}}ran and Marc{-}Michel Corsini and Kaninda Musumbu and Antoine Rauzy}, title = {Sharing Analysis of Lazy First-Order Functional Programs}, booktitle = {Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings}, series = {Series Bigre}, volume = {81-82}, pages = {68--78}, publisher = {Atelier Irisa, IRISA, Campus de Beaulieu}, year = {1992}, timestamp = {Wed, 02 Sep 2015 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/Hamilton92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/HankinMS92, author = {Chris Hankin and Daniel Le M{\'{e}}tayer and David Sands}, editor = {Michel Billaud and Pierre Cast{\'{e}}ran and Marc{-}Michel Corsini and Kaninda Musumbu and Antoine Rauzy}, title = {Transformation of Gamma Programs}, booktitle = {Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings}, series = {Series Bigre}, volume = {81-82}, pages = {12--19}, publisher = {Atelier Irisa, IRISA, Campus de Beaulieu}, year = {1992}, timestamp = {Wed, 10 Apr 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/HankinMS92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/Hanus92, author = {Michael Hanus}, editor = {Michel Billaud and Pierre Cast{\'{e}}ran and Marc{-}Michel Corsini and Kaninda Musumbu and Antoine Rauzy}, title = {An Abstract Interpretation Algorithm for Residuating Logic Programs}, booktitle = {Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings}, series = {Series Bigre}, volume = {81-82}, pages = {304--312}, publisher = {Atelier Irisa, IRISA, Campus de Beaulieu}, year = {1992}, timestamp = {Wed, 02 Sep 2015 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/Hanus92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/Jensen92, author = {Thomas P. Jensen}, editor = {Michel Billaud and Pierre Cast{\'{e}}ran and Marc{-}Michel Corsini and Kaninda Musumbu and Antoine Rauzy}, title = {Axiomatising Uniform Properties of Recursive Data Structures}, booktitle = {Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings}, series = {Series Bigre}, volume = {81-82}, pages = {144--151}, publisher = {Atelier Irisa, IRISA, Campus de Beaulieu}, year = {1992}, timestamp = {Wed, 02 Sep 2015 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/Jensen92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/Kuiper92, author = {Matthijs F. Kuiper}, editor = {Michel Billaud and Pierre Cast{\'{e}}ran and Marc{-}Michel Corsini and Kaninda Musumbu and Antoine Rauzy}, title = {Speeding Up Parallelism Detection for Attribute Grammars}, booktitle = {Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings}, series = {Series Bigre}, volume = {81-82}, pages = {152--162}, publisher = {Atelier Irisa, IRISA, Campus de Beaulieu}, year = {1992}, timestamp = {Wed, 02 Sep 2015 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/Kuiper92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/MesnardM92, author = {Fr{\'{e}}d{\'{e}}ric Mesnard and Marianne Morillon}, editor = {Michel Billaud and Pierre Cast{\'{e}}ran and Marc{-}Michel Corsini and Kaninda Musumbu and Antoine Rauzy}, title = {Automatic Generation of Valid Linear Measures for {CLP(Q)} Programs}, booktitle = {Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings}, series = {Series Bigre}, volume = {81-82}, pages = {29--34}, publisher = {Atelier Irisa, IRISA, Campus de Beaulieu}, year = {1992}, timestamp = {Wed, 02 Sep 2015 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/MesnardM92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/Monsuez92, author = {Bruno Monsuez}, editor = {Michel Billaud and Pierre Cast{\'{e}}ran and Marc{-}Michel Corsini and Kaninda Musumbu and Antoine Rauzy}, title = {Fractional Types}, booktitle = {Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings}, series = {Series Bigre}, volume = {81-82}, pages = {274--284}, publisher = {Atelier Irisa, IRISA, Campus de Beaulieu}, year = {1992}, timestamp = {Wed, 02 Sep 2015 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/Monsuez92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/MycroftR92, author = {Alan Mycroft and Mads Rosendahl}, editor = {Michel Billaud and Pierre Cast{\'{e}}ran and Marc{-}Michel Corsini and Kaninda Musumbu and Antoine Rauzy}, title = {Minimal Function Graphs are not Instrumented}, booktitle = {Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings}, series = {Series Bigre}, volume = {81-82}, pages = {60--67}, publisher = {Atelier Irisa, IRISA, Campus de Beaulieu}, year = {1992}, timestamp = {Wed, 02 Sep 2015 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/MycroftR92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/ParkG92, author = {Young Gil Park and Benjamin Goldberg}, editor = {Michel Billaud and Pierre Cast{\'{e}}ran and Marc{-}Michel Corsini and Kaninda Musumbu and Antoine Rauzy}, title = {Order-of-Demand Analysis for Lazy Languages}, booktitle = {Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings}, series = {Series Bigre}, volume = {81-82}, pages = {91--101}, publisher = {Atelier Irisa, IRISA, Campus de Beaulieu}, year = {1992}, timestamp = {Wed, 02 Sep 2015 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/ParkG92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/ParrainDL92, author = {Anne Parrain and Philippe Devienne and Patrick Leb{\`{e}}gue}, editor = {Michel Billaud and Pierre Cast{\'{e}}ran and Marc{-}Michel Corsini and Kaninda Musumbu and Antoine Rauzy}, title = {Towards Optimization of Full Prolog Programs guided by Abstract Interpretation}, booktitle = {Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings}, series = {Series Bigre}, volume = {81-82}, pages = {295--303}, publisher = {Atelier Irisa, IRISA, Campus de Beaulieu}, year = {1992}, timestamp = {Wed, 02 Sep 2015 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/ParrainDL92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/Queinnec92, author = {Christian Queinnec}, editor = {Michel Billaud and Pierre Cast{\'{e}}ran and Marc{-}Michel Corsini and Kaninda Musumbu and Antoine Rauzy}, title = {Value Transforming Style}, booktitle = {Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings}, series = {Series Bigre}, volume = {81-82}, pages = {20--28}, publisher = {Atelier Irisa, IRISA, Campus de Beaulieu}, year = {1992}, timestamp = {Wed, 02 Sep 2015 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/Queinnec92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/QueinnecG92, author = {Christian Queinnec and P. Geffroy}, editor = {Michel Billaud and Pierre Cast{\'{e}}ran and Marc{-}Michel Corsini and Kaninda Musumbu and Antoine Rauzy}, title = {Partial Evaluation applied to Symbolic Pattern Matching with Intelligent Backtrack}, booktitle = {Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings}, series = {Series Bigre}, volume = {81-82}, pages = {109--117}, publisher = {Atelier Irisa, IRISA, Campus de Beaulieu}, year = {1992}, timestamp = {Wed, 02 Sep 2015 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/QueinnecG92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/Saint-James92, author = {E. Saint{-}James}, editor = {Michel Billaud and Pierre Cast{\'{e}}ran and Marc{-}Michel Corsini and Kaninda Musumbu and Antoine Rauzy}, title = {Partial Evaluation in an Industrial Context: Compiling for Endomorphic Machines}, booktitle = {Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings}, series = {Series Bigre}, volume = {81-82}, pages = {102--108}, publisher = {Atelier Irisa, IRISA, Campus de Beaulieu}, year = {1992}, timestamp = {Wed, 02 Sep 2015 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/Saint-James92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/Serpette92, author = {Bernard P. Serpette}, editor = {Michel Billaud and Pierre Cast{\'{e}}ran and Marc{-}Michel Corsini and Kaninda Musumbu and Antoine Rauzy}, title = {Approximations d'{\'{e}}valuateurs fonctionnels}, booktitle = {Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings}, series = {Series Bigre}, volume = {81-82}, pages = {79--90}, publisher = {Atelier Irisa, IRISA, Campus de Beaulieu}, year = {1992}, timestamp = {Wed, 02 Sep 2015 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/Serpette92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/SolbergNN92, author = {Kirsten Lackner Solberg and Hanne Riis Nielson and Flemming Nielson}, editor = {Michel Billaud and Pierre Cast{\'{e}}ran and Marc{-}Michel Corsini and Kaninda Musumbu and Antoine Rauzy}, title = {Inference Systems for Binding Time Analysis}, booktitle = {Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings}, series = {Series Bigre}, volume = {81-82}, pages = {247--254}, publisher = {Atelier Irisa, IRISA, Campus de Beaulieu}, year = {1992}, timestamp = {Wed, 02 Sep 2015 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/SolbergNN92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/TangJ92, author = {Yan Mei Tang and Pierre Jouvelot}, editor = {Michel Billaud and Pierre Cast{\'{e}}ran and Marc{-}Michel Corsini and Kaninda Musumbu and Antoine Rauzy}, title = {Control-Flow Effects for Escape Analysis}, booktitle = {Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings}, series = {Series Bigre}, volume = {81-82}, pages = {313--321}, publisher = {Atelier Irisa, IRISA, Campus de Beaulieu}, year = {1992}, timestamp = {Wed, 02 Sep 2015 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/TangJ92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/sas/1992, editor = {Michel Billaud and Pierre Cast{\'{e}}ran and Marc{-}Michel Corsini and Kaninda Musumbu and Antoine Rauzy}, title = {Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings}, series = {Series Bigre}, volume = {81-82}, publisher = {Atelier Irisa, IRISA, Campus de Beaulieu}, year = {1992}, timestamp = {Thu, 12 Jul 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/1992.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.