Transposing relations: From maybe functions to hash tables

DOI10.1007/978-3-540-27764-4_18MaRDI QIDQ5313094zbMATH OpenOpenAlexFDO

Authors J. N. Oliveira, César de Jesus Pereira Cunha Rodrigues

Publication date 26 August 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b98756

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• scientific article; zbMATH DE number 1552289
• scientific article; zbMATH DE number 572193
• Transformations of normal and inverted function tables
• scientific article; zbMATH DE number 1735900
• The Mechanical Transformation of Data Types

Cited in

(5)

• An exercise on transition systems
• A single complete relational rule for coalgebraic refinement
• Extended Static Checking by Calculation Using the Pointfree Transform
• Components as coalgebras: the refinement dimension
• Transposing partial components--an exercise on coalgebraic refinement

This page was built for publication: Transposing relations: From maybe functions to hash tables

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