Software Development in Relation Algebra with Ampersand

Stef Joosten. Software Development in Relation Algebra with Ampersand. In Peter Höfner, Damien Pous, Georg Struth, editors, Relational and Algebraic Methods in Computer Science - 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings. Volume 10226 of Lecture Notes in Computer Science, pages 177-192, 2017. [doi]

Abstract

Abstract is missing.