- 1992
- Giuseppe Amato, Fosca Giannotti, Gianni Mainetto:
Analysis of Concurrent Transactions in a Functional Database Programming Language. WSA 1992: 174-184 - 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 - Tadashi Araragi:
Program Transformation in a Nonmonotonic Reasoning System. WSA 1992: 135-143 - A. E. Ayers:
Efficient Closure Analysis with Reachability. WSA 1992: 126-134 - Roberto Bagnara, Roberto Giacobazzi, Giorgio Levi:
Static Analysis of CLP Programs over Numeric Domains. WSA 1992: 43-50 - Clement A. Baker-Finch:
Relevant Logic and Strictness Analysis. WSA 1992: 221-228 - Maria J. García de la Banda, Manuel V. Hermenegildo:
A Practical Application of Sharing and Freeness Inference. WSA 1992: 118-125 - Denis Béchet:
Partial Evaluation of Interaction Nets. WSA 1992: 331-338 - Peter T. Breuer, Jonathan P. Bowen:
Decompilation is the Efficient Enumeration of Types. WSA 1992: 255-273 - Baudouin Le Charlier, Pascal Van Hentenryck:
On the Design of Generic Abstract Interpretation Frameworks. WSA 1992: 229-246 - Michael Codish, Moreno Falaschi, Kim Marriott, William H. Winsborough:
Efficient Analysis of Reactive Properties of Concurrent Constraint Logic Programs. WSA 1992: 35-42 - Marc-Michel Corsini, Kaninda Musumbu, Antoine Rauzy:
The Mu-Calculus over Finite Domains as an Abstract Semantics of Prolog. WSA 1992: 51-59 - Olivier Danvy, John Hatcliff:
Thunks (Continued). WSA 1992: 3-11 - Philippe Devienne, Patrick Lebègue, Jean-Christophe Routier:
Weighted Systems Revisited. WSA 1992: 163-173 - John P. Gallagher:
Static Analysis for Logic Program Specification. WSA 1992: 285-294 - Marc Gengler, M. Rytz:
A Polyvariant Binding Time Analysis Handling Partially Known Values. WSA 1992: 322-330 - Fosca Giannotti, Diego Latella:
Using Abstract Interpretation for Gate splitting in LOTOS Specifications. WSA 1992: 194-204 - Jean-Louis Giavitto, Jean-Paul Sansonnet, Olivier Michel:
Inférer rapidement la géométrie des collections. WSA 1992: 185-193 - Paul Y. Gloess, Yan-Nong Huang, Chumin Li, Miguel-Angel Oros:
On Boolean Feature Types. WSA 1992: 213-220 - Geoff W. Hamilton:
Sharing Analysis of Lazy First-Order Functional Programs. WSA 1992: 68-78 - Chris Hankin, Daniel Le Métayer, David Sands:
Transformation of Gamma Programs. WSA 1992: 12-19 - Michael Hanus:
An Abstract Interpretation Algorithm for Residuating Logic Programs. WSA 1992: 304-312 - Thomas P. Jensen:
Axiomatising Uniform Properties of Recursive Data Structures. WSA 1992: 144-151 - Matthijs F. Kuiper:
Speeding Up Parallelism Detection for Attribute Grammars. WSA 1992: 152-162 - Frédéric Mesnard, Marianne Morillon:
Automatic Generation of Valid Linear Measures for CLP(Q) Programs. WSA 1992: 29-34 - Bruno Monsuez:
Fractional Types. WSA 1992: 274-284 - Alan Mycroft, Mads Rosendahl:
Minimal Function Graphs are not Instrumented. WSA 1992: 60-67 - Young Gil Park, Benjamin Goldberg:
Order-of-Demand Analysis for Lazy Languages. WSA 1992: 91-101 - Anne Parrain, Philippe Devienne, Patrick Lebègue:
Towards Optimization of Full Prolog Programs guided by Abstract Interpretation. WSA 1992: 295-303 - Christian Queinnec:
Value Transforming Style. WSA 1992: 20-28