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

DOI10.1007/3-540-59293-8_233MaRDI QIDQ5096763zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• Dependently-typed formalisation of relation-algebraic abstractions
• Classes of finite relations as initial abstract data types. II
• Classes of finite relations as initial abstract data types. I
• Relational semigroupoids: abstract relation-algebraic interfaces for finite relations between infinite types
• scientific article; zbMATH DE number 591252
• A perspective on the theory of relation algebras
• PROJECTIONS OF SEMICOMPUTABLE RELATIONS ON ABSTRACT DATA TYPES
• Computer Science Logic
• Relational lattices: from databases to universal algebra
• A Logic of Type Relations and its Applications to Relational Databases

Cites work

• scientific article; zbMATH DE number 1638642 (Why is no real title available?)
• scientific article; zbMATH DE number 4129965 (Why is no real title available?)
• scientific article; zbMATH DE number 3888893 (Why is no real title available?)
• scientific article; zbMATH DE number 3819086 (Why is no real title available?)
• scientific article; zbMATH DE number 3714904 (Why is no real title available?)
• scientific article; zbMATH DE number 3793391 (Why is no real title available?)
• scientific article; zbMATH DE number 8772 (Why is no real title available?)
• scientific article; zbMATH DE number 46957 (Why is no real title available?)
• scientific article; zbMATH DE number 604886 (Why is no real title available?)
• D-oids: a model for dynamic data-types
• Group extensions for 45 years
• Institutions: abstract model theory for specification and programming
• Specifications in an arbitrary institution

Cited in

(4)

• scientific article; zbMATH DE number 409457 (Why is no real title available?)
• From static to dynamic abstract data-types: An institution transformation
• scientific article; zbMATH DE number 1617308 (Why is no real title available?)
• Relations as executable specifications: taming partiality and non-determinism using invariants

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

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