Foundations for stepwise refinement of program specifications via cylindric algebra theory

I. Néméti

Diagrammes (1982)

  • Volume: 8, page N1-N24
  • ISSN: 0224-3911

How to cite


Néméti, I.. "Foundations for stepwise refinement of program specifications via cylindric algebra theory." Diagrammes 8 (1982): N1-N24. <>.

author = {Néméti, I.},
journal = {Diagrammes},
keywords = {first order theories; similarity types to formulas; theory morphisms; program specifications; pushout; cylindric algebras},
language = {eng},
pages = {N1-N24},
publisher = {Université Paris 7, Unité d'enseignement et de recherche de mathématiques},
title = {Foundations for stepwise refinement of program specifications via cylindric algebra theory},
url = {},
volume = {8},
year = {1982},

AU - Néméti, I.
TI - Foundations for stepwise refinement of program specifications via cylindric algebra theory
JO - Diagrammes
PY - 1982
PB - Université Paris 7, Unité d'enseignement et de recherche de mathématiques
VL - 8
SP - N1
EP - N24
LA - eng
KW - first order theories; similarity types to formulas; theory morphisms; program specifications; pushout; cylindric algebras
UR -
ER -


  1. 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. MR478727
  2. 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. 
  3. 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. Zbl0362.02057MR505485
  4. 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 . Zbl0469.68084
  5. H. Andréka, I. Németi (78): Løs lemma holds in every category, Studia Sci. Math. Hung., To appear. Zbl0502.03015
  6. H. Andréka, I. Németi (79) Formulas and Ultraproducts in Categories, Beiträge z. Algebra u. Geom. , 1979, pp. 133-151. Zbl0531.03042MR571360
  7. 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. 
  8. H. Andréka, I. Németi (79b): Base homomorphisms of generalized cylindric set algebras, Manuscript, 1979. 
  9. B. Banaschewski, H. Herrlich(76): Subcategories defined by implications, Houston J. of Math., 1976/2 , pp. 149-171. Zbl0344.18002MR401867
  10. J. L. Bell, M. Machover (77): A course in Mathematical Logic, North-Holland, 1977. Zbl0359.02001MR472455
  11. E. K. Blum, D. R. Estes (77): A generalization of the homomorphism concept, Alg. Univ. 7 , 1977, pp. 143-161. Zbl0386.08003MR434926
  12. 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. Zbl0425.68020MR529557
  13. E. K. Blum, K. A. Lynch (79b): Relative complexity operation sets for numeric and bit string algebras, To appear in Math. Syst. Theory. Zbl0469.68046MR963299
  14. 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. 
  15. 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. 
  16. C. C. Chang, H. J. Keisler (73): Model Theory, North-Holand, 1973. Zbl0276.02032MR409165
  17. 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. Zbl0456.68012
  18. 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. Zbl0228.68018MR283044
  19. 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. Zbl0327.02040MR413584
  20. 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. . 
  21. J. A. Goguen, R. M. Burstall (79): CAT, a system for the structured elaboration of correct programs from structured specifications, in preparation. 
  22. 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. Zbl0456.68024
  23. G. Grätzer(79): Universal Algebra, 2nd Ed., Springer-Verlag, 1979, Zbl0412.08001MR538623
  24. L. Henkin, J. D. Monk, A. Tarski (71): Cylindric Algebras Part I, North-Holland, 1971. Zbl0576.03043MR781929
  25. L. Henkin, J. D. Monk, A. Tarski(79): Cylindric set algebras and related structures I , submitted to Alg. Univ. . 
  26. H. Herrlich, G. E. Strecker (73): Category Theory, Allyn and Bacon Inc. , Boston, 1973. Zbl0265.18001MR349791
  27. S. MacLane (71): Categories for the Working Mathematician, Springer-Verlag, 1971. Zbl0232.18001MR354798
  28. J. McCarthy, P. J. Hayes (69): Some philosophical problems from the standpoint of artificial intelligence, Machine Intelligence 4, 1969. Zbl0226.68044
  29. J. D. Monk (76): Mathematical Logic, Springer-Verlag, 1976, Zbl0354.02002MR465767
  30. 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). 
  31. 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. Zbl0495.18001
  32. 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. Zbl0502.68023
  33. 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. 
  34. I. Sain(79b): Theories, Theory Morphisms and Cylindric Algebras, Manuscript, 1979. 
  35. 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. 
  36. 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. Zbl0361.68041
  37. E. G. Wagner, J. W. Thatcher, J. B. Wright (77): Free continuous theories, IBM Th. Watson Res. Cent., RC 6906, 1977. 
  38. 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. 
  39. J. Winkowski (78): Towards an understanding of computer simulation, Ann. Soc. Math. Pol., Series IV: Fundamenta Informaticae I, 1978, pp. 277-289. Zbl0386.68088MR495305

NotesEmbed ?


You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.


Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.