A new criterion for safe program transformations (2000)

by Y Minamide
Venue:In Proceedings of the Forth International Workshop on Higher Order Operational Techniques in Semantics (HOOTS), volume 41(3) of ENTCS