Order-sorted Algebraic Specifications with Higher-order

Publication: Research - peer-reviewJournal article – Annual report year: 1997

View graph of relations

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
JournalTheoretical Computer Science
Volume183
Issue number2
Pages (from-to)157-185
ISSN0304-3975
StatePublished - 1997
Peer-reviewedYes
Download as:
Download as PDF
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
Word

ID: 2704363