![](/img/cover-not-exists.png)
Safe: a semantic technique for transforming programs in the presence of errors
Aiken, Alexander, Williams, John H., Wimmers, Edward L.Volume:
17
Language:
english
Journal:
ACM Transactions on Programming Languages and Systems
DOI:
10.1145/200994.201002
Date:
January, 1995
File:
PDF, 1.39 MB
english, 1995