Download PDF - Relational specificationsAll rights reserved. Copyright exceptions and limitations apply

ArticleOriginal scientific text

Title

Relational specifications

Authors 1, 1

Affiliations

  1. Fakultät für Informatik, Universität der Bundeswehr München, Werner-Heisenberg-Weg 39, D-8014 Neubiberg, Germany

Bibliography

  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 .
  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.
  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.
  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.
  20. [Nguyen 91] T. T. Nguyen, A relational model of demonic nondeterministic programs, Internat. J. Found. Comput. Sci. 2 (1991), 101-131.
  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.
Banach Center Publications
1993/28/1
Export to PBN, Opens in new tab
Pages:
167-190
Main language of publication
English
Published
1993
Exact and natural sciences