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

DOI10.1016/S0166-8641(97)00140-5MaRDI QIDQ1295293zbMATHFDO

Authors J. W. de Bakker, Erik de Vink

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)

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

Cites work

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

Cited in

(16)

• The complexity space of partial functions: a connection between complexity analysis and denotational semantics
• On quasi-metric aggregation functions and fixed point theorems
• On the structure of the space of complexity partial functions
• A quasi-metric computational model from modular functions on monoids
• Hyperspaces of a weightable quasi-metric space: application to models in the theory of computation
• General versions of the Ekeland variational principle: Ekeland points and stop and go dynamics
• Topological models for higher order control flow
• Coincidence and fixed points for maps on topological spaces
• The Banach fixed point theorem in fuzzy quasi-metric spaces with application to the domain of words
• A fixed point theorem for cyclic generalized contractions in metric spaces
• Metric semantics for true concurrent real time
• Denotational semantics for programming languages, balanced quasi-metrics and fixed points
• scientific article; zbMATH DE number 6026956 (Why is no real title available?)
• CPO semantics of timed interactive actor networks
• The Hausdorff fuzzy quasi-metric
• scientific article; zbMATH DE number 3938561 (Why is no real title available?)

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)