Order-sorted algebraic specifications with higher-order functions
From MaRDI portal
Publication:1391097
DOI10.1016/S0304-3975(96)00323-4zbMath0901.68127MaRDI QIDQ1391097
Publication date: 22 July 1998
Published in: Theoretical Computer Science (Search for Journal in Brave)
higher-order functions; subtypes; algebraic specification languages; order-sorted algebraic specification
68Q65: Abstract data types; algebraic specification
Related Items
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- 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