A Calculus of Higher-Order Parameterization for Algebraic Specifications

DOI10.1093/JIGPAL/3.4.615MaRDI QIDQ4847374zbMATH OpenOpenAlexFDO

Authors María Victoria Cengarle, Martin Wirsing

Publication date 5 November 1995

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/3.4.615

zbMATH Keywords

contextual proof systemlambda calculusspecification language

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Abstract data types; algebraic specification (68Q65)

Recommendations

• Parameterised higher-order algebraic specifications
• An algebraic framework for higher-order modules
• Toward formal development of programs from algebraic specifications: Parameterisation revisited
• scientific article; zbMATH DE number 517014
• Semantic typing for parametric algebraic specifications

Cited in

(11)

• \(QPC_ 2\): A constructive calculus with parameterized specifications
• Toward formal development of programs from algebraic specifications: Parameterisation revisited
• Compiling dyadic first-order specifications into map algebra
• On the power of higher-order algebraic specification methods
• scientific article; zbMATH DE number 4078770 (Why is no real title available?)
• Polymorphism, parametrization and typing: An algebraic specification perspective
• scientific article; zbMATH DE number 517014 (Why is no real title available?)
• Parameterised higher-order algebraic specifications
• An algebraic framework for higher-order modules
• Semantic typing for parametric algebraic specifications
• Type checking parametrised programs and specifications in \(\text{ASL}+_{\text{FPC}}\).

This page was built for publication: A Calculus of Higher-Order Parameterization for Algebraic Specifications

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