Foundations for stepwise refinement of program specifications via cylindric algebra theory
Diagrammes, Volume 8 (1982), Talk no. 1, 24 p.
@article{DIA_1982__8__A1_0,
     author = {N\'em\'eti, I.},
     title = {Foundations for stepwise refinement of program specifications via cylindric algebra theory},
     journal = {Diagrammes},
     note = {talk:1},
     pages = {N1--N24},
     publisher = {Universit\'e Paris 7, Unit\'e d'enseignement et de recherche de math\'ematiques},
     volume = {8},
     year = {1982},
     mrnumber = {780444},
     zbl = {0534.03033},
     language = {en},
     url = {http://www.numdam.org/item/DIA_1982__8__A1_0/}
}
TY  - JOUR
AU  - Néméti, I.
TI  - Foundations for stepwise refinement of program specifications via cylindric algebra theory
JO  - Diagrammes
N1  - talk:1
PY  - 1982
SP  - N1
EP  - N24
VL  - 8
PB  - Université Paris 7, Unité d'enseignement et de recherche de mathématiques
UR  - http://www.numdam.org/item/DIA_1982__8__A1_0/
LA  - en
ID  - DIA_1982__8__A1_0
ER  - 
%0 Journal Article
%A Néméti, I.
%T Foundations for stepwise refinement of program specifications via cylindric algebra theory
%J Diagrammes
%Z talk:1
%D 1982
%P N1-N24
%V 8
%I Université Paris 7, Unité d'enseignement et de recherche de mathématiques
%U http://www.numdam.org/item/DIA_1982__8__A1_0/
%G en
%F DIA_1982__8__A1_0
Néméti, I. Foundations for stepwise refinement of program specifications via cylindric algebra theory. Diagrammes, Volume 8 (1982), Talk no. 1, 24 p. http://www.numdam.org/item/DIA_1982__8__A1_0/

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

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 | Zbl

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

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

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

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 | Zbl

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

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

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 | Zbl

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

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 | Zbl

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

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 | Zbl

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 | Zbl

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

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

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

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 | Zbl

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

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

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

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

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

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

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 | Zbl