default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID10. SAS 2003: San Diego, California, USA
- Radhia Cousot:
Static Analysis, 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003, Proceedings. Lecture Notes in Computer Science 2694, Springer 2003, ISBN 3-540-40325-6
Static Analysis of Object-Oriented Languages
- Aske Simon Christensen, Anders Møller, Michael I. Schwartzbach:
Precise Analysis of String Expressions. 1-18 - Frédéric Besson, Thomas P. Jensen:
Modular Class Analysis with DATALOG. 19-36 - Francesco Logozzo:
Class-Level Modular Analysis for Object Oriented Languages. 37-54
Static Analysis of Concurrent Languages
- John Boyland
:
Checking Interference with Fractional Permissions. 55-72 - Richard Carlsson, Konstantinos Sagonas, Jesper Wilhelmsson:
Message Analysis for Concurrent Languages. 73-90 - Olivier Tardieu, Robert de Simone:
Instantaneous Termination in Pure Esterel. 91-108 - Krishnendu Chatterjee, Di Ma, Rupak Majumdar, Tian Zhao, Thomas A. Henzinger, Jens Palsberg:
Stack Size Analysis for Interrupt-Driven Programs. 109-126
Invited Paper
- Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García:
Program Development Using Abstract Interpretation (And The Ciao System Preprocessor). 127-152
Static Analysis of Functional Languages
- Yasuhiko Minamide:
Selective Tail Call Elimination. 153-170 - Oukseh Lee, Hongseok Yang, Kwangkeun Yi:
Inserting Safe Memory Reuse Commands into ML-Like Programs. 171-188
Static Analysis of Procedural Languages
- Thomas W. Reps, Stefan Schwoon, Somesh Jha:
Weighted Pushdown Systems and Their Application to Interprocedural Dataflow Analysis. 189-213 - Samuel Z. Guyer, Calvin Lin:
Client-Driven Pointer Analysis. 214-236 - David Monniaux:
Abstract Interpretation of Programs as Markov Decision Processes. 237-254
Static Data Analysis
- Paolo Baldan, Barbara König, Bernhard König:
A Logic for Analyzing Abstractions of Graph Transformation Systems. 255-272 - Ben Liblit, Alex Aiken, Katherine A. Yelick:
Type Systems for Distributed Data Sharing. 273-294 - Ted Kremenek, Dawson R. Engler:
Z-Ranking: Using Statistical Analysis to Counter the Impact of Static Analysis Approximations. 295-315 - Martín Abadi, Bruno Blanchet:
Computer-Assisted Verification of a Protocol for Certified Email. 316-335
Invited Talk
- Kenneth L. McMillan:
Craig Interpolation and Reachability Analysis. 336
Static Linear Relation Analysis
- Roberto Bagnara, Patricia M. Hill, Elisa Ricci, Enea Zaffanella:
Precise Widening Operators for Convex Polyhedra. 337-354 - Nicolas Halbwachs, David Merchat, Catherine Parent-Vigouroux:
Cartesian Factoring of Polyhedra in Linear Relation Analysis. 355-365
Static Analysis Based Program Transformation
- Peter Thiemann:
Continuation-Based Partial Evaluation without Continuations. 366-382 - Priya Unnikrishnan, Guangyu Chen, Mahmut T. Kandemir, Mustafa Karaköy, Ibrahim Kolcu:
Loop Transformations for Reducing Data Space Requirements of Resource-Constrained Applications. 383-400 - Wen-Ke Chen, Bengu Li, Rajiv Gupta:
Code Compaction of Matching Single-Entry Multiple-Exit Regions. 401-417
Static Heap Analysis
- Viktor Kuncak, Martin C. Rinard:
Existential Heap Abstraction Entailment Is Undecidable. 418-438 - John Field, Deepak Goyal, G. Ramalingam, Eran Yahav:
Typestate Verification: Abstraction Techniques and Complexity Results. 439-462 - Stephen Chong, Radu Rugina:
Static Analysis of Accessed Regions in Recursive Data Structures. 463-482 - Ran Shaham, Eran Yahav, Elliot K. Kolodner, Shmuel Sagiv:
Establishing Local Temporal Heap Safety Properties with Applications to Compile-Time Memory Management. 483-503
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-04-27 18:09 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
