default search action

combined dblp search
author search
venue search
publication search

ask others

3rd TAPAS@SAS 2012: Deauville, France

> Home > Conferences and Workshops > TAPAS
> 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/tapas2/2012
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapas2/2012
Bertrand Jeannet:
Third Workshop on Tools for Automatic Program Analysis, TAPAS 2012, Deauville, France, September 14, 2012. Electronic Notes in Theoretical Computer Science 289, Elsevier 2012
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Jeannet12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Jeannet12
Bertrand Jeannet:
Preface. 1-2
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BradleyCFGH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BradleyCFGH12
Mark Bradley, Franck Cassez, Ansgar Fehnker, Thomas Given-Wilson, Ralf Huuck:
High Performance Static Analysis for Industry. 3-14
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/HenryMM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/HenryMM12
Julien Henry, David Monniaux, Matthieu Moy:
PAGAI: A Path Sensitive Static Analyser. 15-25
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/KhanhO12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/KhanhO12
To Van Khanh, Mizuhito Ogawa:
SMT for Polynomial Constraints on Real Numbers. 27-40
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/MichielBC12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/MichielBC12
Marianne De Michiel, Armelle Bonenfant, Hugues Cassé:
Normalisation of Loops with Covariant Variables. 41-51
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/SeppKS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/SeppKS12
Alexander Sepp, Julian Kranz, Axel Simon:
GDSL: A Generic Decoder Specification Language for Interpreting Machine Language. 53-64

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.