![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
2nd NSAD@SAS 2010: Perpignan, France
- Antoine Miné, Enric Rodríguez-Carbonell:
Proceeding of the Second International Workshop on Numerical and Symbolic Abstract Domains, NSAD@SAS 2010, Perpignan, France, September 13, 2010. Electronic Notes in Theoretical Computer Science 267(1), Elsevier 2010 - Antoine Miné, Enric Rodríguez-Carbonell:
Preface. 1-2 - Corinne Ancourt, Fabien Coelho, François Irigoin:
A Modular Static Analysis Approach to Affine Loop Invariants Detection. 3-16 - Edd Barrett, Andy King:
Range and Set Abstraction using SAT. 17-27 - Olivier Bouissou, Yassamine Seladji, Alexandre Chapoutot
:
Abstract Fixpoint Computations with Numerical Acceleration Methods. 29-42 - Matt Elder, Denis Gopan, Thomas W. Reps:
View-Augmented Abstractions. 43-57 - Jedrzej Fulara, Konrad Durnoga, Krzysztof Jakubczyk, Aleksy Schubert:
Relational Abstract Domain of Weighted Hexagons. 59-72 - Eric Goubault, Stéphane Le Roux, Jeremy Leconte, Leo Liberti
, Fabrizio Marinelli
:
Static Analysis by Abstract Interpretation: A Mathematical Programming Approach. 73-87 - Jacob M. Howe
, Andy King, Charles Lawrence-Jones:
Quadtrees as an Abstract Domain. 89-100 - Peter Schrammel
, Bertrand Jeannet:
Extending Abstract Acceleration Methods to Data-Flow Programs with Numerical Inputs. 101-114 - Axel Simon:
A Note on the Inversion Join for Polyhedral Analysis. 115-126 - Axel Simon:
Speeding up Polyhedral Analysis by Identifying Common Constraints. 127-138 - Pascal Sotin, Bertrand Jeannet, Xavier Rival:
Concrete Memory Models for Shape Analysis. 139-150
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.