Stef Joosten
Open University in the Netherlands
Network
Latest external collaboration on country level. Dive into details by clicking on the dots.
Publication
Featured researches published by Stef Joosten.
International Conference on Relational and Algebraic Methods in Computer Science | 2017
Stef Joosten
Relation Algebra can be used as a programming language for building information systems. This paper presents a case study to demonstrate this principle. We have developed a database-application for legal reasoning as a case study, of which a small part is discussed in this paper to illustrate the mechanisms of programming in Relation Algebra. Beside being declarative, relation algebra comes with attractive promises for developing big software. The compiler that was used for this case study, Ampersand, is the result of an open source project. Ampersand has been tried and tested in practice and is available as free open source software.
International Conference on Relational and Algebraic Methods in Computer Science | 2015
Stef Joosten; Sebastiaan J. C. Joosten
In the process of incorporating subtyping in relation algebra, an algorithm was found to derive the subtyping relation from the program to be checked. By using domain analysis rather than type inference, this algorithm offers an attractive visualization of the type derivation process. This visualization can be used as a graphical proof that the type system has assigned types correctly. An implementation is linked to in this paper, written in Haskell. The algorithm has been tried and tested in Ampersand, a language that uses relation algebra for the purpose of designing information systems.
The Journal of Logic and Algebraic Programming | 2018
Stef Joosten
Abstract Relation Algebra can be used as a programming language for building information systems. This paper demonstrates the principle by presenting a case study together with the theory behind programming in Relation Algebra. As a case study, we have developed a database application for legal reasoning. We discuss a small part of it to illustrate the mechanisms of programming in Relation Algebra. Beside being declarative, relation algebra comes with attractive prospects for developing software. The compiler that was used for this case study, Ampersand, is the result of an open source project. Ampersand has been tried and tested in practice and is available as free open source software. 1
CTIT technical report series | 2002
Remco M. Dijkman; Stef Joosten
CTIT technical report series | 2001
Remco M. Dijkman; Luis Ferreira Pires; Stef Joosten
Archive | 2002
Remco M. Dijkman; Stef Joosten
RAMICS'11 Proceedings of the 12th international conference on Relational and algebraic methods in computer science | 2011
Gerard Michels; Sebastiaan J. C. Joosten; Jaap van der Woude; Stef Joosten
American Journal of Physics | 2002
Remco M. Dijkman; Stef Joosten; M. H. Hamza
computer science education research conference | 2013
Gerard Michels; Stef Joosten
business modeling and software design | 2018
Stef Joosten; Gerard Michels
Collaboration
Dive into the Stef Joosten's collaboration.
