Metric interpretations of infinite trees and semantics of non deterministic recursive programs. (English) Zbl 0427.68022


68Q60 Specification and verification (program logics, model checking, etc.)
Full Text: DOI


[1] Arnold, A.; Nivat, M., Non deterministic recursive program schemes, (), 12-21 · Zbl 0361.68020
[2] A. Arnold and M. Nivat, Algebraic semantics of non deterministic recursive program schemes, Math. Systems Theory, to appear. · Zbl 0361.68020
[3] Arnold, A.; Nivat, M., Interpretations métriques de schémas de programme, Ecole Polytechnique, Proc. 1er colloque AFCET-SMF de mathématiques appliquées, Vol. 1, 191-208, (1978)
[4] Arnold, A.; Nivat, M., The metric space of infinite trees. algebraic and topological properties, Rapport IRIA-laboria no. 323, (1978)
[5] Courcelle, B.; Nivat, M., Algebraic families of interpretations, Houston, Proc. 17th symposium on foundations of computer science, 137-146, (1976)
[6] Courcelle, B.; Nivat, M., The algebraic semantics of recursive program schemes, (), 16-30 · Zbl 0384.68016
[7] Dugundji, J., Topology, (1966), Allyn and Bacon Boston · Zbl 0144.21501
[8] Goguen, J.A.; Thatcher, J.W., Initial algebra semantics, New Orleans, Proc. 15th symposium on switching and automata theory, 63-77, (1974)
[9] Goguen, J.A.; Thatcher, J.W.; Wagner, E.; Wright, J.B., Initial algebra semantics and continuous algebras, J. ACM, 24, 68-95, (1977) · Zbl 0359.68018
[10] Kuratowski, K., Topology, (1966), Academic Press New York · Zbl 0158.40901
[11] Nivat, M., On the interpretation of polyadic recursive program schemes, Symposia Mathematica, 15, 255-281, (1975)
[12] Nivat, M., Interprétation universelle d’un schéma de programme récursif, Riv. informatica, 7, 9-16, (1977)
[13] Park, D., Fixpoint induction and proof of program properties, Machine intelligence, 5, 59-78, (1969) · Zbl 0219.68007
[14] Plotkin, G., A powerdomain construction, SIAM J. comput, 5, 452-487, (1976) · Zbl 0355.68015
[15] Scott, D., The lattice of flow diagrams, (), 311-366
[16] Scott, D., Outline of a theory of computation, Oxford programming research group, memo no. 2, (1972)
[17] Smyth, M.B., Power domains, J. comput. system sci., 16, 23-36, (1978) · Zbl 0391.68011
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.