Order-sorted algebraic specifications with higher-order functions

DOI10.1007/3-540-60043-4_50zbMath1496.68201OpenAlexW4235266485MaRDI QIDQ5096382

Anne Elisabeth Haxthausen

Publication date: 16 August 2022

Published in: Algebraic Methodology and Software Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-60043-4_50

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items (1)

Order-sorted algebraic specifications with higher-order functions

Cites Work

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

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