![](/images/graphics-bg.png)
On 0-Complete Partial Metric Spaces and Quantitative Fixed Point Techniques in Denotational Semantics
المؤلفون المشاركون
المصدر
العدد
المجلد 2013، العدد 2013 (31 ديسمبر/كانون الأول 2013)، ص ص. 1-11، 11ص.
الناشر
Hindawi Publishing Corporation
تاريخ النشر
2013-12-30
دولة النشر
مصر
عدد الصفحات
11
التخصصات الرئيسية
الملخص EN
In 1994, Matthews introduced the notion of partial metric space with the aim of providing a quantitative mathematical model suitable for program verification.
Concretely, Matthews proved a partial metric version of the celebrated Banach fixed point theorem which has become an appropriate quantitative fixed point technique to capture the meaning of recursive denotational specifications in programming languages.
In this paper we show that a few assumptions in statement of Matthews fixed point theorem can be relaxed in order to provide a quantitative fixed point technique useful to analyze the meaning of the aforementioned recursive denotational specifications in programming languages.
In particular, we prove a new fixed point theorem for self-mappings between partial metric spaces in which the completeness has been replaced by 0-completeness and the contractive condition has been weakened in such a way that the new one best fits the requirements of practical problems in denotational semantics.
Moreover, we provide examples that show that the hypothesis in the statement of our new result cannot be weakened.
Finally, we show the potential applicability of the developed theory by means of analyzing a few concrete recursive denotational specifications, some of them admitting a unique meaning and others supporting multiple ones.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Shahzad, Naseer& Valero, O.. 2013. On 0-Complete Partial Metric Spaces and Quantitative Fixed Point Techniques in Denotational Semantics. Abstract and Applied Analysis،Vol. 2013, no. 2013, pp.1-11.
https://search.emarefa.net/detail/BIM-513672
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Shahzad, Naseer& Valero, O.. On 0-Complete Partial Metric Spaces and Quantitative Fixed Point Techniques in Denotational Semantics. Abstract and Applied Analysis No. 2013 (2013), pp.1-11.
https://search.emarefa.net/detail/BIM-513672
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Shahzad, Naseer& Valero, O.. On 0-Complete Partial Metric Spaces and Quantitative Fixed Point Techniques in Denotational Semantics. Abstract and Applied Analysis. 2013. Vol. 2013, no. 2013, pp.1-11.
https://search.emarefa.net/detail/BIM-513672
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-513672
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
![](/images/ebook-kashef.png)
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر
![](/images/kashef-image.png)