Denotational semantics for programming languages, balanced quasi-metrics and fixed points (SI-CMMSE2006)

Oscar Valero (1) , Jesus Rodriguez-Lopez (2) , Salvador Romaguera (2)

1 Departamento de Ciencias Matematicas e Informatica
2 Matematica Aplicada

A new mathematical model is introduced for the study of the domain of words. We do it by means of the introduction of a suitable balanced quasi-metric on the set of all words over an alphabet. It will be shown that this construction has better quasi-metric and topological properties than several classical constructions. We also prove a fixed point theorem which allow to develop an application for the study of Probabilistic Divide & Conquer Algorithms.

Mots clés: Physical Sciences

Oscar Valero, Jesus Rodriguez-Lopez, Salvador Romaguera. Denotational semantics for programming languages, balanced quasi-metrics and fixed points (SI-CMMSE2006). International Journal of Computer Mathematics, 2008, 85 (03-04), pp.623-630. ⟨10.1080/00207160701210653⟩. ⟨hal-00545349⟩