Order-sorted Algebraic Specifications with Higher-order Functions

Anne Elisabeth Haxthausen

Order-sorted Algebraic Specifications with Higher-order Functions

Anne Elisabeth Haxthausen

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

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

Conference

Conference	Algebraic Methodology and Software Technology
Country/Territory	Canada
City	Montreal
Period	03/07/1995 → 07/07/1995

OpenUrl availability

Full text

Cite this

@inproceedings{59daa53b93f24dccbd273a5a540319cb,

title = "Order-sorted Algebraic Specifications with Higher-order Functions",

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.",

author = "Haxthausen, \{Anne Elisabeth\}",

year = "1995",

language = "English",

pages = "133--151",

booktitle = "Proceedings of AMAST'95",

publisher = "Springer Verlag",

address = "Germany",

note = "Algebraic Methodology and Software Technology : 4th International Conference, AMAST '95 ; Conference date: 03-07-1995 Through 07-07-1995",

}

TY - GEN

T1 - Order-sorted Algebraic Specifications with Higher-order Functions

AU - Haxthausen, Anne Elisabeth

PY - 1995

Y1 - 1995

N2 - 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.

AB - 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.

M3 - Article in proceedings

SP - 133

EP - 151

BT - Proceedings of AMAST'95

PB - Springer Verlag

T2 - Algebraic Methodology and Software Technology

Y2 - 3 July 1995 through 7 July 1995

ER -

Order-sorted Algebraic Specifications with Higher-order Functions

Abstract

Conference

OpenUrl availability

Fingerprint

Cite this