Zeev Barzilai, J. Lawrence Carter, et al.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Paper
How to Analyze Large Programs Efficiently and Informatively
Abstract
No abstract available.
Related
Barry K. Rosen
Journal of Computer and System Sciences
Hartmut Ehrig, Barry K. Rosen
Theoretical Computer Science
Conference paper
Incremental evaluation of computational circuits
Bowen Alpern, Roger Hoover, et al.
SODA 1990