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/antologi/afhandling/rapportBogForskningpeer review

OriginalsprogEngelsk
DOI
StatusUdgivet - 2014

Citer dette

Ströder, T. ; Giesl, J. ; Brockschmidt, M. ; Frohn, F. ; Fuhs, C. ; Hensel, J. ; Schneider-Kamp, P. / Proving termination and memory safety for programs with pointer arithmetic. 2014.
@book{9d409e1f5678413d90fd39ad6bab5c87,
title = "Proving termination and memory safety for programs with pointer arithmetic",
author = "T. Str{\"o}der and J. Giesl and M. Brockschmidt and F. Frohn and C. Fuhs and J. Hensel and P. Schneider-Kamp",
year = "2014",
doi = "10.1007/978-3-319-08587-6_15",
language = "English",

}

Proving termination and memory safety for programs with pointer arithmetic. / Ströder, T.; Giesl, J.; Brockschmidt, M.; Frohn, F.; Fuhs, C.; Hensel, J.; Schneider-Kamp, P.

2014.

Publikation: Bog/antologi/afhandling/rapportBogForskningpeer review

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 - Book

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

ER -