default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID3rd NSAD@SAS 2011: Venice, Italy
- Damien Massé, Laurent Mauborgne:
Proceedings of the Third International Workshop on Numerical and Symbolic Abstract Domains, NSAD@SAS 2011, Venice, Italy, September 13, 2011. Electronic Notes in Theoretical Computer Science 288, Elsevier 2012 - Damien Massé, Laurent Mauborgne:
Preface. 1-2 - Stefan Bygde, Björn Lisper, Niklas Holsti:
Fully Bounded Polyhedral Analysis of Integers with Wrapping. 3-13 - Manuel Fähndrich, Francesco Logozzo:
Checking Compatibility of Bit Sizes in Floating Point Comparison Operations. 15-23 - Krzysztof Jakubczyk:
Sweeping in Abstract Interpretation. 25-36 - Bertrand Jeannet, Pascal Sotin:
Inferring Effective Types for Static Analysis of C Programs. 37-47 - Vivien Maisonneuve:
Convex Invariant Refinement by Control Node Splitting: a Heuristic Approach. 49-59 - David Monniaux
, Julien Le Guen:
Stratified Static Analysis Based on Variable Dependencies. 61-74 - Holger Siegel, Axel Simon:
Summarized Dimensions Revisited. 75-86
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-01-18 01:09 CET 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:
