Chidanand Apte, Edna Grossman, et al.
IEEE Intelligent Systems and Their Applications
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
Linear cost is sometimes quadratic
Barry K. Rosen
POPL 1981