Mutually Recursive Algebraic Domain Equation

Anne Elisabeth Haxthausen

doi:10.1007/3-540-50214-9_22

Mutually Recursive Algebraic Domain Equation

Anne Elisabeth Haxthausen

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

1 Downloads (Orbit)

Abstract

A theory of mutually recursive algebraic domain equations is developed. The theory may provide algebraic interpretation of domain equations as known from VDM's specification language Meta-IV. A set of mutually recursive algebraic domain equations is roughly spoken a set of parameterized algebraic specifications applying instances of each other in a recursive fashion. A solution to a set of algebraic domain equations can be constructed by using a new parameter passing technique called recursive parameter passing. It is sketched how the theory makes sense under an arbitrary institution.

Original language	English
Title of host publication	Proceedings of VDM'88
Number of pages	19
Publisher	Springer Verlag
Publication date	1988
DOIs	https://doi.org/10.1007/3-540-50214-9_22
Publication status	Published - 1988
Event	2nd VDM-Europe Symposium - Dublin, Ireland Duration: 11 Sept 1988 → 16 Sept 1988

Conference

Conference	2nd VDM-Europe Symposium
Country/Territory	Ireland
City	Dublin
Period	11/09/1988 → 16/09/1988

Access to Document

10.1007/3-540-50214-9_22

FulltextAccepted author manuscript, 7.23 MB

OpenUrl availability

Check availability in DTU Findit

Cite this

@inproceedings{2a36a98ec4d343d89fd20d9c1058b37b,

title = "Mutually Recursive Algebraic Domain Equation",

abstract = "A theory of mutually recursive algebraic domain equations is developed. The theory may provide algebraic interpretation of domain equations as known from VDM's specification language Meta-IV. A set of mutually recursive algebraic domain equations is roughly spoken a set of parameterized algebraic specifications applying instances of each other in a recursive fashion. A solution to a set of algebraic domain equations can be constructed by using a new parameter passing technique called recursive parameter passing. It is sketched how the theory makes sense under an arbitrary institution.",

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

year = "1988",

doi = "10.1007/3-540-50214-9\_22",

language = "English",

booktitle = "Proceedings of VDM'88",

publisher = "Springer Verlag",

address = "Germany",

note = "2nd VDM-Europe Symposium, VDM '88 ; Conference date: 11-09-1988 Through 16-09-1988",

}

TY - GEN

T1 - Mutually Recursive Algebraic Domain Equation

AU - Haxthausen, Anne Elisabeth

PY - 1988

Y1 - 1988

N2 - A theory of mutually recursive algebraic domain equations is developed. The theory may provide algebraic interpretation of domain equations as known from VDM's specification language Meta-IV. A set of mutually recursive algebraic domain equations is roughly spoken a set of parameterized algebraic specifications applying instances of each other in a recursive fashion. A solution to a set of algebraic domain equations can be constructed by using a new parameter passing technique called recursive parameter passing. It is sketched how the theory makes sense under an arbitrary institution.

AB - A theory of mutually recursive algebraic domain equations is developed. The theory may provide algebraic interpretation of domain equations as known from VDM's specification language Meta-IV. A set of mutually recursive algebraic domain equations is roughly spoken a set of parameterized algebraic specifications applying instances of each other in a recursive fashion. A solution to a set of algebraic domain equations can be constructed by using a new parameter passing technique called recursive parameter passing. It is sketched how the theory makes sense under an arbitrary institution.

U2 - 10.1007/3-540-50214-9_22

DO - 10.1007/3-540-50214-9_22

M3 - Article in proceedings

BT - Proceedings of VDM'88

PB - Springer Verlag

T2 - 2nd VDM-Europe Symposium

Y2 - 11 September 1988 through 16 September 1988

ER -

Mutually Recursive Algebraic Domain Equation

Abstract

Conference

Access to Document

OpenUrl availability

Fingerprint

Cite this