Definition-like Extensions by Sorts

DOI10.1093/JIGPAL/3.4.579MaRDI QIDQ4847372zbMATH OpenOpenAlexFDO

Authors María Claudia Meré, Paulo A. S. Veloso

Publication date 20 September 1995

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

Full work available at URL https://semanticscholar.org/paper/ba41ec300209cb02ad21452d72915872e72ab65d

zbMATH Keywords

formal specificationsdevelopmentformal programsort constructs

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 3936498
• scientific article; zbMATH DE number 58733
• Toward formal development of programs from algebraic specifications: Implementations revisited
• Publication:4721633
• On methods for safe introduction of operations

Cited in

(2)

• On methods for safe introduction of operations
• On pushout consistency, modularity and interpolation for logical specifications

This page was built for publication: Definition-like Extensions by Sorts

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