Denotational models for programming languages: Applications of Banach's fixed point theorem

DOI10.1016/S0166-8641(97)00140-5zbMath0933.68086MaRDI QIDQ1295293

E. P. de Vink, J. W. de Bakker

Publication date: 20 July 1999

Published in: Topology and its Applications (Search for Journal in Brave)

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Logic in computer science (03B70) Semantics in the theory of computing (68Q55)

Related Items (14)

A fixed point theorem for cyclic generalized contractions in metric spaces ⋮ The Banach fixed point theorem in fuzzy quasi-metric spaces with application to the domain of words ⋮ Hyperspaces of a weightable quasi-metric space: application to models in the theory of computation ⋮ On quasi-metric aggregation functions and fixed point theorems ⋮ Coincidence and fixed points for maps on topological spaces ⋮ The complexity space of partial functions: a connection between complexity analysis and denotational semantics ⋮ CPO semantics of timed interactive actor networks ⋮ The Hausdorff fuzzy quasi-metric ⋮ Metric semantics for true concurrent real time ⋮ Denotational semantics for programming languages, balanced quasi-metrics and fixed points ⋮ On the structure of the space of complexity partial functions ⋮ A quasi-metric computational model from modular functions on monoids ⋮ Unnamed Item ⋮ General versions of the Ekeland variational principle: Ekeland points and stop and go dynamics

Cites Work

• Solving reflexive domain equations in a category of complete metric spaces
• Contractions in comparing concurrency semantics
• A timed model for communicating sequential processes
• Towards a foundation for semantics in complete metric spaces
• Fully abstract denotational models for nonuniform concurrent languages
• A lattice-theoretical fixpoint theorem and its applications
• Sur une méthode de métrisation complète de certains espaces d'ensembles compacts
• Processes and the denotational semantics of concurrency
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Denotational models for programming languages: Applications of Banach's fixed point theorem