Software Development in Relation Algebra with Ampersand

DOI10.1007/978-3-319-57418-9_11zbMath1486.68042OpenAlexW2609030187MaRDI QIDQ5283210

Stef Joosten

Publication date: 21 July 2017

Published in: Relational and Algebraic Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-57418-9_11

zbMATH Keywords

relation algebrasoftware developmentlegal reasoningAmpersandinformation systems designbig softwareMirrorMe

Mathematics Subject Classification ID

Database theory (68P15) Theory of compilers and interpreters (68N20) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Cylindric and polyadic algebras; relation algebras (03G15)

Related Items

Parsing and Printing of and with Triples ⋮ Finding models through graph saturation ⋮ Relation algebra as programming language using the Ampersand compiler

Uses Software

• RelView
• Z
• Ampersand

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Relation algebras
• Towards an algebraic specification of code generation
• Ampersand
• Relational Heterogeneity Relaxed by Subtyping
• Type Checking by Domain Analysis in Ampersand
• Computational Social Choice Using Relation Algebra and RelView
• Can programming be liberated from the von Neumann style?
• Parsing and Printing of and with Triples
• Computer Algebra in Scientific Computing
• A relational model of data for large shared data banks