Static Analysis: Third International Workshop, WSA '93, Padova, Italy, September 22-24, 1993. Proceedings

This volume constitutes the proceedings of the third
International Workshop on Static Analysis (WSA`93), held in
Padova, Italy, in September 1993. The objective of the
international workshop series WSA is to serve as a forum for
the discussion of the various aspects of static analysis in
different programming paradigms. The clearly increasing
mumbers of submitted papers and workshop participants point
out the growing importance of static analysis techniques for
logical, functional, concurrent and parallel languages as
well as for parallel term rewriting systems.
This proceedings contains, besides the abstracts or full
papers of the invited talks given by Pascal Van Hentenryck,
Peter van Roy, and Paul Hudak, full versions of the 20
contributed papers selected from a total of 68 submissions
by an international program committee consisting of many
renown researchers in the field. The volume is organized in
sections on fixpoint computation, concurrency, parallelism,
transformation, logic programs, term rewriting systems,
strictness, reasoning about programs, and types.