default search action

combined dblp search
author search
venue search
publication search

ask others

2nd NSAD@SAS 2010: Perpignan, France

> Home > Conferences and Workshops > NSAD
> Home > Conferences and Workshops > SAS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  - electronic edition @ sciencedirect.com
  - details & citations
- export record
  dblp key:
  - conf/nsad/2010
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nsad/2010
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
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/MineR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/MineR10
Antoine Miné, Enric Rodríguez-Carbonell:
Preface. 1-2
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/AncourtCI10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/AncourtCI10
Corinne Ancourt, Fabien Coelho, François Irigoin:
A Modular Static Analysis Approach to Affine Loop Invariants Detection. 3-16
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BarrettK10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BarrettK10
Edd Barrett, Andy King:
Range and Set Abstraction using SAT. 17-27
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BouissouSC10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BouissouSC10
Olivier Bouissou, Yassamine Seladji, Alexandre Chapoutot:
Abstract Fixpoint Computations with Numerical Acceleration Methods. 29-42
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/ElderGR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/ElderGR10
Matt Elder, Denis Gopan, Thomas W. Reps:
View-Augmented Abstractions. 43-57
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/FularaDJS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/FularaDJS10
Jedrzej Fulara, Konrad Durnoga, Krzysztof Jakubczyk, Aleksy Schubert:
Relational Abstract Domain of Weighted Hexagons. 59-72
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/GoubaultRLLM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/GoubaultRLLM10
Eric Goubault, Stéphane Le Roux, Jeremy Leconte, Leo Liberti, Fabrizio Marinelli:
Static Analysis by Abstract Interpretation: A Mathematical Programming Approach. 73-87
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/HoweKL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/HoweKL10
Jacob M. Howe, Andy King, Charles Lawrence-Jones:
Quadtrees as an Abstract Domain. 89-100
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/SchrammelJ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/SchrammelJ10
Peter Schrammel, Bertrand Jeannet:
Extending Abstract Acceleration Methods to Data-Flow Programs with Numerical Inputs. 101-114
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Simon10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Simon10
Axel Simon:
A Note on the Inversion Join for Polyhedral Analysis. 115-126
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Simon10a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Simon10a
Axel Simon:
Speeding up Polyhedral Analysis by Identifying Common Constraints. 127-138
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/SotinJR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/SotinJR10
Pascal Sotin, Bertrand Jeannet, Xavier Rival:
Concrete Memory Models for Shape Analysis. 139-150

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.