The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. Daniel Jackson
    Enforcing Design Constraints with Object Logic. [Citation Graph (0, 0)][DBLP]
    SAS, 2000, pp:1-21 [Conf]
  2. Andreas Podelski
    Model Checking as Constraint Solving. [Citation Graph (0, 0)][DBLP]
    SAS, 2000, pp:22-37 [Conf]
  3. Gianluca Amato, Giorgio Levi
    Abstract Interpretation Based Semantics of Sequent Calculi. [Citation Graph (0, 0)][DBLP]
    SAS, 2000, pp:38-57 [Conf]
  4. Saddek Bensalem, Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Yassine Lakhnech
    A Transformational Approach for Generating Non-linear Invariants. [Citation Graph (0, 0)][DBLP]
    SAS, 2000, pp:58-74 [Conf]
  5. Wei-Ngan Chin, Siau-Cheng Khoo, Zhenjiang Hu, Masato Takeichi
    Deriving Parallel Codes via Invariants. [Citation Graph (0, 0)][DBLP]
    SAS, 2000, pp:75-94 [Conf]
  6. David Clark, Chris Hankin, Sebastian Hunt
    Safety of Strictness Analysis via Term Graph Rewriting. [Citation Graph (0, 0)][DBLP]
    SAS, 2000, pp:95-114 [Conf]
  7. Nurit Dor, Michael Rodeh, Shmuel Sagiv
    Checking Cleanness in Linked Lists. [Citation Graph (0, 0)][DBLP]
    SAS, 2000, pp:115-134 [Conf]
  8. Jérôme Feret
    Confidentiality Analysis of Mobile Systems. [Citation Graph (0, 0)][DBLP]
    SAS, 2000, pp:135-154 [Conf]
  9. Stephen J. Fink, Kathleen Knobe, Vivek Sarkar
    Unified Analysis of Array and Object References in Strongly Typed Languages. [Citation Graph (0, 0)][DBLP]
    SAS, 2000, pp:155-174 [Conf]
  10. Jeffrey S. Foster, Manuel Fähndrich, Alexander Aiken
    Polymorphic versus Monomorphic Flow-Insensitive Points-to Analysis for C. [Citation Graph (0, 0)][DBLP]
    SAS, 2000, pp:175-198 [Conf]
  11. Etienne Gagnon, Laurie J. Hendren, Guillaume Marceau
    Efficient Inference of Static Types for Java Bytecode. [Citation Graph (0, 0)][DBLP]
    SAS, 2000, pp:199-219 [Conf]
  12. Thomas A. Henzinger, Rupak Majumdar, Freddy Y. C. Mang, Jean-François Raskin
    Abstract Interpretation of Game Properties. [Citation Graph (0, 0)][DBLP]
    SAS, 2000, pp:220-239 [Conf]
  13. Clara Jaramillo, Rajiv Gupta, Mary Lou Soffa
    FULLDOC: A Full Reporting Debugger for Optimized Code. [Citation Graph (0, 0)][DBLP]
    SAS, 2000, pp:240-259 [Conf]
  14. Jens Knoop, Jean-Francois Collard, Roy Dz-Ching Ju
    Partial Redundancy Elimination on Predicated Code. [Citation Graph (0, 0)][DBLP]
    SAS, 2000, pp:260-279 [Conf]
  15. Tal Lev-Ami, Shmuel Sagiv
    TVLA: A System for Implementing Static Analyses. [Citation Graph (0, 0)][DBLP]
    SAS, 2000, pp:280-301 [Conf]
  16. Laurent Mauborgne
    Tree Schemata and Fair Termination. [Citation Graph (0, 0)][DBLP]
    SAS, 2000, pp:302-321 [Conf]
  17. David Monniaux
    Abstract Interpretation of Probabilistic Semantics. [Citation Graph (0, 0)][DBLP]
    SAS, 2000, pp:322-339 [Conf]
  18. Robert Muth, Scott A. Watterson, Saumya K. Debray
    Code Specialization Based on Value Profiles. [Citation Graph (0, 0)][DBLP]
    SAS, 2000, pp:340-359 [Conf]
  19. James Riely, Jan Prins
    Flattening Is an Improvement. [Citation Graph (0, 0)][DBLP]
    SAS, 2000, pp:360-376 [Conf]
  20. Hassen Saïdi
    Model Checking Guided Abstraction and Analysis. [Citation Graph (0, 0)][DBLP]
    SAS, 2000, pp:377-396 [Conf]
  21. Francesca Scozzari
    Abstract Domains for Sharing Analysis by Optimal Semantics. [Citation Graph (0, 0)][DBLP]
    SAS, 2000, pp:397-412 [Conf]
  22. Cristian Ungureanu, Suresh Jagannathan
    Concurrency Analysis for Java. [Citation Graph (0, 0)][DBLP]
    SAS, 2000, pp:413-432 [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