Diese Seite auf deutsch
SearchSpecification of Computer Science Systems in Higher-Order Logic(inactive)
| Start date: | 01.01.1991 |
| End date: | 31.12.1994 |
| Duration: | 01.01.1991 - 31.12.1994 |
| Funded by: | Universität Augsburg |
| Local project leader: | Prof. Dr. Bernhard Möller (project leader) |
| External scientists / cooperations: |
Prof. Dr. Manfred Broy (TU München) Prof. Dr. H. Schwichtenberg (LMU München) Prof. J. V. Tucker, Ph.D (Swansea University) Dr. Karl Meinke (University Swansea) |
| Publications: | Publication list |
Abstract
The method of algebraic specification consists in characterizing data structures by their typical operations and the equational laws that hold between them. While initially this approach was restricted to operations of first order, the central project partners, K. Meinke and B. Möller, had performed pioneering work to extend it to the case of higher-order operations.
The project was concerned with the further development of the underlying mathematical theory and with case studies on the applications of this method. In particular, it performed investigations on the classification of the expressiveness and on computability of models of higher-order specifications.
The project was concerned with the further development of the underlying mathematical theory and with case studies on the applications of this method. In particular, it performed investigations on the classification of the expressiveness and on computability of models of higher-order specifications.