Proving Termination and Memory Safety for Programs with Pointer Arithmetic

Thomas Ströder, Jürgen Giesl, Marc Brockschmidt, Florian Frohn, Carsten Fuhs, Jera Hensel, Peter Schneider-Kamp

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

OriginalsprogEngelsk
TitelAutomated Reasoning : Proceedings of the 7th International Joint Conference on Automated Reasoning (IJCAR '14)
RedaktørerStéphane Demri, Deepak Kapur, Christoph Weidenbach
Antal sider16
ForlagSpringer
Publikationsdato2014
Sider208-223
ISBN (Trykt)978-3-319-08586-9
ISBN (Elektronisk)978-3-319-08587-6
DOI
StatusUdgivet - 2014
Begivenhed7th International Joint Conference on Automated Reasoning - Vienna, Østrig
Varighed: 19. jul. 201422. jul. 2014
Konferencens nummer: 7

Konference

Konference7th International Joint Conference on Automated Reasoning
Nummer7
LandØstrig
ByVienna
Periode19/07/201422/07/2014
NavnLecture Notes in Computer Science
Vol/bind8562
ISSN0302-9743

Citer dette

Ströder, T., Giesl, J., Brockschmidt, M., Frohn, F., Fuhs, C., Hensel, J., & Schneider-Kamp, P. (2014). Proving Termination and Memory Safety for Programs with Pointer Arithmetic. I S. Demri, D. Kapur, & C. Weidenbach (red.), Automated Reasoning: Proceedings of the 7th International Joint Conference on Automated Reasoning (IJCAR '14) (s. 208-223). Springer. Lecture Notes in Computer Science, Bind. 8562 https://doi.org/10.1007/978-3-319-08587-6_15
Ströder, Thomas ; Giesl, Jürgen ; Brockschmidt, Marc ; Frohn, Florian ; Fuhs, Carsten ; Hensel, Jera ; Schneider-Kamp, Peter. / Proving Termination and Memory Safety for Programs with Pointer Arithmetic. Automated Reasoning: Proceedings of the 7th International Joint Conference on Automated Reasoning (IJCAR '14). red. / Stéphane Demri ; Deepak Kapur ; Christoph Weidenbach. Springer, 2014. s. 208-223 (Lecture Notes in Computer Science, Bind 8562).
@inproceedings{6d6594bd0d0e4f5786d523cfa8dc85d1,
title = "Proving Termination and Memory Safety for Programs with Pointer Arithmetic",
author = "Thomas Str{\"o}der and J{\"u}rgen Giesl and Marc Brockschmidt and Florian Frohn and Carsten Fuhs and Jera Hensel and Peter Schneider-Kamp",
year = "2014",
doi = "10.1007/978-3-319-08587-6_15",
language = "English",
isbn = "978-3-319-08586-9",
pages = "208--223",
editor = "St{\'e}phane Demri and Deepak Kapur and Christoph Weidenbach",
booktitle = "Automated Reasoning",
publisher = "Springer",
address = "Germany",

}

Ströder, T, Giesl, J, Brockschmidt, M, Frohn, F, Fuhs, C, Hensel, J & Schneider-Kamp, P 2014, Proving Termination and Memory Safety for Programs with Pointer Arithmetic. i S Demri, D Kapur & C Weidenbach (red), Automated Reasoning: Proceedings of the 7th International Joint Conference on Automated Reasoning (IJCAR '14). Springer, Lecture Notes in Computer Science, bind 8562, s. 208-223, 7th International Joint Conference on Automated Reasoning, Vienna, Østrig, 19/07/2014. https://doi.org/10.1007/978-3-319-08587-6_15

Proving Termination and Memory Safety for Programs with Pointer Arithmetic. / Ströder, Thomas; Giesl, Jürgen; Brockschmidt, Marc; Frohn, Florian; Fuhs, Carsten; Hensel, Jera; Schneider-Kamp, Peter.

Automated Reasoning: Proceedings of the 7th International Joint Conference on Automated Reasoning (IJCAR '14). red. / Stéphane Demri; Deepak Kapur; Christoph Weidenbach. Springer, 2014. s. 208-223 (Lecture Notes in Computer Science, Bind 8562).

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

TY - GEN

T1 - Proving Termination and Memory Safety for Programs with Pointer Arithmetic

AU - Ströder, Thomas

AU - Giesl, Jürgen

AU - Brockschmidt, Marc

AU - Frohn, Florian

AU - Fuhs, Carsten

AU - Hensel, Jera

AU - Schneider-Kamp, Peter

PY - 2014

Y1 - 2014

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

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

M3 - Article in proceedings

SN - 978-3-319-08586-9

SP - 208

EP - 223

BT - Automated Reasoning

A2 - Demri, Stéphane

A2 - Kapur, Deepak

A2 - Weidenbach, Christoph

PB - Springer

ER -

Ströder T, Giesl J, Brockschmidt M, Frohn F, Fuhs C, Hensel J et al. Proving Termination and Memory Safety for Programs with Pointer Arithmetic. I Demri S, Kapur D, Weidenbach C, red., Automated Reasoning: Proceedings of the 7th International Joint Conference on Automated Reasoning (IJCAR '14). Springer. 2014. s. 208-223. (Lecture Notes in Computer Science, Bind 8562). https://doi.org/10.1007/978-3-319-08587-6_15