default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID2. WSA 1992: Bordeaux, France
- Michel Billaud, Pierre Castéran, Marc-Michel Corsini, Kaninda Musumbu, Antoine Rauzy:
Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings. Series Bigre 81-82, Atelier Irisa, IRISA, Campus de Beaulieu 1992
Session 1
- Olivier Danvy, John Hatcliff:
Thunks (Continued). WSA 1992: 3-11 - Chris Hankin, Daniel Le Métayer, David Sands:
Transformation of Gamma Programs. WSA 1992: 12-19 - Christian Queinnec:
Value Transforming Style. WSA 1992: 20-28
Session 2
- Frédéric Mesnard, Marianne Morillon:
Automatic Generation of Valid Linear Measures for CLP(Q) Programs. WSA 1992: 29-34 - Michael Codish, Moreno Falaschi, Kim Marriott, William H. Winsborough:
Efficient Analysis of Reactive Properties of Concurrent Constraint Logic Programs. WSA 1992: 35-42 - Roberto Bagnara, Roberto Giacobazzi, Giorgio Levi:
Static Analysis of CLP Programs over Numeric Domains. WSA 1992: 43-50 - Marc-Michel Corsini, Kaninda Musumbu, Antoine Rauzy:
The Mu-Calculus over Finite Domains as an Abstract Semantics of Prolog. WSA 1992: 51-59
Session 3
- Alan Mycroft, Mads Rosendahl:
Minimal Function Graphs are not Instrumented. WSA 1992: 60-67 - Geoff W. Hamilton:
Sharing Analysis of Lazy First-Order Functional Programs. WSA 1992: 68-78 - Bernard P. Serpette:
Approximations d'évaluateurs fonctionnels. WSA 1992: 79-90 - Young Gil Park, Benjamin Goldberg:
Order-of-Demand Analysis for Lazy Languages. WSA 1992: 91-101
Session 4
- E. Saint-James:
Partial Evaluation in an Industrial Context: Compiling for Endomorphic Machines. WSA 1992: 102-108 - Christian Queinnec, P. Geffroy:
Partial Evaluation applied to Symbolic Pattern Matching with Intelligent Backtrack. WSA 1992: 109-117 - Maria J. García de la Banda, Manuel V. Hermenegildo:
A Practical Application of Sharing and Freeness Inference. WSA 1992: 118-125
Session 5
- A. E. Ayers:
Efficient Closure Analysis with Reachability. WSA 1992: 126-134 - Tadashi Araragi:
Program Transformation in a Nonmonotonic Reasoning System. WSA 1992: 135-143 - Thomas P. Jensen:
Axiomatising Uniform Properties of Recursive Data Structures. WSA 1992: 144-151
Session 6
- Matthijs F. Kuiper:
Speeding Up Parallelism Detection for Attribute Grammars. WSA 1992: 152-162 - Philippe Devienne, Patrick Lebègue, Jean-Christophe Routier:
Weighted Systems Revisited. WSA 1992: 163-173
Session 7
- Giuseppe Amato, Fosca Giannotti, Gianni Mainetto:
Analysis of Concurrent Transactions in a Functional Database Programming Language. WSA 1992: 174-184 - Jean-Louis Giavitto, Jean-Paul Sansonnet, Olivier Michel:
Inférer rapidement la géométrie des collections. WSA 1992: 185-193 - Fosca Giannotti, Diego Latella:
Using Abstract Interpretation for Gate splitting in LOTOS Specifications. WSA 1992: 194-204 - Yamine Aït Ameur, Patrice Cros, Juan José Falcón, Alicia Gómez:
An Application of Abstract Interpretation to Floating Point Arithmetic. WSA 1992: 205-212
Session 8
- Paul Y. Gloess, Yan-Nong Huang, Chumin Li, Miguel-Angel Oros:
On Boolean Feature Types. WSA 1992: 213-220 - Clement A. Baker-Finch:
Relevant Logic and Strictness Analysis. WSA 1992: 221-228 - Baudouin Le Charlier, Pascal Van Hentenryck:
On the Design of Generic Abstract Interpretation Frameworks. WSA 1992: 229-246
Session 9
- Kirsten Lackner Solberg, Hanne Riis Nielson, Flemming Nielson:
Inference Systems for Binding Time Analysis. WSA 1992: 247-254 - Peter T. Breuer, Jonathan P. Bowen:
Decompilation is the Efficient Enumeration of Types. WSA 1992: 255-273 - Bruno Monsuez:
Fractional Types. WSA 1992: 274-284
Session 10
- John P. Gallagher:
Static Analysis for Logic Program Specification. WSA 1992: 285-294 - Anne Parrain, Philippe Devienne, Patrick Lebègue:
Towards Optimization of Full Prolog Programs guided by Abstract Interpretation. WSA 1992: 295-303 - Michael Hanus:
An Abstract Interpretation Algorithm for Residuating Logic Programs. WSA 1992: 304-312
Session 11
- Yan Mei Tang, Pierre Jouvelot:
Control-Flow Effects for Escape Analysis. WSA 1992: 313-321 - Marc Gengler, M. Rytz:
A Polyvariant Binding Time Analysis Handling Partially Known Values. WSA 1992: 322-330 - Denis Béchet:
Partial Evaluation of Interaction Nets. WSA 1992: 331-338
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.
last updated on 2024-12-02 21:35 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
