On the power of higher-order algebraic specification methods

DOI10.1006/INCO.1996.0007zbMATH Open0844.68082OpenAlexW1993774906MaRDI QIDQ1908358FDOQ1908358

Karl Meinke, Piotr Kosiuczenko

Publication date: 19 March 1996

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/inco.1996.0007

zbMATH Keywords

semantics of algebraic specifications

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Cited In (8)

• Verifying an infinite systolic algorithm using third-order equational methods
• Title not available (Why is that?)
• Proof theory of higher-order equations: Conservativity, normal forms and term rewriting.
• A process calculus with finitary comprehended terms
• Title not available (Why is that?)
• A completeness theorem for the expressive power of higher-order algebraic specifications
• Higher-order algebra with transfinite types
• Higher-order equational logic for specification, simulation and testing

Recommendations

• On the algebra of structured specifications 👍 👎
• Algebraic foundations for specification refinements 👍 👎
• Order-sorted algebraic specifications with higher-order functions 👍 👎
• A Calculus of Higher-Order Parameterization for Algebraic Specifications 👍 👎
• A completeness theorem for the expressive power of higher-order algebraic specifications 👍 👎
• Order-sorted algebraic specifications with higher-order functions 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

This page was built for publication: On the power of higher-order algebraic specification methods

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