Definition-like Extensions by Sorts

DOI10.1093/jigpal/3.4.579zbMath0834.68079OpenAlexW2048211030MaRDI QIDQ4847372

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

Publication date: 20 September 1995

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

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

zbMATH Keywords

developmentformal specificationsformal programsort constructs

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items

On pushout consistency, modularity and interpolation for logical specifications