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
    EventAlgebraic Methodology and Software Technology: 4th International Conference - Montreal, Canada
    Duration: 3 Jul 19957 Jul 1995


    ConferenceAlgebraic Methodology and Software Technology


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

    Cite this