Consistency and Semantics of Equational Definitions over Predefined Algebras
DOI:
https://doi.org/10.7146/dpb.v22i431.6747Resumé
We introduce and study the notion of an equational definition over a predefined algebra (EDPA) which is a modification of the notion of an algebraic specification enrichment. We argue that the latter is not quite appropriate when dealing with partial functions (in particular, with those defined by non-terminating functional programs), and suggest EDPA as a more adequate tool for specification and verification purposes. Several results concerning consistency of enrichments and correctness of EDPA are presented. The relations between EDPA and some other approaches to algebraic specification of partial functions are discussed.Downloads
Publiceret
1993-01-01
Citation/Eksport
Antimirov, V. M., & Degtyarev, A. (1993). Consistency and Semantics of Equational Definitions over Predefined Algebras. DAIMI Report Series, 22(431). https://doi.org/10.7146/dpb.v22i431.6747
Nummer
Sektion
Articles
Licens
Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.