Dagstuhl Seminar 9410
Logical Theory for Program Construction
( Mar 07 – Mar 11, 1994 )
Permalink
Please use the following short url to reference this page:
https://www.dagstuhl.de/9410
Organizers
- D. Smith
- J. Loeckx
- J. P. Finance
- M. Wirsing
- S. Jähnichen
Contact
The aim of this workshop was to bring together experts to describe and evaluate their approaches to formal methods for program construction, especially with respect to their suitability for computer support. Emphasis should be put on comparisons and synergetical effects between the different approaches.
The workshop was intended as a forum for researchers and developers for gaining awareness of current practical and experimental work across the breadth of the field.
Among the topics encompassed are
- specification languages and methods
- algebraic algorithmic calculi
- program development based on type theory, category theory and logical theorem proving
- formalization of methods in meta-calculi
- D. Smith
- J. Loeckx
- J. P. Finance
- M. Wirsing
- S. Jähnichen