Ownership in low-level intermediate representation

Priya, Siddharth; Gurfinkel, Arie

doi:10.34727/2024/isbn.978-3-85448-065-5_35

Record link:

http://hdl.handle.net/20.500.12708/200802
https://doi.org/10.34727/2024/isbn.978-3-85448-065-5_35

Title:

Ownership in low-level intermediate representation

Citation:

Priya, S., & Gurfinkel, A. (2024). Ownership in low-level intermediate representation. In N. Narodytska & P. Rümmer (Eds.), Proceedings of the 24th Conference on Formal Methods in Computer-Aided Design – FMCAD 2024 (pp. 292–300). TU Wien Academic Press. https://doi.org/10.34727/2024/isbn.978-3-85448-065-5_35

reposiTUm DOI:

10.34727/2024/isbn.978-3-85448-065-5_35

CatalogPlus:

AC17313122

Publication Type:

Inproceedings - Full-Paper Contribution

Language:

English

Authors:

Priya, Siddharth
Gurfinkel, Arie

Editors:

Narodytska, Nina
Rümmer, Philipp