Generator induction in order sorted algebras

DOI10.1007/BF01211433zbMath0712.68068OpenAlexW2057939154MaRDI QIDQ749219

Olaf Owe, Ole-Johan Dahl

Publication date: 1991

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01211433

zbMATH Keywords

algebraic specificationfunctional programminggenerator inductionorder sorted algebras

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) General topics in the theory of software (68N01)

Related Items (2)

Verifying a distributed list system: A case history ⋮ Order-sorted inductive types

Cites Work

• Unnamed Item
• Unnamed Item
• Rewrite systems on a lattice of types
• Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations

This page was built for publication: Generator induction in order sorted algebras