Publisher's Synopsis
Papers from a November 2001 workshop present the work of researchers and practitioners working on theory, techniques, and applications that concern analysis and manipulation of the source code of computer systems. Specific topics include application maintenance using software agents, a source-to-source compiler for generating dependable software, d