Generator induction in order sorted algebras

DOI10.1007/BF01211433zbMATH Open0712.68068OpenAlexW2057939154MaRDI QIDQ749219FDOQ749219

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

Recommendations

• Algorithm for Generating Finite Totally Ordered Monoids
• scientific article
• Algebras defined from ordered sets and the varieties they generate
• Higher-order order-sorted algebras
• Order algebras
• scientific article; zbMATH DE number 1912105
• scientific article; zbMATH DE number 5066576
• scientific article; zbMATH DE number 736946
• On Hilbert algebras generated by the order

zbMATH Keywords

functional programmingalgebraic specificationgenerator inductionorder sorted algebras

Mathematics Subject Classification ID

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

Cites Work

• Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
• Title not available (Why is that?)
• Title not available (Why is that?)
• Rewrite systems on a lattice of types

Cited In (3)

• Induction using term orders
• Order-sorted inductive types
• Verifying a distributed list system: A case history

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q749219)