Refining Abstract Interpretation-Based Static Analyses with Hints release_ilynnfsznbe4fiydpqvty2vsee

by Vincent Laviron, Francesco Logozzo

Published in Lecture Notes in Computer Science by Springer Berlin Heidelberg.

2009   p343-358

Archived Files and Locations

application/pdf  455.7 kB
file_zy6bl7tvuvfabfxrabhlwkkfqa
research.microsoft.com (web)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  chapter
Stage   published
Year   2009
Container Metadata
Not in DOAJ
Not in Keepers Registry
ISSN-L:  0302-9743
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 3c10771f-fc83-4a44-ac40-0e3139c29b22
API URL: JSON