PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
1993 | 28 | 1 | 167-190
Tytuł artykułu

Relational specifications

Treść / Zawartość
Warianty tytułu
Języki publikacji
EN
Abstrakty
Słowa kluczowe
Rocznik
Tom
28
Numer
1
Strony
167-190
Opis fizyczny
Daty
wydano
1993
Twórcy
  • Fakultät für Informatik, Universität der Bundeswehr München, Werner-Heisenberg-Weg 39, D-8014 Neubiberg, Germany
  • Fakultät für Informatik, Universität der Bundeswehr München, Werner-Heisenberg-Weg 39, D-8014 Neubiberg, Germany
Bibliografia
  • [Berghammer 91] R. Berghammer, Relational specification of data types and programs, Report 9109, Univ. der Bundeswehr München, Fakultät für Informatik, 1991.
  • [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 .
  • [Berghammer et al.] 89] R. Berghammer, G. Schmidt and H. Zierer, Symmetric quotients and domain construction, Inform. Process. Lett. 33 (3) (1989), 163-169.
  • [Berghammer-Zierer 86] R. Berghammer and H. Zierer, Relational algebraic semantics of deterministic and nondeterministic programs, Theoret. Comput. Sci. 43 (1986), 123-147.
  • [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.
  • [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.
  • [de Bakker 71] J. W. deBakker, Recursive procedures, Math. Centre Tracts 24, Mathematisch Centrum, Amsterdam 1971.
  • [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.
  • [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.
  • [Desharnais 89] J. Desharnais, Abstract relational semantics, Ph.D. thesis, McGill Univ., Montreal, Faculty of Graduate Studies and Research, 1989.
  • [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.
  • [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.
  • [Dijkstra 75] E. W. Dijkstra, Guarded commands, nondeterminacy and the formal derivation of programs, Comm. ACM 18 (1975) 453-457.
  • [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.
  • [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.
  • [Hussmann 89] H. Hussmann, Nichtdeterministische algebraische Spezifikationen, Dissertation, Univ. Passau, Fakultät für Mathematik und Informatik, 1989.
  • [Kern 87] J. Kern, Ein interaktives relationenalgebraisches Formelmanipulationssystem, Diplomarbeit, Techn. Univ. München, Institut für Informatik, 1987.
  • [Manna 74] Z. Manna, Mathematical Theory of Computation, McGraw-Hill, New York 1974.
  • [Nipkow 86] T. Nipkow, Nondeterministic data types: Models and implementations, Acta Inform. 22 (1986), 629-661.
  • [Nguyen 91] T. T. Nguyen, A relational model of demonic nondeterministic programs, Internat. J. Found. Comput. Sci. 2 (1991), 101-131.
  • [Schmidt 84] M. Schmidt, Behandlung abstrakter Typen auf relationenalgebraischer Grundlage, Diplomarbeit, Techn. Univ. München, Institut für Informatik, 1984.
  • [Schmidt 86] D. A. Schmidt, Denotational Semantics-A Methodology for Language Development, Allyn and Bacon, 1986.
  • [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.
  • [Wirsing 90] M. Wirsing, Algebraic specifications, in: J. van Leeuwen (ed.), Handbook of Theoretical Computer Science B, North-Holland, 1990, 675-788.
  • [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.
  • [Zierer 83] H. Zierer, Relationale Semantik, Diplomarbeit, Techn. Univ. München, Institut für Informatik, 1983.
  • [Zierer 91] H. Zierer, Relation algebraic domain constructions, Theoret. Comput. Sci. 87 (1991), 163-188.
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.bwnjournal-article-bcpv28z1p167bwm
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.