Algebraic Program Analysis

Zachary Kincaid; Thomas Reps; John Cyphert

doi:10.1007/978-3-030-81685-8_3

Algebraic Program Analysis

Zachary Kincaid, Thomas Reps, John Cyphert

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

9 Scopus citations

Abstract

This paper is a tutorial on algebraic program analysis. It explains the foundations of algebraic program analysis, its strengths and limitations, and gives examples of algebraic program analyses for numerical invariant generation and termination analysis.

Original language	English (US)
Title of host publication	Computer Aided Verification - 33rd International Conference, CAV 2021, Proceedings
Editors	Alexandra Silva, K. Rustan Leino
Publisher	Springer Science and Business Media Deutschland GmbH
Pages	46-83
Number of pages	38
ISBN (Print)	9783030816841
DOIs	https://doi.org/10.1007/978-3-030-81685-8_3
State	Published - 2021
Event	33rd International Conference on Computer Aided Verification, CAV 2021 - Virtual, Online Duration: Jul 20 2021 → Jul 23 2021

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	12759 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	33rd International Conference on Computer Aided Verification, CAV 2021
City	Virtual, Online
Period	7/20/21 → 7/23/21

All Science Journal Classification (ASJC) codes

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/978-3-030-81685-8_3

Cite this

Kincaid, Z., Reps, T., & Cyphert, J. (2021). Algebraic Program Analysis. In A. Silva, & K. R. Leino (Eds.), Computer Aided Verification - 33rd International Conference, CAV 2021, Proceedings (pp. 46-83). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 12759 LNCS). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-030-81685-8_3

Kincaid, Zachary ; Reps, Thomas ; Cyphert, John. / Algebraic Program Analysis. Computer Aided Verification - 33rd International Conference, CAV 2021, Proceedings. editor / Alexandra Silva ; K. Rustan Leino. Springer Science and Business Media Deutschland GmbH, 2021. pp. 46-83 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{089a1f172bac441ca9e46e1b3c437a4d,

title = "Algebraic Program Analysis",

abstract = "This paper is a tutorial on algebraic program analysis. It explains the foundations of algebraic program analysis, its strengths and limitations, and gives examples of algebraic program analyses for numerical invariant generation and termination analysis.",

author = "Zachary Kincaid and Thomas Reps and John Cyphert",

note = "Publisher Copyright: {\textcopyright} 2021, The Author(s).; 33rd International Conference on Computer Aided Verification, CAV 2021 ; Conference date: 20-07-2021 Through 23-07-2021",

year = "2021",

doi = "10.1007/978-3-030-81685-8_3",

language = "English (US)",

isbn = "9783030816841",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Science and Business Media Deutschland GmbH",

pages = "46--83",

editor = "Alexandra Silva and Leino, {K. Rustan}",

booktitle = "Computer Aided Verification - 33rd International Conference, CAV 2021, Proceedings",

address = "Germany",

}

Kincaid, Z, Reps, T & Cyphert, J 2021, Algebraic Program Analysis. in A Silva & KR Leino (eds), Computer Aided Verification - 33rd International Conference, CAV 2021, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 12759 LNCS, Springer Science and Business Media Deutschland GmbH, pp. 46-83, 33rd International Conference on Computer Aided Verification, CAV 2021, Virtual, Online, 7/20/21. https://doi.org/10.1007/978-3-030-81685-8_3

Algebraic Program Analysis. / Kincaid, Zachary; Reps, Thomas; Cyphert, John.
Computer Aided Verification - 33rd International Conference, CAV 2021, Proceedings. ed. / Alexandra Silva; K. Rustan Leino. Springer Science and Business Media Deutschland GmbH, 2021. p. 46-83 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 12759 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Algebraic Program Analysis

AU - Kincaid, Zachary

AU - Reps, Thomas

AU - Cyphert, John

PY - 2021

Y1 - 2021

N2 - This paper is a tutorial on algebraic program analysis. It explains the foundations of algebraic program analysis, its strengths and limitations, and gives examples of algebraic program analyses for numerical invariant generation and termination analysis.

AB - This paper is a tutorial on algebraic program analysis. It explains the foundations of algebraic program analysis, its strengths and limitations, and gives examples of algebraic program analyses for numerical invariant generation and termination analysis.

UR - http://www.scopus.com/inward/record.url?scp=85113579173&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85113579173&partnerID=8YFLogxK

U2 - 10.1007/978-3-030-81685-8_3

DO - 10.1007/978-3-030-81685-8_3

M3 - Conference contribution

AN - SCOPUS:85113579173

SN - 9783030816841

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 46

EP - 83

BT - Computer Aided Verification - 33rd International Conference, CAV 2021, Proceedings

A2 - Silva, Alexandra

A2 - Leino, K. Rustan

PB - Springer Science and Business Media Deutschland GmbH

T2 - 33rd International Conference on Computer Aided Verification, CAV 2021

Y2 - 20 July 2021 through 23 July 2021

ER -

Kincaid Z, Reps T, Cyphert J. Algebraic Program Analysis. In Silva A, Leino KR, editors, Computer Aided Verification - 33rd International Conference, CAV 2021, Proceedings. Springer Science and Business Media Deutschland GmbH. 2021. p. 46-83. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-030-81685-8_3

Algebraic Program Analysis

Abstract

Publication series

Conference

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this