Modeling Dynamic (De)Allocations of Local Memory for Translation Validation
Crossref DOI link: https://doi.org/10.1145/3649863
Published Online: 2024-04-29
Published Print: 2024-04-29
Update policy: https://doi.org/10.1145/crossmark-policy
Rose, Abhishek https://orcid.org/0009-0002-2222-8906
Bansal, Sorav https://orcid.org/0009-0004-2006-9635
Version of Record valid from 2024-04-29
Publication History
Published: 2024-04-29
