An Application of Generalized Complexity Spaces to Denotational Semantics via the Domain of Words

DOI10.1007/978-3-642-00982-2_45zbMath1234.68227OpenAlexW1858665003MaRDI QIDQ3618612

Oscar Valero, Jordi Llull-Chavarría

Publication date: 2 April 2009

Published in: Language and Automata Theory and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-00982-2_45

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Function spaces in general topology (54C35) Metric spaces, metrizability (54E35) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (4)

On quasi-metric aggregation functions and fixed point theorems ⋮ Fractal dimension for fractal structures: applications to the domain of words ⋮ Complexity spaces as quantitative domains of computation ⋮ Qualitative versus quantitative fixed point techniques in computer science

Cites Work

• The Banach fixed point theorem in fuzzy quasi-metric spaces with application to the domain of words
• Quasi-metric properties of complexity spaces
• The quasi-metric of complexity convergence
• The Smyth Completion
• Partial Metric Topology
• Denotational semantics for programming languages, balanced quasi-metrics and fixed points
• On the structure of the space of complexity partial functions
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: An Application of Generalized Complexity Spaces to Denotational Semantics via the Domain of Words