Parameterised higher-order algebraic specifications

DOI10.1007/BFB0027004MaRDI QIDQ4364371zbMATH OpenFDO

Authors L. J. Steggles

Publication date 17 November 1997

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

higher-order abstract parameterized data typeparameterized higher-order equational specification

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• A Calculus of Higher-Order Parameterization for Algebraic Specifications
• scientific article; zbMATH DE number 4078770
• Toward formal development of programs from algebraic specifications: Parameterisation revisited
• An algebraic framework for higher-order modules

Cited in

(8)

• Toward formal development of programs from algebraic specifications: Parameterisation revisited
• On the power of higher-order algebraic specification methods
• Verifying an infinite systolic algorithm using third-order equational methods
• scientific article; zbMATH DE number 1617297 (Why is no real title available?)
• scientific article; zbMATH DE number 4078770 (Why is no real title available?)
• Semantics of first order parametric specifications
• An algebraic framework for higher-order modules
• A Calculus of Higher-Order Parameterization for Algebraic Specifications

This page was built for publication: Parameterised higher-order algebraic specifications

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