Complete abstract interpretations made constructive release_bafbn7uzsnhdzlvesqve4nq3wm

by Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari

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

1998   p366-377

Archived Files and Locations

application/pdf  134.6 kB
file_5dos5nyq4fdtlebrwvqk3a65ju
web.archive.org (webarchive)
www.math.unipd.it (web)
Read Archived PDF
Preserved and Accessible
Type  chapter
Stage   published
Year   1998
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: 56f1720c-99a4-41fc-9276-18778ff05d33
API URL: JSON