August 28 – September 1 , 1995, Dagstuhl Seminar 9535

Abstract Interpretation


P. Cousot, R. Cousot, A. Mycroft

For support, please contact

Dagstuhl Service Team


Dagstuhl-Seminar-Report 123


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.


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.


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