Relational specifications

 Access to full text

 Full (PDF)

1. [Berghammer 91] R. Berghammer, Relational specification of data types and programs, Report 9109, Univ. der Bundeswehr München, Fakultät für Informatik, 1991. 
2. [Berghammer-Schmidt 91] R. Berghammer and G. Schmidt, The RELVIEW-system, in: C. Choffrut and M. Jantzen (eds.), Proc. STACS 91, Lecture Notes in Comput. Sci. 480, Springer, 1991, 535-536 . Zbl0800.68963
3. [Berghammer et al.] 89] R. Berghammer, G. Schmidt and H. Zierer, Symmetric quotients and domain construction, Inform. Process. Lett. 33 (3) (1989), 163-169. Zbl0689.68095
4. [Berghammer-Zierer 86] R. Berghammer and H. Zierer, Relational algebraic semantics of deterministic and nondeterministic programs, Theoret. Comput. Sci. 43 (1986), 123-147. 
5. [Brethauer 91] R. Brethauer, Ein Formelmanipulationssystem zur computergestützten Beweisführung in der Relationenalgebra, Diplomarbeit, Univ. der Bundeswehr München, Fakultät für Informatik, 1991. 
6. [Chin-Tarski 51] L. H. Chin and A. Tarski, Distributive and modular laws in the arithmetic of relation algebras, Univ. California Publ. Math. 1 (1951), 341-384. 
7. [de Bakker 71] J. W. deBakker, Recursive procedures, Math. Centre Tracts 24, Mathematisch Centrum, Amsterdam 1971. 
8. [de Bakker-de Roever 73] J. W. deBakker and W. P. deRoever, A calculus for recursive program schemes, in: M. Nivat (ed.), Proc. ICALP 73, North-Holland, 1973, 167-196. 
9. [de Roever 74] W. P.] deRoever, Recursion and parameter mechanisms: An axiomatic approach, in: J. Loeckx (ed.), Proc. ICALP 74, Lecture Notes in Comput. Sci. 14, Springer, 1974, 34-65. 
10. [Desharnais 89] J. Desharnais, Abstract relational semantics, Ph.D. thesis, McGill Univ., Montreal, Faculty of Graduate Studies and Research, 1989. 
11. [Desharnais et al.] 92] J. Desharnais, A. Jaoua, N. Belkhiter and F. Tchier, Data refinement in a relation algebra, in: Proc. Second Maghrebian Conference on Software Engineering and Artificial Intelligence, Tunis 1992, Fondation Nationale de la Recherche Scientifique, 1992, 222-236. 
12. [Desharnais-Madhavji 90] J. Desharnais and N. H. Madhavji, Abstract relational specifications, in: M. Broy and J. B. Jones (eds.), Proc. TC 2 Working Conference on Programming Concepts and Methods, North-Holland, 1990, 267-284. 
13. [Dijkstra 75] E. W. Dijkstra, Guarded commands, nondeterminacy and the formal derivation of programs, Comm. ACM 18 (1975) 453-457. Zbl0308.68017
14. [Ehrig-Mahr 85] H. Ehrig and B. Mahr, Fundamentals of Algebraic Specifications 1. Equations and Initial Semantics, EATCS Monogr. Theoret. Comput. Sci. 6, Springer, 1985. 
15. [Gritzner 89] T. F. Gritzner, Die Axiomatik abstrakter Relationenalgebren: Darstellung der Grundlagen und Anwendung auf das Unschärfeproblem relationaler Produkte, Diplomarbeit, Techn. Univ. München, Institut für Informatik, 1989. 
16. [Hussmann 89] H. Hussmann, Nichtdeterministische algebraische Spezifikationen, Dissertation, Univ. Passau, Fakultät für Mathematik und Informatik, 1989. 
17. [Kern 87] J. Kern, Ein interaktives relationenalgebraisches Formelmanipulationssystem, Diplomarbeit, Techn. Univ. München, Institut für Informatik, 1987. 
18. [Manna 74] Z. Manna, Mathematical Theory of Computation, McGraw-Hill, New York 1974. 
19. [Nipkow 86] T. Nipkow, Nondeterministic data types: Models and implementations, Acta Inform. 22 (1986), 629-661. Zbl0564.68013
20. [Nguyen 91] T. T. Nguyen, A relational model of demonic nondeterministic programs, Internat. J. Found. Comput. Sci. 2 (1991), 101-131. Zbl0739.68063
21. [Schmidt 84] M. Schmidt, Behandlung abstrakter Typen auf relationenalgebraischer Grundlage, Diplomarbeit, Techn. Univ. München, Institut für Informatik, 1984. 
22. [Schmidt 86] D. A. Schmidt, Denotational Semantics-A Methodology for Language Development, Allyn and Bacon, 1986. 
23. [Schmidt-Ströhlein 89] G. Schmidt and T. Ströhlein, Relationen und Graphen, Springer, 1989; English version: Relations and Graphs, EATCS Monogr. Theoret. Comput. Sci., Springer, 1992, to appear. 
24. [Wirsing 90] M. Wirsing, Algebraic specifications, in: J. van Leeuwen (ed.), Handbook of Theoretical Computer Science B, North-Holland, 1990, 675-788. 
25. [Wirsing-Broy 82] M. Wirsing and M. Broy, An analysis of semantic models for algebraic specifications, in: M. Broy and G. Schmidt (eds.), Theoretical Foundations of Programming Methodology, Reidel, 1982, 351-412. 
26. [Zierer 83] H. Zierer, Relationale Semantik, Diplomarbeit, Techn. Univ. München, Institut für Informatik, 1983. 
27. [Zierer 91] H. Zierer, Relation algebraic domain constructions, Theoret. Comput. Sci. 87 (1991), 163-188. Zbl0741.68074