Analysis of more realistic system designs is typically achievable if the system has a cleanly layered design; otherwise reorganization of the design (introduction of layering in the design, even if it is absent in the implementation) is necessary to achieve satisfactory results. Experience so far suggests that the structure required to make analysis feasible is also useful for understandability.
Sources are exclusive of the Lisp compiler.
Department of Computer Sciences
West Lafayette, IN 47907
(317) 494-0739 - fax
The Arcadia Project <email@example.com>