{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T00:06:43Z","timestamp":1761955603730,"version":"build-2065373602"},"reference-count":11,"publisher":"Cambridge University Press (CUP)","issue":"4","license":[{"start":{"date-parts":[[2009,3,4]],"date-time":"2009-03-04T00:00:00Z","timestamp":1236124800000},"content-version":"unspecified","delay-in-days":4842,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Struct. Comp. Sci."],"published-print":{"date-parts":[[1995,12]]},"abstract":"<jats:p>Motivated by a desire to treat non-termination directly in the semantics of computation, the notion of approximation between programs is studied in the context of categories of partial maps. In particular, contextual approximation and specialisation are considered and shown to coincide. Moreover, after exhibiting the approximation between total maps as a primitive notion, from an arbitrary (or axiomatic) approximation order on total maps a computationally natural approximation order on partial maps is derived. The main technical contribution is a characterisation of when this approximation order between partial maps is domain-theoretic (in the sense that the category of partial maps<jats:bold>Cpo<\/jats:bold>-enriches) provided that the approximation order between total maps is also.<\/jats:p>","DOI":"10.1017\/s0960129500001225","type":"journal-article","created":{"date-parts":[[2009,3,4]],"date-time":"2009-03-04T09:00:09Z","timestamp":1236157209000},"page":"533-562","source":"Crossref","is-referenced-by-count":4,"title":["Order-enrichment for categories of partial maps"],"prefix":"10.1017","volume":"5","author":[{"given":"Marcelo P.","family":"Fiore","sequence":"first","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2009,3,4]]},"reference":[{"key":"S0960129500001225_ref011","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0445-9"},{"key":"S0960129500001225_ref010","doi-asserted-by":"crossref","first-page":"641","DOI":"10.1093\/oso\/9780198537359.003.0005","volume-title":"Handbook of Logic in Computer Science","author":"Smyth","year":"1992"},{"key":"S0960129500001225_ref009","unstructured":"Rosolini G. (1986) Continuity and Effectiveness in Topoi, PhD thesis, University of Oxford."},{"key":"S0960129500001225_ref006","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-17162-2_126"},{"volume-title":"Basic Concepts of Enriched Category Theory","year":"1982","author":"Kelly","key":"S0960129500001225_ref004"},{"key":"S0960129500001225_ref005","article-title":"Symposium on Semantics of Data Types","volume":"173","author":"Longo","year":"1984","journal-title":"Springer-Verlag Lecture Notes in Computer Science"},{"key":"S0960129500001225_ref001","unstructured":"Fiore M. P. (1994) Axiomatic Domain Theory in Categories of Partial Maps, PhD thesis, University of Edinburgh. Technical report ECS-LFCS-94\u2013307, Department of Computer Science. (To be published by Cambridge University Press in the Distinguished Dissertations Series.)"},{"key":"S0960129500001225_ref003","doi-asserted-by":"publisher","DOI":"10.1016\/0022-4049(72)90001-1"},{"key":"S0960129500001225_ref007","unstructured":"Plotkin G. D. (1985) Denotational Semantics with Partial Functions, Lecture at C.S.L.I. Summer School."},{"key":"S0960129500001225_ref008","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(88)90034-X"},{"key":"S0960129500001225_ref002","first-page":"92","volume-title":"9th LICS Conf","author":"Fiore","year":"1994"}],"container-title":["Mathematical Structures in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0960129500001225","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,11]],"date-time":"2024-03-11T01:44:38Z","timestamp":1710121478000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0960129500001225\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,12]]},"references-count":11,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1995,12]]}},"alternative-id":["S0960129500001225"],"URL":"https:\/\/doi.org\/10.1017\/s0960129500001225","relation":{},"ISSN":["0960-1295","1469-8072"],"issn-type":[{"type":"print","value":"0960-1295"},{"type":"electronic","value":"1469-8072"}],"subject":[],"published":{"date-parts":[[1995,12]]}}}