How to Analyze Large Programs Efficiently and Informatively

Paper

07 Jan 1992

Abstract

No abstract available.

Conference paper

L. Howard Holley, Barry K. Rosen

POPL 1980

Paper

Barry K. Rosen

Journal of the ACM

Conference paper

George Markowsky, Barry K. Rosen

FOCS 1975

Paper

Hartmut Ehrig, Hans-Jörg Kreowski, et al.

Mathematical Systems Theory