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

References

• de Bakker , J. W. and de Vink , E. P. 1996 . Control Flow Semantics , Cambridge, Massachusetts : MIT Press .
   Google Scholar
• de Bakker , J. W. and de Vink , E. P. A metric approach to control flow semantics. In: . Proceedings of the Eleventh Summer Conference on General Topology and Applications . Gorham, Maire, USA. Annals of the New York Academy of Sciences , Edited by: Andima , S. Vol. 806 , pp. 11 – 27 .
   Google Scholar
• 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 .
   Web of Science ®Google Scholar
• Lecomte , P. and Rigo , M. 2002 . On the representation of real numbers using regular languages . Theory of Computing Systems , 35 : 13 – 38 .
   Web of Science ®Google Scholar
• Kahn , G. 2002 . “ The semantics of a simple language for parallel processing ” . In Mathematical and Computer Modelling , Edited by: Rosenfeld , J. L. Vol. 36 , Amsterdam : Elsevier and North-Holland . Proceedings of the IFIP Congress Stockholm Sweden
   Google Scholar
• 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 .
   Google Scholar
• Matthews , S. G. Partial metric topology . Annals of the New York Academy of Sciences . Flushing, New York. Edited by: Andima , S. Vol. 728 , pp. 183 – 197 . Proceedings of the 8th Summer Conference on General Topology and Applications
   Google Scholar
• Pin , J. 1999 . Uniformities on free semigroups . International Journal of Algebra and Computation , 9 : 431 – 453 .
   Web of Science ®Google Scholar
• Smyth , M. B. 1988 . Mathematical Foundations of Programming Language Semantics Edited by: Main , M. 236 – 253 . Quasi-uniformities: Reconciling domains with metric spaces. In: Third Workshop, Tulanem, 1987. Lecture Notes in Computer Science, Vol. 298 (Berlin: Springer)
   Google Scholar
• Smyth , M. B. 1991 . “ Totally bounded spaces and compact ordered spaces as domains of computation ” . In Topology and Category Theory in Computer Science , Edited by: Reed , G. M. , Roscoe , A. W. and Wachter , R. F. 207 – 229 . Oxford : Clarendon Press .
   Google Scholar
• Romaguera , S. and Schellekens , M. 2005 . Partial metric monoids and semivaluation spaces . Topology and its Applications , 153 : 948 – 962 .
   Web of Science ®Google Scholar
• Schellekens , M. 2004 . The correspondence between partial metrics and semivaluations . Theoretical Computer Sciences , 315 : 135 – 149 .
   Web of Science ®Google Scholar
• Fletcher , P. and Lindgren , W. 1982 . Quasi-Uniform Spaces , New York : Marcel Dekker .
   Google Scholar
• 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 Handbook of the History of General Topology , Edited by: Aull , C. E. and Lowen , R. Vol. 3 , 853 – 968 . Dordrecht : Kluwer .
   Google Scholar
• Engelking , R. 1977 . General Topology , Warsaw : Polish Science Publishers .
   Google Scholar
• Künzi , H. P.A. 1995 . Nonsymmetric topology, 1993 303 – 338 . Budapest, Hungary Bolyai Soc. Math. Stud. 4, Topology, Szekszárd
   Google Scholar
• Romaguera , S. and Sanchis , M. 2003 . Applications of utility functions defined on quasi-metric spaces . Journal of Mathematical Analysis and Applications , 283 : 219 – 235 .
   Web of Science ®Google Scholar
• Doitchinov , D. 1988 . On completeness in quasi-metric spaces . Topology and its Applications , 30 : 127 – 148 .
   Web of Science ®Google Scholar
• Reilly , I. L. , Subrhamanyam , P. V. and Vamanamurthy , M. K. 1982 . Cauchy sequences in quasi-metric spaces . Monatshefte für Mathematik , 93 : 127 – 140 .
   Web of Science ®Google Scholar
• Flajolet , P. 1992 . “ Analytic analysis of algorithms ” . In Automata, Languages and Programming. Lecture Notes in Computer Science, Vol , Edited by: Kuich , W. Vol. 623 , 186 – 210 . Berlin : Springer . ICALP’92, Vienna, July
   Google Scholar
• Kruse , R. 1984 . Data Structures and Program Design , New Jersey : Prentice-Hall .
   Google Scholar