Proving Termination of Programs Automatically with AProVE

Jürgen Giesl, Marc Brockschmidt, Fabian Emmes, Florian Frohn, Carsten Fuhs, Carsten Otto, Martin Plücker, Peter Schneider-Kamp, Thomas Ströder, Stephan Swiderski, René Thiemann

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 sider8
ForlagSpringer
Publikationsdato2014
Sider184-191
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

Giesl, J., Brockschmidt, M., Emmes, F., Frohn, F., Fuhs, C., Otto, C., ... Thiemann, R. (2014). Proving Termination of Programs Automatically with AProVE. I S. Demri, D. Kapur, & C. Weidenbach (red.), Automated Reasoning: Proceedings of the 7th International Joint Conference on Automated Reasoning (IJCAR '14) (s. 184-191). Springer. Lecture Notes in Computer Science, Bind. 8562 https://doi.org/10.1007/978-3-319-08587-6_13
Giesl, Jürgen ; Brockschmidt, Marc ; Emmes, Fabian ; Frohn, Florian ; Fuhs, Carsten ; Otto, Carsten ; Plücker, Martin ; Schneider-Kamp, Peter ; Ströder, Thomas ; Swiderski, Stephan ; Thiemann, René. / Proving Termination of Programs Automatically with AProVE. 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. 184-191 (Lecture Notes in Computer Science, Bind 8562).
@inproceedings{43a96a66dfd8426fb01e741fc99358ae,
title = "Proving Termination of Programs Automatically with AProVE",
author = "J{\"u}rgen Giesl and Marc Brockschmidt and Fabian Emmes and Florian Frohn and Carsten Fuhs and Carsten Otto and Martin Pl{\"u}cker and Peter Schneider-Kamp and Thomas Str{\"o}der and Stephan Swiderski and Ren{\'e} Thiemann",
year = "2014",
doi = "10.1007/978-3-319-08587-6_13",
language = "English",
isbn = "978-3-319-08586-9",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "184--191",
editor = "St{\'e}phane Demri and Deepak Kapur and Christoph Weidenbach",
booktitle = "Automated Reasoning",
address = "Germany",

}

Giesl, J, Brockschmidt, M, Emmes, F, Frohn, F, Fuhs, C, Otto, C, Plücker, M, Schneider-Kamp, P, Ströder, T, Swiderski, S & Thiemann, R 2014, Proving Termination of Programs Automatically with AProVE. 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. 184-191, 7th International Joint Conference on Automated Reasoning, Vienna, Østrig, 19/07/2014. https://doi.org/10.1007/978-3-319-08587-6_13

Proving Termination of Programs Automatically with AProVE. / Giesl, Jürgen; Brockschmidt, Marc; Emmes, Fabian; Frohn, Florian; Fuhs, Carsten; Otto, Carsten; Plücker, Martin; Schneider-Kamp, Peter; Ströder, Thomas; Swiderski, Stephan; Thiemann, René.

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. 184-191 (Lecture Notes in Computer Science, Bind 8562).

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

TY - GEN

T1 - Proving Termination of Programs Automatically with AProVE

AU - Giesl, Jürgen

AU - Brockschmidt, Marc

AU - Emmes, Fabian

AU - Frohn, Florian

AU - Fuhs, Carsten

AU - Otto, Carsten

AU - Plücker, Martin

AU - Schneider-Kamp, Peter

AU - Ströder, Thomas

AU - Swiderski, Stephan

AU - Thiemann, René

PY - 2014

Y1 - 2014

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

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

M3 - Article in proceedings

SN - 978-3-319-08586-9

T3 - Lecture Notes in Computer Science

SP - 184

EP - 191

BT - Automated Reasoning

A2 - Demri, Stéphane

A2 - Kapur, Deepak

A2 - Weidenbach, Christoph

PB - Springer

ER -

Giesl J, Brockschmidt M, Emmes F, Frohn F, Fuhs C, Otto C et al. Proving Termination of Programs Automatically with AProVE. 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. 184-191. (Lecture Notes in Computer Science, Bind 8562). https://doi.org/10.1007/978-3-319-08587-6_13