Order-sorted algebraic specifications with higher-order functions

DOI10.1016/S0304-3975(96)00323-4zbMath0901.68127MaRDI QIDQ1391097

Anne Elisabeth Haxthausen

Publication date: 22 July 1998

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

higher-order functionssubtypesalgebraic specification languagesorder-sorted algebraic specification

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items (2)

Strict coherence of conditional rewriting modulo axioms ⋮ HasCasl: integrated higher-order specification and program development

Uses Software

• LARCH
• OBJ3

Cites Work

• Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
• Universal algebra in higher types
• On specifications, theories, and models with higher types
• Inclusions and subtypes I: first-order case
• Higher-order order-sorted algebras
• Order-sorted algebraic specifications with higher-order functions
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Order-sorted algebraic specifications with higher-order functions