Semantic typing for parametric algebraic specifications

DOI10.1007/3-540-60043-4_58zbMath1496.68200OpenAlexW2100957827MaRDI QIDQ5096390

María Victoria Cengarle

Publication date: 16 August 2022

Published in: Algebraic Methodology and Software Technology (Search for Journal in Brave)

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

zbMATH Keywords

algebraic specificationimplementation relationparametric specification

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Toward formal development of programs from algebraic specifications: Parameterisation revisited
• Module algebra
• A Calculus of Higher-Order Parameterization for Algebraic Specifications

This page was built for publication: Semantic typing for parametric algebraic specifications