A comparison of some algorithms for live variable analysis
From MaRDI portal
Publication:3865477
DOI10.1080/00207168008803199zbMath0428.68053MaRDI QIDQ3865477
No author found.
Publication date: 1980
Published in: International Journal of Computer Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/00207168008803199
68Q25: Analysis of algorithms and problem complexity
68Q60: Specification and verification (program logics, model checking, etc.)
Cites Work