On the power of higher-order algebraic specification methods
From MaRDI portal
Publication:1908358
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
Recommendations
- scientific article; zbMATH DE number 1088024
- A Calculus of Higher-Order Parameterization for Algebraic Specifications
- scientific article
- A completeness theorem for the expressive power of higher-order algebraic specifications
- scientific article
- Algebraic foundations for specification refinements
- scientific article
- On the algebra of structured specifications
- Order-sorted algebraic specifications with higher-order functions
- Order-sorted algebraic specifications with higher-order functions
Cited In (10)
- Characterizing specification languages which admit initial semantics
- 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.
- Title not available (Why is that?)
- 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
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)
