ask others

Electronic Notes in Theoretical Computer Science, Volume 288

> Home > Journals > Electronic Notes in Theoretical Computer Science

Volume 288, December 2012

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/MasseM12
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/entcs/MasseM12
Damien Massé, Laurent Mauborgne:
Preface. 1-2
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/BygdeLH12
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/entcs/BygdeLH12
Stefan Bygde, Björn Lisper, Niklas Holsti:
Fully Bounded Polyhedral Analysis of Integers with Wrapping. 3-13
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/FahndrichL12
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/entcs/FahndrichL12
Manuel Fähndrich, Francesco Logozzo:
Checking Compatibility of Bit Sizes in Floating Point Comparison Operations. 15-23
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/Jakubczyk12
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/entcs/Jakubczyk12
Krzysztof Jakubczyk:
Sweeping in Abstract Interpretation. 25-36
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/JeannetS12
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/entcs/JeannetS12
Bertrand Jeannet, Pascal Sotin:
Inferring Effective Types for Static Analysis of C Programs. 37-47
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/Maisonneuve12
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/entcs/Maisonneuve12
Vivien Maisonneuve:
Convex Invariant Refinement by Control Node Splitting: a Heuristic Approach. 49-59
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/MonniauxG12
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/entcs/MonniauxG12
David Monniaux, Julien Le Guen:
Stratified Static Analysis Based on Variable Dependencies. 61-74
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/SiegelS12
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/entcs/SiegelS12
Holger Siegel, Axel Simon:
Summarized Dimensions Revisited. 75-86