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á bibliografia

Vydané v:	Abstract and Applied Analysis Ročník 2013; číslo 2013; s. 692 - 702-1368
Hlavní autori:	Shahzad, Naseer, Valero, O.
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Cairo, Egypt Hindawi Limiteds 01.01.2013 Hindawi Puplishing Corporation Hindawi Publishing Corporation John Wiley & Sons, Inc Wiley
Predmet:	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 prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!