### Abstract

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 language | English |
---|---|

Title of host publication | Proceedings of AMAST'95 |

Publisher | Springer Verlag |

Publication date | 1995 |

Pages | 133-151 |

Publication status | Published - 1995 |

Event | Proceedings of AMAST'95 - Duration: 1 Jan 1995 → … |

### Conference

Conference | Proceedings of AMAST'95 |
---|---|

Period | 01/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.