A fixed point theorem in partial quasi-metric spaces and an application to software engineering

DOI10.1016/j.amc.2015.06.074zbMath1410.54051OpenAlexW1094653129MaRDI QIDQ668250

Maryam A. Alghamdi, Naseer Shahzad, Mohammed Ali Alghamdi, Oscar Valero

Publication date: 18 March 2019

Published in: Applied Mathematics and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.amc.2015.06.074

zbMATH Keywords

partially ordered setdenotational semanticscomplexity analysispartial metricpartial quasi-metricquasi-metric

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Complete metric spaces (54E50) Linearly ordered topological spaces, generalized ordered spaces, and partially ordered spaces (54F05) Fixed-point and coincidence theorems (topological aspects) (54H25) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

On the bicompletion of a partial quasi-metric space and \(T_0\)-quasi-metric spaces, A characterisation of weightable quasi-metric generating functions, Unnamed Item, Solution of nonlinear integral equation via fixed point of cyclic \(\alpha_L^\psi\)-rational contraction mappings in metric-like spaces, Unnamed Item, New fixed point results in partial quasi-metric spaces, Some \(\varphi\)-coupled fixed point results via modified \(F\)-control function's concept in metric spaces and its applications, Unnamed Item, General versions of the Ekeland variational principle: Ekeland points and stop and go dynamics, Generalized contractive mappings and related results in \(b\)-metric like spaces with an application

Cites Work

• The Baire partial quasi-metric space: a mathematical tool for asymptotic complexity analysis in computer science
• Partial quasi-metrics
• New results on the Baire partial quasi-metric space, fixed point theory and asymptotic complexity analysis for recursive programs
• On 0-complete partial metric spaces and quantitative fixed point techniques in denotational semantics
• Fixed point theorems on quasi-partial metric spaces
• Partial Metric Topology
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item