Search dblp for Publications

export results for "toc:db/conf/sas/sas2004.bht:"

 download as .bib file

@inproceedings{DBLP:conf/sas/AmtoftB04,
  author    = {Torben Amtoft and
               Anindya Banerjee},
  title     = {Information Flow Analysis in Logical Form},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {3148},
  pages     = {100--115},
  publisher = {Springer},
  year      = {2004}
}
@inproceedings{DBLP:conf/sas/BeyerCHJM04,
  author    = {Dirk Beyer and
               Adam Chlipala and
               Thomas A. Henzinger and
               Ranjit Jhala and
               Rupak Majumdar},
  title     = {The Blast Query Language for Software Verification.},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {3148},
  pages     = {2--18},
  publisher = {Springer},
  year      = {2004}
}
@inproceedings{DBLP:conf/sas/BozgaIL04,
  author    = {Marius Bozga and
               Radu Iosif and
               Yassine Lakhnech},
  title     = {On Logics of Aliasing},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {3148},
  pages     = {344--360},
  publisher = {Springer},
  year      = {2004}
}
@inproceedings{DBLP:conf/sas/ClarisoC04,
  author    = {Robert Claris{\'{o}} and
               Jordi Cortadella},
  title     = {The Octahedron Abstract Domain},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {3148},
  pages     = {312--327},
  publisher = {Springer},
  year      = {2004}
}
@inproceedings{DBLP:conf/sas/Colon04,
  author    = {Michael Col{\'{o}}n},
  title     = {Approximating the Algebraic Relational Semantics of Imperative Programs},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {3148},
  pages     = {296--311},
  publisher = {Springer},
  year      = {2004}
}
@inproceedings{DBLP:conf/sas/FlanaganF04,
  author    = {Cormac Flanagan and
               Stephen N. Freund},
  title     = {Type Inference Against Races},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {3148},
  pages     = {116--132},
  publisher = {Springer},
  year      = {2004}
}
@inproceedings{DBLP:conf/sas/GulwaniN04,
  author    = {Sumit Gulwani and
               George C. Necula},
  title     = {A Polynomial-Time Algorithm for Global Value Numbering},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {3148},
  pages     = {212--227},
  publisher = {Springer},
  year      = {2004}
}
@inproceedings{DBLP:conf/sas/GulwaniN04a,
  author    = {Sumit Gulwani and
               George C. Necula},
  title     = {Path-Sensitive Analysis for Linear Arithmetic and Uninterpreted Functions},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {3148},
  pages     = {328--343},
  publisher = {Springer},
  year      = {2004}
}
@inproceedings{DBLP:conf/sas/HymansU04,
  author    = {Charles Hymans and
               Eben Upton},
  title     = {Static Analysis of Gated Data Dependence Graphs},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {3148},
  pages     = {197--211},
  publisher = {Springer},
  year      = {2004}
}
@inproceedings{DBLP:conf/sas/JeannetLRS04,
  author    = {Bertrand Jeannet and
               Alexey Loginov and
               Thomas W. Reps and
               Shmuel Sagiv},
  title     = {A Relational Approach to Interprocedural Shape Analysis},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {3148},
  pages     = {246--264},
  publisher = {Springer},
  year      = {2004}
}
@inproceedings{DBLP:conf/sas/KuncakR04,
  author    = {Viktor Kuncak and
               Martin C. Rinard},
  title     = {Generalized Records and Spatial Conjunction in Role Logic},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {3148},
  pages     = {361--376},
  publisher = {Springer},
  year      = {2004}
}
@inproceedings{DBLP:conf/sas/ManevichSRF04,
  author    = {Roman Manevich and
               Shmuel Sagiv and
               Ganesan Ramalingam and
               John Field},
  title     = {Partially Disjunctive Heap Abstraction},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {3148},
  pages     = {265--279},
  publisher = {Springer},
  year      = {2004}
}
@inproceedings{DBLP:conf/sas/McIlraith04,
  author    = {Sheila A. McIlraith},
  title     = {Towards Declarative Programming for Web Services},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {3148},
  pages     = {21},
  publisher = {Springer},
  year      = {2004}
}
@inproceedings{DBLP:conf/sas/NielsonNP04,
  author    = {Hanne Riis Nielson and
               Flemming Nielson and
               Henrik Pilegaard},
  title     = {Spatial Analysis of BioAmbients},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {3148},
  pages     = {69--83},
  publisher = {Springer},
  year      = {2004}
}
@inproceedings{DBLP:conf/sas/NystromKH04,
  author    = {Erik M. Nystrom and
               Hong{-}Seok Kim and
               Wen{-}mei W. Hwu},
  title     = {Bottom-Up and Top-Down Context-Sensitive Summary-Based Pointer Analysis},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {3148},
  pages     = {165--180},
  publisher = {Springer},
  year      = {2004}
}
@inproceedings{DBLP:conf/sas/PayetM04,
  author    = {{\'{E}}tienne Payet and
               Fr{\'{e}}d{\'{e}}ric Mesnard},
  title     = {Non-termination Inference for Constraint Logic Programs},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {3148},
  pages     = {377--392},
  publisher = {Springer},
  year      = {2004}
}
@inproceedings{DBLP:conf/sas/Preda04,
  author    = {Mila Dalla Preda},
  title     = {Completeness Refinement in Abstract Symbolic Trajectory Evaluation},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {3148},
  pages     = {38--52},
  publisher = {Springer},
  year      = {2004}
}
@inproceedings{DBLP:conf/sas/Rodriguez-CarbonellK04,
  author    = {Enric Rodr{\'{\i}}guez{-}Carbonell and
               Deepak Kapur},
  title     = {An Abstract Interpretation Approach for Automatic Generation of Polynomial
               Invariants},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {3148},
  pages     = {280--295},
  publisher = {Springer},
  year      = {2004}
}
@inproceedings{DBLP:conf/sas/Rugina04,
  author    = {Radu Rugina},
  title     = {Shape Analysis Quantitative Shape Analysis},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {3148},
  pages     = {228--245},
  publisher = {Springer},
  year      = {2004}
}
@inproceedings{DBLP:conf/sas/SankaranarayananSM04,
  author    = {Sriram Sankaranarayanan and
               Henny B. Sipma and
               Zohar Manna},
  title     = {Constraint-Based Linear-Relations Analysis},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {3148},
  pages     = {53--68},
  publisher = {Springer},
  year      = {2004}
}
@inproceedings{DBLP:conf/sas/Schmidt04,
  author    = {David A. Schmidt},
  title     = {Closed and Logical Relations for Over- and Under-Approximation of
               Powersets},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {3148},
  pages     = {22--37},
  publisher = {Springer},
  year      = {2004}
}
@inproceedings{DBLP:conf/sas/Shapiro04,
  author    = {Ehud Shapiro},
  title     = {Injecting Life with Computers},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {3148},
  pages     = {1},
  publisher = {Springer},
  year      = {2004}
}
@inproceedings{DBLP:conf/sas/Smaragdakis04,
  author    = {Yannis Smaragdakis},
  title     = {Program Generators and the Tools to Make Them},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {3148},
  pages     = {19--20},
  publisher = {Springer},
  year      = {2004}
}
@inproceedings{DBLP:conf/sas/SunBN04,
  author    = {Qi Sun and
               Anindya Banerjee and
               David A. Naumann},
  title     = {Modular and Constraint-Based Information Flow Inference for an Object-Oriented
               Language},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {3148},
  pages     = {84--99},
  publisher = {Springer},
  year      = {2004}
}
@inproceedings{DBLP:conf/sas/ThompsonM04,
  author    = {Sarah Thompson and
               Alan Mycroft},
  title     = {Abstract Interpretation of Combinational Asynchronous Circuits},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {3148},
  pages     = {181--196},
  publisher = {Springer},
  year      = {2004}
}
@inproceedings{DBLP:conf/sas/Venet04,
  author    = {Arnaud Venet},
  title     = {A Scalable Nonuniform Pointer Analysis for Embedded Programs},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {3148},
  pages     = {149--164},
  publisher = {Springer},
  year      = {2004}
}
@inproceedings{DBLP:conf/sas/YongH04,
  author    = {Suan Hsi Yong and
               Susan Horwitz},
  title     = {Pointer-Range Analysis},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {3148},
  pages     = {133--148},
  publisher = {Springer},
  year      = {2004}
}
@proceedings{DBLP:conf/sas/2004,
  editor    = {Roberto Giacobazzi},
  title     = {Static Analysis, 11th International Symposium, {SAS} 2004, Verona,
               Italy, August 26-28, 2004, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3148},
  publisher = {Springer},
  year      = {2004}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics