Modeling sequences within the RELVIEW system

Journal of Universal Computer Science

Volumn 7, Issue 2, 2001, Pages 107-123

  Berghammer, Rudolf ^a   Hoffmann, Thorsten ^a  

^a UNIVERSITY OF KIEL   (Germany)

Author keywords

Equivalence classes; Formal program derivation; Relational algebra; Relational modelling and programming; RELVIEW system

Indexed keywords

EID: 1142308547     PISSN: 0958695X     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (19)

1. [Beh98] Behnke R.: Prototyping relational specifications and programs with RELVIEW. In: Buth B., Berghammer R., Peleska J. (eds.): Tools for system development and verification. BISS Monographs 1, Shaker Verlag, 22-42 (1998)
2. [BBS97] Behnke R., Berghammer R., Schneider P.: Machine support of relational computations. The Kiel RELVIEW system. Bericht 9711, Institut für Informatik und Praktische Mathematik, Univ. Kiel (1997)
3. [BBM97] Behnke R., Berghammer R., Meyer E., Schneider P.: RELVlEW - A system for calculating with relations and relational programming. In: Astesiano E. (ed.): Proc. Conference on Fundamental Approaches to Software Engineering (FASE '98), LNCS 1382, Springer Verlag, 318-321 (1998)
4. [BBH99] Behnke R., Berghammer R., Hoffmann T., Leoniuk B., Schneider P.: Applications of the RELVlEW system. In: Berghammer R., Lakhnech Y. (eds.): Tool support for system specification, development and verification. Advances in Computing, 33-47 (1999)
5. [BeZ86] Berghammer R., Zierer H.: Relational algebraic semantics of deterministic and nondeterministic programs. Theoretical Computer Science 43, 123-147 (1986)
6. [BGS94] Berghammer R., Gritzner T., Schmidt G.: Prototyping relational specifications using higher-order objects. In: Heering, J. et al. (eds.): Proc. Workshop on Higher Order Algebra, Logic and Term Rewriting (HOA '93), LNCS 816, Springer Verlag, 56-75 (1994)
7. [BKU96] Berghammer R., Karger B. von, Ulke C.: Relation-algebraic analysis of Petri nets with RELVIEW. In: Margaria T., Steffen B. (eds.): Proc. Workshop on Tools and Applications for the Construction and Analysis of Systems (TACAS '96), LNCS 1055, Springer Verlag, 49-69 (1996)
8. [BHL99] Berghammer R., Hoffmann T., Leoniuk B.: Rechnergestützte Erstellung von Prototypen für Programme auf relationalen Strukturen. Bericht Nr. 9905, Institut für Informatik und Praktische Mathematik, Univ. Kiel (1999)
9. [BeH00] Berghammer R., Hoffmann T.: Deriving relational programs for computing kernels by reconstructing a proof of Richardson's theorem. Science of Computer Programming 38, 1-25 (2000)
10. [BiM97] Bird R., de Moor O.: Algebra of programming. Int. Series in Computer Science, Prentice Hall (1997)
11. [BKS97] Brink C., Kahl W., Schmidt G. (eds.): Relational methods in Computer Science. Advances in Computing Science, Springer Verlag (1997)
12. [ChT51] Chin L.H., Tarski A.: Distributive and modular laws in the arithmetic of relation algebras. Univ. of California Publ. in Math, (new series) 1, 341-384 (1951)
13. [Dij76] Dijkstra E.W.: A discipline of programming. Prentice-Hall (1976)
14. [DGB97] Doornbos H., van Gasteren N., Backhouse R.: Programs and datatypes. In: Brink C. et al. (eds.): Relational methods in Computer Science. Advances in Computing Science, Springer Verlag, 150-165 (1997)
15. [Gri81] Gries D.: The science of computer programming. Springer Verlag (1981)
16. [Moe91] Möller B.: Relations as a program development language. In: Möller B. (ed.): Constructing programs from specifications. North-Holland, 373-397 (1991)
17. [ScS93] Schmidt G., Ströhlein T.: Relations and graphs. Discrete Mathematics for Computer Scientists, EATCS Monographs on Theoretical Computer Science, Springer Verlag (1993)
18. [Tar41] Tarski A.: On the calculus of relations. Journal of Symbolic Logic 6, 73-89 (1941).
19. [Zie91] Zierer H.: Relation algebraic domain constructions. Theoretical Computer Science 87, 163-188 (1991)