Particpants' Proceedings on the Workshop: Types for Program Analysis

Abstract

As a satellite meeting of the TAPSOFT'95 conference we organized a small workshop on program analysis. The title of the workshop, ``Types for Program Analysis´´, was motivated by the recent trend of letting the presentation and development of program analyses be influenced by annotated type systems, effect systems, and more general logical systems. The contents of the workshop was intended to be somewhat broader; consequently the call for participation listed the following areas of interest:

- specification of specific analyses for programming languages,

- the role of effects, polymorphism, conjunction/disjunction types, dependent types etc.in specification of analyses,

- algorithmic tools and methods for solving general classes of type-based analyses,

- the role of unification, semi-unification etc. in implementations of analyses,

- proof techniques for establishing the safety of analyses,

- relationship to other approaches to program analysis, including abstract interpretation and constraint-based methods,

- exploitation of analysis results in program optimization and implementation.

The submissions were not formally refereed; however each submission was read by several members of the program committee and received detailed comments and suggestions for improvement. We expect that several of the papers, in slightly revised forms, will show up at future conferences. The workshop took place at Aarhus University on May 26 and May 27 and lasted two half days.