Conference paper
Linear cost is sometimes quadratic
Barry K. Rosen
POPL 1981
No abstract available.
Barry K. Rosen
POPL 1981
Barry K. Rosen
POPL 1978
Ron Cytron, Jeanne Ferrante, et al.
ACM TOPLAS
Barry K. Rosen
Journal of Computer and System Sciences