Relation Algebra as programming language using the Ampersand compiler

Stef Joosten*

*Corresponding author for this work

Research output: Contribution to journalArticleAcademicpeer-review

Original languageEnglish
Pages (from-to)113-129
Number of pages17
JournalJournal of Logical and Algebraic Methods in Programming
Volume100
DOIs
Publication statusPublished - Nov 2018

Keywords

  • Relation Algebra
  • Software development
  • Legal reasoning
  • Information systems design
  • Ampersand
  • Reactive programming

Cite this