Proving termination and memory safety for programs with pointer arithmetic

T. Ströder, J. Giesl, M. Brockschmidt, F. Frohn, C. Fuhs, J. Hensel, P. Schneider-Kamp

Publikation: Bog/rapport › Monografi › Forskning › peer review

Originalsprog	Engelsk

DOI	https://doi.org/10.1007/978-3-319-08587-6_15
Status	Udgivet - 2014

Dokumenter og links

TY - BOOK

T1 - Proving termination and memory safety for programs with pointer arithmetic

AU - Ströder, T.

AU - Giesl, J.

AU - Brockschmidt, M.

AU - Frohn, F.

AU - Fuhs, C.

AU - Hensel, J.

AU - Schneider-Kamp, P.

PY - 2014

Y1 - 2014

UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-84958549765&partnerID=MN8TOARS

U2 - 10.1007/978-3-319-08587-6_15

DO - 10.1007/978-3-319-08587-6_15

M3 - Monograph

BT - Proving termination and memory safety for programs with pointer arithmetic

ER -