effects and aliasing can have simple axiomatic descriptions (0)

by Side
Venue:ACM TOPLAS