https://www.dagstuhl.de/9535

August 28 – September 1 , 1995, Dagstuhl Seminar 9535

Abstract Interpretation

Organizer

P. Cousot, R. Cousot, A. Mycroft

For support, please contact

Dagstuhl Service Team

Documents

Dagstuhl-Seminar-Report 123

Summary

Abstract interpretation is a mathematical framework for specifying program analyzers which conservatively approximate program behaviours by abstraction of the language semantics. As can be seen from the abstracts of the talks, the seminar succeeded in bringing together researchers from different areas of application of abstract interpretation to focus discussion on various:

  • program analysis methods;
  • programming paradigms;
  • program runtime properties;
  • composable abstract domain designs;
  • fixpoint computation methods leading to efficient implementations;
  • designs of generic program analyzers and compilers using powerful analysis methods, four of them being demonstrated; and
  • applications.

The numerous and lively discussions which occurred during the formal sessions, the discussion session on compositionality, and above all the informal meetings confirmed the need for such exchange between the different communities and demonstrated the benefits of this seminar.

Documentation

In the series Dagstuhl Reports each Dagstuhl Seminar and Dagstuhl Perspectives Workshop is documented. The seminar organizers, in cooperation with the collector, prepare a report that includes contributions from the participants' talks together with a summary of the seminar.

 

Download overview leaflet (PDF).

Dagstuhl's Impact

Please inform us when a publication was published as a result from your seminar. These publications are listed in the category Dagstuhl's Impact and are presented on a special shelf on the ground floor of the library.

Publications

Furthermore, a comprehensive peer-reviewed collection of research papers can be published in the series Dagstuhl Follow-Ups.