Barry K. Rosen
Acta Informatica
Paper
How to Analyze Large Programs Efficiently and Informatively
Abstract
No abstract available.
Related
Barry K. Rosen
ACM SIGPLAN Notices
Hartmut Ehrig, Hans-Jörg Kreowski, et al.
Mathematical Systems Theory
Conference paper
Incremental evaluation of computational circuits
Bowen Alpern, Roger Hoover, et al.
SODA 1990