On 0-Complete Partial Metric Spaces and Quantitative Fixed Point Techniques in Denotational Semantics

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 quantitativ...

Full description

Saved in:

Bibliographic Details
Published in:	Abstract and Applied Analysis Vol. 2013; no. 2013; pp. 692 - 702-1368
Main Authors:	Shahzad, Naseer, Valero, O.
Format:	Journal Article
Language:	English
Published:	Cairo, Egypt Hindawi Limiteds 01.01.2013 Hindawi Puplishing Corporation Hindawi Publishing Corporation John Wiley & Sons, Inc Wiley
Subjects:	Computer science Denotational semantics Fixed point theory Mathematical models Mathematical research Metric spaces Programming languages Recursive algorithms Semantics
ISSN:	1085-3375, 1687-0409
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!