![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
3. WSA 1993: Padova, Italy
- Patrick Cousot, Moreno Falaschi, Gilberto Filé, Antoine Rauzy:
Static Analysis, Third International Workshop, WSA'93, Padova, Italy, September 22-24, 1993, Proceedings. Lecture Notes in Computer Science 724, Springer 1993, ISBN 3-540-57264-3
Invited Talk
- Pascal Van Hentenryck, Olivier Degimbe, Baudouin Le Charlier, Laurent Michel:
The Impact of Granularity in Abstract Interpretation of Prolog. 1-14
Fixpoint Computation
- Baudouin Le Charlier, Olivier Degimbe, Laurent Michel, Pascal Van Hentenryck:
Optimization Techniques for General Purpose Fixpoint Algorithms - Practical Efficiency for the Abstract Interpretation of Prolog. 15-26 - Niels Jørgensen:
Chaotic Fixpoint Iteration Guided by Dynamic Dependency. 27-44 - Alex Ferguson, John Hughes:
Fast Abstract Interpretation Using Sequential Algorithms. 45-59
Concurrency
- Jean-Claude Fernandez:
Abstract Interpretation and Verification of Reactive Systems. 60-71 - Régis Cridlig, Eric Goubault:
Semantics and Analysis of Linda-Based Languages. 72-86
Parallelism
- Jean-Pierre Talpin, Pierre Jouvelot:
Compiling FX on the CM-2. 87-98 - Olivier Maffeïs, Paul Le Guernic:
Combining Dependability with Architectural Adatability by Means of the SIGNAL Language. 99-110
Invited Talk
- Peter Van Roy:
Challenges in Developing Useful and Practical Static Analysis for Logic Programs. 111
Transformation
- Robert Glück
, Andrei V. Klimov:
Occam's Razor in Metacompuation: the Notion of a Perfect Process Tree. 112-123 - Wei-Ngan Chin, Siau-Cheng Khoo:
Tupling Functions with Multiple Recursion Parameters. 124-140 - Peter Thiemann:
Avoiding Repeated Tests in Pattern Matching. 141-152
Logic Programs
- Maurice Bruynooghe, Michael Codish
:
Freeness, Sharing, Linearity and Correctness - All at Once. 153-164 - Johan Boye, Jukka Paakki, Jan Maluszynski:
Synthesis of Directionality Information for Functional Logic Programs. 165-177
Term Rewriting Systems
- Didier Bert, Rachid Echahed, Bjarte M. Østvold:
Abstract Rewriting. 178-192
Invited Talk
- Paul Hudak:
Reflections on Program Optimization. 193
Strictness
- Flemming Nielson, Hanne Riis Nielson:
Finiteness Conditions for Strictness Analysis. 194-205 - P. N. Benton:
Strictness Properties of Lazy Algebraic Datatypes. 206-217 - Torben Amtoft:
Minimal Thunkification. 218-229
Reasoning About Programs
- Shohei Kato, Hirohisa Seki, Hidenori Itoh:
An Efficient Abductive Reasoning System Based on Program Analysis. 230-241 - Lindsay Errington, Chris Hankin, Thomas P. Jensen:
A Congruence for Gamma Programs. 242-253
Types
- David A. Wright, Clement A. Baker-Finch:
Usage Analysis with Natural Reduction Types. 254-266 - Bruno Monsuez:
Polymorphic Types and Widening Operators. 267-281
Poster Session
- Dan Sahlin, Thomas Sjöland:
Demonstration: Static Analysis of AKL. 282-283
![](https://dblp.dagstuhl.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.