Foundations for stepwise refinement of program specifications via cylindric algebra theory

 Access to full text

 Full (PDF)

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