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

Celý popis

Podrobná bibliografie

Vydáno v:	Abstract and Applied Analysis Ročník 2013; číslo 2013; s. 692 - 702-1368
Hlavní autoři:	Shahzad, Naseer, Valero, O.
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Cairo, Egypt Hindawi Limiteds 01.01.2013 Hindawi Puplishing Corporation Hindawi Publishing Corporation John Wiley & Sons, Inc Wiley
Témata:	Computer science Denotational semantics Fixed point theory Mathematical models Mathematical research Metric spaces Programming languages Recursive algorithms Semantics
ISSN:	1085-3375, 1687-0409
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!