Go home now Header Background Image
Submission Procedure
share: |
Follow us
Volume 7 / Issue 2

available in:   PDF (242 kB) PS (82 kB)
Similar Docs BibTeX   Write a comment
Links into Future
DOI:   10.3217/jucs-007-02-0107


Modeling Sequences within the RelView System

Rudolf Berghammer (Christian-Albrechts-Universit├Ąt Kiel, Germany)

Thorsten Hoffmann (Christian-Albrechts-Universit├Ąt Kiel, Germany)

Abstract: We use a relational characterization of binary direct sums to model sequences within the relation-algebraic manipulation and prototyping system RelView in a simple way. As an application we formally derive a RelView program for computing equivalence classes of an equivalence relation, where we combine relation-algebraic calculations with the so-called Dijkstra-Gries program development method. Also a refinement of the simple modeling is presented, which leads to the classical datatype of stacks, and a further application is sketched.

Keywords: RelView system, equivalence classes, formal program derivation, relational algebra, relational modelling and programming

Categories: D.1.4, D.2.2, D.2.4, G.2.2