|
Conferences in DBLP
- Daniel Jackson
Enforcing Design Constraints with Object Logic. [Citation Graph (0, 0)][DBLP] SAS, 2000, pp:1-21 [Conf]
- Andreas Podelski
Model Checking as Constraint Solving. [Citation Graph (0, 0)][DBLP] SAS, 2000, pp:22-37 [Conf]
- Gianluca Amato, Giorgio Levi
Abstract Interpretation Based Semantics of Sequent Calculi. [Citation Graph (0, 0)][DBLP] SAS, 2000, pp:38-57 [Conf]
- 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]
- 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]
- 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]
- Nurit Dor, Michael Rodeh, Shmuel Sagiv
Checking Cleanness in Linked Lists. [Citation Graph (0, 0)][DBLP] SAS, 2000, pp:115-134 [Conf]
- Jérôme Feret
Confidentiality Analysis of Mobile Systems. [Citation Graph (0, 0)][DBLP] SAS, 2000, pp:135-154 [Conf]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- Tal Lev-Ami, Shmuel Sagiv
TVLA: A System for Implementing Static Analyses. [Citation Graph (0, 0)][DBLP] SAS, 2000, pp:280-301 [Conf]
- Laurent Mauborgne
Tree Schemata and Fair Termination. [Citation Graph (0, 0)][DBLP] SAS, 2000, pp:302-321 [Conf]
- David Monniaux
Abstract Interpretation of Probabilistic Semantics. [Citation Graph (0, 0)][DBLP] SAS, 2000, pp:322-339 [Conf]
- 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]
- James Riely, Jan Prins
Flattening Is an Improvement. [Citation Graph (0, 0)][DBLP] SAS, 2000, pp:360-376 [Conf]
- Hassen Saïdi
Model Checking Guided Abstraction and Analysis. [Citation Graph (0, 0)][DBLP] SAS, 2000, pp:377-396 [Conf]
- Francesca Scozzari
Abstract Domains for Sharing Analysis by Optimal Semantics. [Citation Graph (0, 0)][DBLP] SAS, 2000, pp:397-412 [Conf]
- Cristian Ungureanu, Suresh Jagannathan
Concurrency Analysis for Java. [Citation Graph (0, 0)][DBLP] SAS, 2000, pp:413-432 [Conf]
|