20. SAS 2013:
Seattle, WA, USA
share record
short URL:
https://dblp.org/rec/conf/sas/2013 share record
short URL:
https://dblp.org/rec/conf/sas/Goubault13 Eric Goubault :
Static Analysis by Abstract Interpretation of Numerical Programs and Systems, and FLUCTUAT. 1-3 export record
dblp key:
conf/sas/Sankaranarayanan13 share record
short URL:
https://dblp.org/rec/conf/sas/Sankaranarayanan13 share record
short URL:
https://dblp.org/rec/conf/sas/GangeNSSS13 share record
short URL:
https://dblp.org/rec/conf/sas/AmatoS13 share record
short URL:
https://dblp.org/rec/conf/sas/Urban13 Caterina Urban :
The Abstract Domain of Segmented Ranking Functions. 43-62 share record
short URL:
https://dblp.org/rec/conf/sas/PelegSYY13 share record
short URL:
https://dblp.org/rec/conf/sas/DanMVY13 share record
short URL:
https://dblp.org/rec/conf/sas/BjornerMR13 share record
short URL:
https://dblp.org/rec/conf/sas/Roy13 Subhajit Roy :
From Concrete Examples to Heap Manipulating Programs. 126-149 share record
short URL:
https://dblp.org/rec/conf/sas/DragoiES13 share record
short URL:
https://dblp.org/rec/conf/sas/0001MP13 share record
short URL:
https://dblp.org/rec/conf/sas/KimDS13 share record
short URL:
https://dblp.org/rec/conf/sas/DudkaPV13 share record
short URL:
https://dblp.org/rec/conf/sas/PartushY13 share record
short URL:
https://dblp.org/rec/conf/sas/Komondoor13 Raghavan Komondoor :
Precise Slicing in Imperative Programs via Term-Rewriting and Abstract Interpretation. 259-282 share record
short URL:
https://dblp.org/rec/conf/sas/RaychevVY13 share record
short URL:
https://dblp.org/rec/conf/sas/NamjoshiZ13 share record
short URL:
https://dblp.org/rec/conf/sas/BlazyLMP13 share record
short URL:
https://dblp.org/rec/conf/sas/FouilheMP13 share record
short URL:
https://dblp.org/rec/conf/sas/MajumdarMW13 share record
short URL:
https://dblp.org/rec/conf/sas/0001GHAN13 share record
short URL:
https://dblp.org/rec/conf/sas/BrainDGHK13 share record
short URL:
https://dblp.org/rec/conf/sas/WhiteM13 Leo White ,
Alan Mycroft :
Concise Analysis Using Implication Algebras for Task-Local Memory Optimisation. 433-453 share record
short URL:
https://dblp.org/rec/conf/sas/DOsualdoKO13 share record
short URL:
https://dblp.org/rec/conf/sas/LammichMSW13
maintained by
, founded at