Relations as abstract datatypes: An institution to specify relations between algebras

DOI10.1007/3-540-59293-8_233zbMath1496.68198OpenAlexW1480884270MaRDI QIDQ5096763

Hubert Baumeister

Publication date: 18 August 2022

Published in: TAPSOFT '95: Theory and Practice of Software Development (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-59293-8_233

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

From static to dynamic abstract data-types: An institution transformation

Cites Work

• Specifications in an arbitrary institution
• Group extensions for 45 years
• Institutions: abstract model theory for specification and programming
• D-oids: a model for dynamic data-types
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Relations as abstract datatypes: An institution to specify relations between algebras