Denotational semantics for programming languages, balanced quasi-metrics and fixed points

International Journal of Computer Mathematics

Volumn 85, Issue 3-4, 2008, Pages 623-630

  Rodriguez Lopez J ^a   Romaguera, S ^a   Valero, O ^b  

^a UNIVERSITAT POLITÈCNICA DE VALÈNCIA   (Spain)

^b UNIVERSITAT DE LES ILLES BALEARS   (Spain)

Author keywords

Algorithm; Baire metric; Balanced quasi metric; Domain of words; Recurrence equation

Indexed keywords

BAIRE METRICS; DENOTATIONAL SEMANTICS; DIVIDE-AND-CONQUER ALGORITHM; DOMAIN OF WORDS; NEW MATHEMATICAL MODEL; QUASI-METRIC; RECURRENCE EQUATION; TOPOLOGICAL PROPERTIES;

TOPOLOGY;

ALGORITHMS;

EID: 41449104573     PISSN: 00207160     EISSN: 10290265     Source Type: Journal    
DOI: 10.1080/00207160701210653     Document Type: Conference Paper

References (22)

1. de Bakker, J.W. and de Vink, E.P., 1996, Contml Flow Semantics (Cambridge, Massachusetts: MIT Press).
2. de Bakker, J.W. and de Vink, E.P., 1996, A metric approach to control flow semantics. In: S. Andima et al. (Eds), Proceedings of the Eleventh Summer Conference on General Topology and Applications, Gorham, Maire, USA, Annals of the New York Academy of Sciences, 806, 11-27.
3. de Bakker, J.W. and de Vink, E.P., 1998, Denotational models for programming languages: Applications of Banach's fixed point theorem. Topology and its Applications, 85, 35-52.
4. Lecomte, P. and Rigo, M., 2002, On the representation of real numbers using regular languages. Theory of Computing Systems, 35, 13-38.
5. Kahn, G., 1974, The semantics of a simple language for parallel processing. In : J.L. Rosenfeld (Ed.), Proceedings of the IFIP Congress, Stockholm, Sweden (Amsterdam: Elsevier and North-Holland), pp. 471-475.
6. Arenas, F.G., Puertas, M.L. and Romaguera, S., 2002, Ordered fractal semigroups as a model of computation. Mathematical and Computer Modelling, 36, 1121-1129.
7. Matthews, S.G., 1994, Partial metric topology. In: S. Andima et al. (Eds), Proceedings of the 8th Summer Conference on General Topology and Applications, Flushing, New York, Annals of the New York Academy of Sciences, 728, 183-197.
8. Pin, J., 1999, Uniformities on free semigroups. International Journal of Algebra and Computation, 9, 431-453.
9. Smyth, M.B., 1988, Quasi-uniformities: Reconciling domains with metric spaces. In: M. Main et al. (Eds) Mathematical Foundations of Programming Language Semantics, Third Workshop, Tulanem, 1987. Lecture Notes in Computer Science, Vol. 298 (Berlin: Springer), pp. 236-253.
10. Smyth, M.B., 1991, Totally bounded spaces and compact ordered spaces as domains of computation. In: G.M. Reed, A. W. Roscoe and R.F. Wachter (Eds), Topology and Category Theory in Computer Science (Oxford: Clarendon Press), pp. 207-229.
11. Romaguera, S. and Schellekens, M., 2005, Partial metric monoids and semivaluation spaces. Topology and its Applications, 153, 948-962.
12. Schellekens, M., 2004, The correspondence between partial metrics and semivaluations. Theoretical Computer Sciences, 315, 135-149.
13. Fletcher, P. and Lindgren, W., 1982, Quasi-Uniform Spaces (New York: Marcel Dekker).
14. Künzi, H.P.A., 2001, Nonsymmetric distances and their associated topologies: about the origin of basic ideas in the area of asymmetric topology. In: C.E. Aull and R. Lowen (Eds), Handbook of the History of General. Topology, Vol. 3 (Dordrecht: Kluwer), pp. 853-968.
15. Engelking, R., 1977, General Topology (Warsaw: Polish Science Publishers).
16. Künzi, H.P.A., 1995, Nonsymmetric topology. Bolyai Soc. Math. Stud. 4, Topology, Szekszárd, 1993. Budapest, Hungary, pp. 303-338.
17. Romaguera, S. and Sanchis, M., 2003, Applications of utility functions defined on quasi-metric spaces. Journal of Mathematical Analysis and Applications, 283, 219-235.
18. Doitchinov, D., 1988, On completeness in quasi-metric spaces. Topology and its Applications, 30, 127-148.
19. Reilly, I.L., Subrhamanyam, P.V and Vamanamurthy, M.K., 1982, Cauchy sequences in quasi-metric spaces. Monatshefte für Mathematik 93, 127-140.
20. Flajolet, P., 1992, Analytic analysis of algorithms. In: W. Kuich (Ed), ICALP'92, Vienna, July 1992;
21. Automata, Languages and Programming. Lecture Notes in Computer Science, Vol. 623 (Berlin: Springer), pp. 186-210.
22. Kruse, R., 1984, Data Structures and Program Design (New Jersey: Prentice-Hall).