Foundations for stepwise refinement of program specifications via cylindric algebra theory
Diagrammes, Tome 8 (1982), Exposé no. 1, 24 p.
     author = {N\'em\'eti, I.},
     title = {Foundations for stepwise refinement of program specifications via cylindric algebra theory},
     journal = {Diagrammes},
     note = {talk:1},
     publisher = {Universit\'e Paris 7, Unit\'e d'enseignement et de recherche de math\'ematiques},
     volume = {8},
     year = {1982},
     zbl = {0534.03033},
     mrnumber = {780444},
     language = {en},
     url = {}
AU  - Néméti, I.
TI  - Foundations for stepwise refinement of program specifications via cylindric algebra theory
JO  - Diagrammes
N1  - talk:1
PY  - 1982
DA  - 1982///
VL  - 8
PB  - Université Paris 7, Unité d'enseignement et de recherche de mathématiques
UR  -
UR  -
UR  -
LA  - en
ID  - DIA_1982__8__A1_0
ER  - 
Néméti, I. Foundations for stepwise refinement of program specifications via cylindric algebra theory. Diagrammes, Tome 8 (1982), Exposé no. 1, 24 p.

ADJ (76): J. A. Goguen, J. W. Thatcher, E. G. Wagner, J. B. Wright, Rational Algebraïc Theories and Fixed-Point Solutions, Proc. IEEE 17th Symp. on Foundations of Computer Science (Houston, Texas), 1976, pp. 147-158. | MR 478727

H. Andréka, T. Gergely, I. Németi(72): Hierarchy of languages for A.I., Hungarian Pub. of Central Res. Inst. Phys. Budapest, No KFKI-72-46, 1972.

H. Andréka, T. Gergely, I. Németi (77): On Universal Algebraïc Construction of Logics, Studia Logica XXXVI,1-2 , 1977, pp. 9-47. | MR 505485 | Zbl 0362.02057

H. Andréka, T. Gergely, I. Németi(80): Model theoretic semantics for many-purpose languages and language hierarchies, Proc. of COLING'80 Tokio, 1980 . | Zbl 0469.68084

H. Andréka, I. Németi (78): Løs lemma holds in every category, Studia Sci. Math. Hung., To appear. | Zbl 0502.03015

H. Andréka, I. Németi (79) Formulas and Ultraproducts in Categories, Beiträge z. Algebra u. Geom. , 1979, pp. 133-151. | MR 571360 | Zbl 0531.03042

H. Andréka, I. Németi(79a): Néhány magyarorszagi kutatás a számitástudomány matematikai alapjai terén, Proc. of the "NJSZT Elso" Országos Kongresszusa", 1979.

H. Andréka, I. Németi (79b): Base homomorphisms of generalized cylindric set algebras, Manuscript, 1979.

B. Banaschewski, H. Herrlich(76): Subcategories defined by implications, Houston J. of Math., 1976/2 , pp. 149-171. | MR 401867 | Zbl 0344.18002

J. L. Bell, M. Machover (77): A course in Mathematical Logic, North-Holland, 1977. | MR 472455 | Zbl 0359.02001

E. K. Blum, D. R. Estes (77): A generalization of the homomorphism concept, Alg. Univ. 7 , 1977, pp. 143-161. | MR 434926 | Zbl 0386.08003

E. K. Blum, N. A. Lynch (79a): A difference in expressive power between flowcharts and recursive schemes, Math. Syst. Theory 12, 1979, pp. 205-211. | MR 529557 | Zbl 0425.68020

E. K. Blum, K. A. Lynch (79b): Relative complexity operation sets for numeric and bit string algebras, To appear in Math. Syst. Theory. | MR 963299 | Zbl 0469.68046

R. M. Burstall, J. A. Goguen (77): Putting theories together to make specifications, Proc. of 5th Int. Joint Conf. on Artificial Intelligence, MIT, Cambridge, Mass. , 1977, pp. 1045-1058.

R. M. Burstall, J. A. Goguen (79): Some Fundamental Properties of Algebraïc Theories: A Tool for Semantics of Computation, accepted by Theoretical Computer Science.

C. C. Chang, H. J. Keisler (73): Model Theory, North-Holand, 1973. | MR 409165 | Zbl 0276.02032

B. Dömölki (79): An example of hierarchical program specification, to appear in Proc. Abstract Software Specifications, Jan. 1979, Copenhagen, Ed. D. Bjørner and C. Jones. | Zbl 0456.68012

C. C. Elgot(71): Algebraïc theories and program schemes, Symp. on Semantics of Algorithmic Languages, ed. E. Engeler, Springer-Verlag, 1971, pp. 71-88. | MR 283044 | Zbl 0228.68018

C. C. Elgot (75): Monadic computation and iterative algebraïc theories, IBM Res. Report RC 4564, Oct. 1973 and Proc. of Logic Coll.'73, North-Holland, 1975, p. 230. | MR 413584 | Zbl 0327.02040

J. A. Goguen, R. M. Burstall(78): Some fundamental properties of algebraïc theories: A tool for semantics of computation, preprint 1978, submitted to Theor. Comput. Sci. .

J. A. Goguen, R. M. Burstall (79): CAT, a system for the structured elaboration of correct programs from structured specifications, in preparation.

J. A. Goguen, R. M. Burstall (80): The semantics of CLEAR, a specification language, to appear in Proc. of 1979 Copenhagen Winter School on Abstract Software Specifications. | Zbl 0456.68024

G. Grätzer(79): Universal Algebra, 2nd Ed., Springer-Verlag, 1979, | MR 538623

L. Henkin, J. D. Monk, A. Tarski (71): Cylindric Algebras Part I, North-Holland, 1971. | MR 781929

L. Henkin, J. D. Monk, A. Tarski(79): Cylindric set algebras and related structures I , submitted to Alg. Univ. .

H. Herrlich, G. E. Strecker (73): Category Theory, Allyn and Bacon Inc. , Boston, 1973. | MR 349791 | Zbl 0265.18001

S. Maclane (71): Categories for the Working Mathematician, Springer-Verlag, 1971. | MR 354798 | Zbl 0232.18001

J. Mccarthy, P. J. Hayes (69): Some philosophical problems from the standpoint of artificial intelligence, Machine Intelligence 4, 1969. | Zbl 0226.68044

J. D. Monk (76): Mathematical Logic, Springer-Verlag, 1976, | MR 465767 | Zbl 0354.02002

P. Mosses (79): Modular Denotational Semantics, Rep. of the 2nd Int. Workshop on the Semantics of Programming Languages, presented in the Rundbrief d. Fachgruppe Künstliche Intelligenz in der Gesellschaft fur Informatik, No. 17 , 1979, pp. 50-51, pub. P. Raufels (Instit. für Informatik III, Univ. Bonn, Kurtfürstenstr. 74, 5300 Bonn 1).

I. Németi, I. Sain (77): Cone-injectivity and some Birkhoff-type theorems in categories, contributions to Universal Algebra, Proc. Coll. Esztergom, 1977, Colloq. Math. Soc. J. Bolyai, Noth-Holland, 1981. | Zbl 0495.18001

I. Németi, I. Sain (78): Connections between Algebraïc Logic and Initial Algebra Semantics of CF Languages, to appear in Proc. Coll. Logic in Programming, Salgótarján, 1978, Colloq. Math. Soc. J. Bolyai, North-Holland. | Zbl 0502.68023

C. M. I. Rattray,T. Rus (77): Hash-Hierarchy, a mathematical device for computer system modelling, Proc. 1st Symp. on Math. Modelling, Missouri, 1977, pp. 1-15.

I. Sain(79b): Theories, Theory Morphisms and Cylindric Algebras, Manuscript, 1979.

J. Tiuryn (79a): Connections between regular algebras and rational algebraïc theories, Proc. 2nd Workshop categorical and algebraïc methods in comp. sci. and syst. theory, Dortmund, 1979.

E. G. Wagner, J. B. Wright, J. A. Goguen, J. W. Thatcher (76): Some fundamentals of order-algebraïc semantics, IBM Res. Rep. RC 6020, June 1976 and Proc. of 5th Int. Symp. on Math. Found. of Comp. Sci. , Gdansk, Poland, LNCS 45, pp. 153-168. | Zbl 0361.68041

E. G. Wagner, J. W. Thatcher, J. B. Wright (77): Free continuous theories, IBM Th. Watson Res. Cent., RC 6906, 1977.

M. Wand (75a): Fixed-point constructions in orderenriched categories, Techn. Rep. 23, Comp. Sci. Dept., Indiana Univ., Apr. 1975, to appear in Theor. Comput. Sci., 1979. M. Wand (77a): Algebraïc theories and tree rewriting systems, Techn. Rep. No. 66, Comp. Sci. Dept., Indiana Univ., Bloomington, Indiana 47401, 1977.

J. Winkowski (78): Towards an understanding of computer simulation, Ann. Soc. Math. Pol., Series IV: Fundamenta Informaticae I, 1978, pp. 277-289. | MR 495305 | Zbl 0386.68088