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

DOI10.1016/S0166-8641(97)00140-5zbMATH Open0933.68086MaRDI QIDQ1295293FDOQ1295293

Authors: J. W. de Bakker, Erik de Vink 

Publication date: 20 July 1999

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

Recommendations

• Denotational semantics for programming languages, balanced quasi-metrics and fixed points
• scientific article; zbMATH DE number 1231470
• scientific article; zbMATH DE number 2087210
• Fixed point theorems in logic programming
• Fixed points and closure operators: Programmological aspects
• scientific article; zbMATH DE number 1278791
• scientific article; zbMATH DE number 3938561
• Approximation of abstract semantics by formal models of programs
• An algebraic model for programming languages
• An algebraic model of von Neumann programming languages

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)

Cites Work

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

Cited In (16)

• On the structure of the space of complexity partial functions
• CPO semantics of timed interactive actor networks
• Metric semantics for true concurrent real time
• The Hausdorff fuzzy quasi-metric
• Title not available (Why is that?)
• Coincidence and fixed points for maps on topological spaces
• Title not available (Why is that?)
• Denotational semantics for programming languages, balanced quasi-metrics and fixed points
• A quasi-metric computational model from modular functions on monoids
• 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
• The complexity space of partial functions: a connection between complexity analysis and denotational semantics
• On quasi-metric aggregation functions and fixed point theorems
• Topological models for higher order control flow
• General versions of the Ekeland variational principle: Ekeland points and stop and go dynamics
• A fixed point theorem for cyclic generalized contractions in metric spaces

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1295293)