Automatic Cyclic Termination Proofs for Recursive Procedures in Separation Logic. / Rowe, Reuben.

2016.

Research output: Contribution to conferenceAbstract

Unpublished

Standard

Automatic Cyclic Termination Proofs for Recursive Procedures in Separation Logic. / Rowe, Reuben.

2016.

Research output: Contribution to conferenceAbstract

Harvard

APA

Vancouver

Author

BibTeX

@conference{fdd7fb0a30e9426eadd35e9f4303b85b,
title = "Automatic Cyclic Termination Proofs for Recursive Procedures in Separation Logic",
author = "Reuben Rowe",
year = "2016",
month = aug,
day = "7",
language = "English",

}

RIS

TY - CONF

T1 - Automatic Cyclic Termination Proofs for Recursive Procedures in Separation Logic

AU - Rowe, Reuben

PY - 2016/8/7

Y1 - 2016/8/7

UR - http://staticanalysis.org/tapas2016/

M3 - Abstract

ER -