To refer to this page use:
http://arks.princeton.edu/ark:/88435/pr1xp6v36vFull metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Kincaid, Zachary | - |
| dc.contributor.author | Reps, Thomas | - |
| dc.contributor.author | Cyphert, John | - |
| dc.date.accessioned | 2023-12-23T22:32:13Z | - |
| dc.date.available | 2023-12-23T22:32:13Z | - |
| dc.identifier.citation | Kincaid, Zachary, Thomas Reps, and John Cyphert. "Algebraic Program Analysis." In International Conference on Computer Aided Verification, pp. 46-83. 2021. https://doi.org/10.1007/978-3-030-81685-8_3 | en_US |
| dc.identifier.uri | http://arks.princeton.edu/ark:/88435/pr1xp6v36v | - |
| dc.description.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. | en_US |
| dc.format.extent | 46 - 83 | en_US |
| dc.language.iso | en_US | en_US |
| dc.relation.ispartof | International Conference on Computer Aided Verification | en_US |
| dc.rights | Final published version. This is an open access article. | en_US |
| dc.title | Algebraic Program Analysis | en_US |
| dc.type | Conference Article | en_US |
| dc.identifier.doi | 10.1007/978-3-030-81685-8_3 | - |
| pu.type.symplectic | http://www.symplectic.co.uk/publications/atom-terms/1.0/conference-proceeding | en_US |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| AlgebraicProgramAnalysis.pdf | 977.37 kB | Adobe PDF | View/Download |
Items in OAR@Princeton are protected by copyright, with all rights reserved, unless otherwise indicated.