The SCEAS System
Navigation Menu

Conferences in DBLP

Static Analysis (WSA/SAS) (sas)
1993 (conf/sas/1993)

  1. Pascal Van Hentenryck, Olivier Degimbe, Baudouin Le Charlier, Laurent Michel
    The Impact of Granularity in Abstract Interpretation of Prolog. [Citation Graph (0, 0)][DBLP]
    WSA, 1993, pp:1-14 [Conf]
  2. 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. [Citation Graph (0, 0)][DBLP]
    WSA, 1993, pp:15-26 [Conf]
  3. Niels Jørgensen
    Chaotic Fixpoint Iteration Guided by Dynamic Dependency. [Citation Graph (0, 0)][DBLP]
    WSA, 1993, pp:27-44 [Conf]
  4. Alex Ferguson, John Hughes
    Fast Abstract Interpretation Using Sequential Algorithms. [Citation Graph (0, 0)][DBLP]
    WSA, 1993, pp:45-59 [Conf]
  5. Jean-Claude Fernandez
    Abstract Interpretation and Verification of Reactive Systems. [Citation Graph (0, 0)][DBLP]
    WSA, 1993, pp:60-71 [Conf]
  6. Régis Cridlig, Eric Goubault
    Semantics and Analysis of Linda-Based Languages. [Citation Graph (0, 0)][DBLP]
    WSA, 1993, pp:72-86 [Conf]
  7. Jean-Pierre Talpin, Pierre Jouvelot
    Compiling FX on the CM-2. [Citation Graph (0, 0)][DBLP]
    WSA, 1993, pp:87-98 [Conf]
  8. Olivier Maffeïs, Paul Le Guernic
    Combining Dependability with Architectural Adatability by Means of the SIGNAL Language. [Citation Graph (0, 0)][DBLP]
    WSA, 1993, pp:99-110 [Conf]
  9. Peter Van Roy
    Challenges in Developing Useful and Practical Static Analysis for Logic Programs. [Citation Graph (0, 0)][DBLP]
    WSA, 1993, pp:111- [Conf]
  10. Robert Glück, Andrei V. Klimov
    Occam's Razor in Metacompuation: the Notion of a Perfect Process Tree. [Citation Graph (0, 0)][DBLP]
    WSA, 1993, pp:112-123 [Conf]
  11. Wei-Ngan Chin, Siau-Cheng Khoo
    Tupling Functions with Multiple Recursion Parameters. [Citation Graph (0, 0)][DBLP]
    WSA, 1993, pp:124-140 [Conf]
  12. Peter Thiemann
    Avoiding Repeated Tests in Pattern Matching. [Citation Graph (0, 0)][DBLP]
    WSA, 1993, pp:141-152 [Conf]
  13. Maurice Bruynooghe, Michael Codish
    Freeness, Sharing, Linearity and Correctness - All at Once. [Citation Graph (0, 0)][DBLP]
    WSA, 1993, pp:153-164 [Conf]
  14. Johan Boye, Jukka Paakki, Jan Maluszynski
    Synthesis of Directionality Information for Functional Logic Programs. [Citation Graph (0, 0)][DBLP]
    WSA, 1993, pp:165-177 [Conf]
  15. Didier Bert, Rachid Echahed, Bjarte M. Østvold
    Abstract Rewriting. [Citation Graph (0, 0)][DBLP]
    WSA, 1993, pp:178-192 [Conf]
  16. Paul Hudak
    Reflections on Program Optimization. [Citation Graph (0, 0)][DBLP]
    WSA, 1993, pp:193- [Conf]
  17. Flemming Nielson, Hanne Riis Nielson
    Finiteness Conditions for Strictness Analysis. [Citation Graph (0, 0)][DBLP]
    WSA, 1993, pp:194-205 [Conf]
  18. P. N. Benton
    Strictness Properties of Lazy Algebraic Datatypes. [Citation Graph (0, 0)][DBLP]
    WSA, 1993, pp:206-217 [Conf]
  19. Torben Amtoft
    Minimal Thunkification. [Citation Graph (0, 0)][DBLP]
    WSA, 1993, pp:218-229 [Conf]
  20. Shohei Kato, Hirohisa Seki, Hidenori Itoh
    An Efficient Abductive Reasoning System Based on Program Analysis. [Citation Graph (0, 0)][DBLP]
    WSA, 1993, pp:230-241 [Conf]
  21. Lindsay Errington, Chris Hankin, Thomas P. Jensen
    A Congruence for Gamma Programs. [Citation Graph (0, 0)][DBLP]
    WSA, 1993, pp:242-253 [Conf]
  22. David A. Wright, Clement A. Baker-Finch
    Usage Analysis with Natural Reduction Types. [Citation Graph (0, 0)][DBLP]
    WSA, 1993, pp:254-266 [Conf]
  23. Bruno Monsuez
    Polymorphic Types and Widening Operators. [Citation Graph (0, 0)][DBLP]
    WSA, 1993, pp:267-281 [Conf]
  24. Dan Sahlin, Thomas Sjöland
    Demonstration: Static Analysis of AKL. [Citation Graph (0, 0)][DBLP]
    WSA, 1993, pp:282-283 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002