Definition-like Extensions by Sorts

DOI10.1093/JIGPAL/3.4.579zbMATH Open0834.68079OpenAlexW2048211030MaRDI QIDQ4847372FDOQ4847372

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

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

zbMATH Keywords

formal specificationsdevelopmentformal programsort constructs

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

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)