A new criterion for safe program transformations (2000)

Cached

Download Links

by Yasuhiko Minamide
Venue:In Proceedings of the Forth International Workshop on Higher Order Operational Techniques in Semantics (HOOTS), volume 41(3) of ENTCS
Citations:4 - 2 self