Electronic Notes in Theoretical Computer Science, Volume 289

Volume 289, December 2012

- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/Jeannet12
- ask others
Bertrand Jeannet: Preface. 1-2
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/BradleyCFGH12
- ask others
Mark Bradley, Franck Cassez, Ansgar Fehnker, Thomas Given-Wilson, Ralf Huuck: High Performance Static Analysis for Industry. 3-14
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/HenryMM12
- ask others
Julien Henry, David Monniaux, Matthieu Moy: PAGAI: A Path Sensitive Static Analyser. 15-25
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/KhanhO12
- ask others
To Van Khanh, Mizuhito Ogawa: SMT for Polynomial Constraints on Real Numbers. 27-40
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/MichielBC12
- ask others
Marianne De Michiel, Armelle Bonenfant, Hugues Cassé: Normalisation of Loops with Covariant Variables. 41-51
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/SeppKS12
- ask others
Alexander Sepp, Julian Kranz, Axel Simon: GDSL: A Generic Decoder Specification Language for Interpreting Machine Language. 53-64