@article{bwmeta1.element.bwnjournal-article-bcpv28z1p167bwm,
author = {Berghammer, Rudolf and Schmidt, Gunther},
title = {Relational specifications},
journal = {Banach Center Publications},
volume = {28},
year = {1993},
pages = {167-190},
zbl = {0791.68104},
language = {en},
url = {http://dml.mathdoc.fr/item/bwmeta1.element.bwnjournal-article-bcpv28z1p167bwm}
}
Berghammer, Rudolf; Schmidt, Gunther. Relational specifications. Banach Center Publications, Tome 28 (1993) pp. 167-190. http://gdmltest.u-ga.fr/item/bwmeta1.element.bwnjournal-article-bcpv28z1p167bwm/
[000] [Berghammer 91] R. Berghammer, Relational specification of data types and programs, Report 9109, Univ. der Bundeswehr München, Fakultät für Informatik, 1991.
[001] [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 . | Zbl 0800.68963
[002] [Berghammer et al.] 89] R. Berghammer, G. Schmidt and H. Zierer, Symmetric quotients and domain construction, Inform. Process. Lett. 33 (3) (1989), 163-169. | Zbl 0689.68095
[003] [Berghammer-Zierer 86] R. Berghammer and H. Zierer, Relational algebraic semantics of deterministic and nondeterministic programs, Theoret. Comput. Sci. 43 (1986), 123-147.
[004] [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.
[005] [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.
[006] [de Bakker 71] J. W. deBakker, Recursive procedures, Math. Centre Tracts 24, Mathematisch Centrum, Amsterdam 1971.
[007] [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.
[008] [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.
[009] [Desharnais 89] J. Desharnais, Abstract relational semantics, Ph.D. thesis, McGill Univ., Montreal, Faculty of Graduate Studies and Research, 1989.
[010] [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.
[011] [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.
[012] [Dijkstra 75] E. W. Dijkstra, Guarded commands, nondeterminacy and the formal derivation of programs, Comm. ACM 18 (1975) 453-457. | Zbl 0308.68017
[013] [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.
[014] [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.
[015] [Hussmann 89] H. Hussmann, Nichtdeterministische algebraische Spezifikationen, Dissertation, Univ. Passau, Fakultät für Mathematik und Informatik, 1989.
[016] [Kern 87] J. Kern, Ein interaktives relationenalgebraisches Formelmanipulationssystem, Diplomarbeit, Techn. Univ. München, Institut für Informatik, 1987.
[017] [Manna 74] Z. Manna, Mathematical Theory of Computation, McGraw-Hill, New York 1974.
[018] [Nipkow 86] T. Nipkow, Nondeterministic data types: Models and implementations, Acta Inform. 22 (1986), 629-661. | Zbl 0564.68013
[019] [Nguyen 91] T. T. Nguyen, A relational model of demonic nondeterministic programs, Internat. J. Found. Comput. Sci. 2 (1991), 101-131. | Zbl 0739.68063
[020] [Schmidt 84] M. Schmidt, Behandlung abstrakter Typen auf relationenalgebraischer Grundlage, Diplomarbeit, Techn. Univ. München, Institut für Informatik, 1984.
[021] [Schmidt 86] D. A. Schmidt, Denotational Semantics-A Methodology for Language Development, Allyn and Bacon, 1986.
[022] [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.
[023] [Wirsing 90] M. Wirsing, Algebraic specifications, in: J. van Leeuwen (ed.), Handbook of Theoretical Computer Science B, North-Holland, 1990, 675-788.
[024] [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.
[025] [Zierer 83] H. Zierer, Relationale Semantik, Diplomarbeit, Techn. Univ. München, Institut für Informatik, 1983.
[026] [Zierer 91] H. Zierer, Relation algebraic domain constructions, Theoret. Comput. Sci. 87 (1991), 163-188. | Zbl 0741.68074