Conference paper
Incremental evaluation of computational circuits
Bowen Alpern, Roger Hoover, et al.
SODA 1990
Paper
Stickiness and Liveness
Abstract
No abstract available.
Related
Conference paper
Monoids for rapid data flow analysis
Barry K. Rosen
POPL 1978
Vijay S. Iyengar, Barry K. Rosen, et al.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Ron Cytron, Jeanne Ferrante, et al.
ACM TOPLAS