Dagstuhl-Seminar 9410
Logical Theory for Program Construction
( 07. Mar – 11. Mar, 1994 )
Permalink
Bitte benutzen Sie folgende Kurz-Url zum Verlinken dieser Seite:
https://www.dagstuhl.de/9410
Organisatoren
- D. Smith
- J. Loeckx
- J. P. Finance
- M. Wirsing
- S. Jähnichen
Kontakt
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