Deriving relational programs for computing kernels by reconstructing a proof of Richardson's theorem-Reference-Cited by-同舟云学术

Deriving relational programs for computing kernels by reconstructing a proof of Richardson's theorem

Published:2000-08 Issue:1-3 Volume:38 Page:1-25
ISSN:0167-6423
Container-title:Science of Computer Programming
language:en
Short-container-title:Science of Computer Programming

Author:

Berghammer Rudolf,Hoffmann Thorsten

Publisher

Elsevier BV

Subject

Software

Reference19 articles.

1. R. Behnke, Prototyping relational specifications and programs with Rel View, in: B. Buth, R. Berg-hammer, J. Peleska, (Eds.), Tools for System Development and Verification, BISS Monographs, Vol. 1, Shaker, 1998, pp. 22–42.

2. R. Behnke, Transformational program development in the framework of relational and sequential algebras, Ph.D. Thesis, Institut für Informatik und Praktische Mathematik, Universität Kiel, 1998, (in German).

3. R. Behnke, R. Berghammer, P. Schneider, Machine support of relational computations, The Kiel RELVIEW system, Report 9711, Institut für Informatik und Praktische Mathematik, Universität Kiel, 1997.

4. Combining relational calculus and the Dijkstra–Gries method for deriving relational programs;Berghammer;Inform. Sci.,1999

5. R. Berghammer, T. Gritzne, G. Schmidt, Prototyping relational specifications using higher-order objects, J. Heering, K. Meinke, B. Möller, T. Nipkow (Eds.), Proc. Workshop “Higher Order Algebra, Logic and Term Rewriting”, Lecture Notes in Computer Science, Vol. 816, Springer, Berlin, 1994, pp. 56–75.

Cited by 9 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Experimental Investigation of Sufficient Criteria for Relations to Have Kernels;Relational and Algebraic Methods in Computer Science;2021

2. Combining relation algebra and data refinement to develop rectangle-based functional programs for reflexive–transitive closures;Journal of Logical and Algebraic Methods in Programming;2015-05

3. Tool-Based Verification of a Relational Vertex Coloring Program;Relational and Algebraic Methods in Computer Science;2015

4. Automated Verification of Relational While-Programs;Relational and Algebraic Methods in Computer Science;2014

5. Simple Rectangle-Based Functional Programs for Computing Reflexive-Transitive Closures;Relational and Algebraic Methods in Computer Science;2012