|
|
Conferences in DBLP
- Ehud Y. Shapiro
Injecting Life with Computers. [Citation Graph (0, 0)][DBLP]
SAS, 2004, pp:1- [Conf]
- Dirk Beyer, Adam J. Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
The Blast Query Language for Software Verification.. [Citation Graph (0, 0)][DBLP]
SAS, 2004, pp:2-18 [Conf]
- Yannis Smaragdakis
Program Generators and the Tools to Make Them. [Citation Graph (0, 0)][DBLP]
SAS, 2004, pp:19-20 [Conf]
- Sheila A. McIlraith
Towards Declarative Programming for Web Services. [Citation Graph (0, 0)][DBLP]
SAS, 2004, pp:21- [Conf]
- David A. Schmidt
Closed and Logical Relations for Over- and Under-Approximation of Powersets. [Citation Graph (0, 0)][DBLP]
SAS, 2004, pp:22-37 [Conf]
- Mila Dalla Preda
Completeness Refinement in Abstract Symbolic Trajectory Evaluation. [Citation Graph (0, 0)][DBLP]
SAS, 2004, pp:38-52 [Conf]
- Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna
Constraint-Based Linear-Relations Analysis. [Citation Graph (0, 0)][DBLP]
SAS, 2004, pp:53-68 [Conf]
- Hanne Riis Nielson, Flemming Nielson, Henrik Pilegaard
Spatial Analysis of BioAmbients. [Citation Graph (0, 0)][DBLP]
SAS, 2004, pp:69-83 [Conf]
- Qi Sun, Anindya Banerjee, David A. Naumann
Modular and Constraint-Based Information Flow Inference for an Object-Oriented Language. [Citation Graph (0, 0)][DBLP]
SAS, 2004, pp:84-99 [Conf]
- Torben Amtoft, Anindya Banerjee
Information Flow Analysis in Logical Form. [Citation Graph (0, 0)][DBLP]
SAS, 2004, pp:100-115 [Conf]
- Cormac Flanagan, Stephen N. Freund
Type Inference Against Races. [Citation Graph (0, 0)][DBLP]
SAS, 2004, pp:116-132 [Conf]
- Suan Hsi Yong, Susan Horwitz
Pointer-Range Analysis. [Citation Graph (0, 0)][DBLP]
SAS, 2004, pp:133-148 [Conf]
- Arnaud Venet
A Scalable Nonuniform Pointer Analysis for Embedded Programs. [Citation Graph (0, 0)][DBLP]
SAS, 2004, pp:149-164 [Conf]
- Erik M. Nystrom, Hong-Seok Kim, Wen-mei W. Hwu
Bottom-Up and Top-Down Context-Sensitive Summary-Based Pointer Analysis. [Citation Graph (0, 0)][DBLP]
SAS, 2004, pp:165-180 [Conf]
- Sarah Thompson, Alan Mycroft
Abstract Interpretation of Combinational Asynchronous Circuits. [Citation Graph (0, 0)][DBLP]
SAS, 2004, pp:181-196 [Conf]
- Charles Hymans, Eben Upton
Static Analysis of Gated Data Dependence Graphs. [Citation Graph (0, 0)][DBLP]
SAS, 2004, pp:197-211 [Conf]
- Sumit Gulwani, George C. Necula
A Polynomial-Time Algorithm for Global Value Numbering. [Citation Graph (0, 0)][DBLP]
SAS, 2004, pp:212-227 [Conf]
- Radu Rugina
Shape Analysis Quantitative Shape Analysis. [Citation Graph (0, 0)][DBLP]
SAS, 2004, pp:228-245 [Conf]
- Bertrand Jeannet, Alexey Loginov, Thomas W. Reps, Shmuel Sagiv
A Relational Approach to Interprocedural Shape Analysis. [Citation Graph (0, 0)][DBLP]
SAS, 2004, pp:246-264 [Conf]
- Roman Manevich, Shmuel Sagiv, Ganesan Ramalingam, John Field
Partially Disjunctive Heap Abstraction. [Citation Graph (0, 0)][DBLP]
SAS, 2004, pp:265-279 [Conf]
- Enric Rodríguez-Carbonell, Deepak Kapur
An Abstract Interpretation Approach for Automatic Generation of Polynomial Invariants. [Citation Graph (0, 0)][DBLP]
SAS, 2004, pp:280-295 [Conf]
- Michael Colón
Approximating the Algebraic Relational Semantics of Imperative Programs. [Citation Graph (0, 0)][DBLP]
SAS, 2004, pp:296-311 [Conf]
- Robert Clarisó, Jordi Cortadella
The Octahedron Abstract Domain. [Citation Graph (0, 0)][DBLP]
SAS, 2004, pp:312-327 [Conf]
- Sumit Gulwani, George C. Necula
Path-Sensitive Analysis for Linear Arithmetic and Uninterpreted Functions. [Citation Graph (0, 0)][DBLP]
SAS, 2004, pp:328-343 [Conf]
- Marius Bozga, Radu Iosif, Yassine Lakhnech
On Logics of Aliasing. [Citation Graph (0, 0)][DBLP]
SAS, 2004, pp:344-360 [Conf]
- Viktor Kuncak, Martin C. Rinard
Generalized Records and Spatial Conjunction in Role Logic. [Citation Graph (0, 0)][DBLP]
SAS, 2004, pp:361-376 [Conf]
- Étienne Payet, Frédéric Mesnard
Non-termination Inference for Constraint Logic Programs. [Citation Graph (0, 0)][DBLP]
SAS, 2004, pp:377-392 [Conf]
|
