An algebraic framework for higher-order modules

DOI10.1007/3-540-48118-4_44MaRDI QIDQ4493910zbMATH OpenFDO

Authors Rosa M. Jiménez, Fernando Orejas

Publication date 29 January 2001

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

Full work available at URL https://doi.org/10.1007/3-540-48118-4_44

zbMATH Keywords

higher-order parameterizedmodule specificationstyped \(\lambda\)-calculus

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Categorical semantics of formal languages (18C50) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Abstract data types; algebraic specification (68Q65)

Recommendations

• A Calculus of Higher-Order Parameterization for Algebraic Specifications
• Parameterised higher-order algebraic specifications
• Toward formal development of programs from algebraic specifications: Parameterisation revisited
• Algebraic specifications, higher-order types and set-theoretic models

Cited in

(4)

• scientific article; zbMATH DE number 1231664 (Why is no real title available?)
• Parameterised higher-order algebraic specifications
• A Calculus of Higher-Order Parameterization for Algebraic Specifications
• Integration of categorical frameworks: Rule-based refinement and hierarchical composition for components

This page was built for publication: An algebraic framework for higher-order modules

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