Order-sorted Algebraic Specifications with Higher-order Functions

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review


    This paper gives a proposal for how order-sorted algebraic specification languages can be extended with higher-order functions. The approach taken is a generalisation to the order-sorted case of an approach given by Mller, Tarlecki and Wirsing for the many-sorted case. The main idea in the proposal is to only consider reachable extensional algebras. This leads to a very simple theory, where it is possible to relate the higher-order specifications to first-order specifications.
    Original languageEnglish
    Title of host publicationProceedings of AMAST'95
    PublisherSpringer Verlag
    Publication date1995
    Publication statusPublished - 1995
    EventProceedings of AMAST'95 -
    Duration: 1 Jan 1995 → …


    ConferenceProceedings of AMAST'95
    Period01/01/1995 → …

    Cite this

    Haxthausen, A. E. (1995). Order-sorted Algebraic Specifications with Higher-order Functions. In Proceedings of AMAST'95 (pp. 133-151). Springer Verlag.