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 → …


    Dive into the research topics of 'Order-sorted Algebraic Specifications with Higher-order Functions'. Together they form a unique fingerprint.

    Cite this