{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T04:45:22Z","timestamp":1729658722949,"version":"3.28.0"},"reference-count":29,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1109\/lics.2004.1319637","type":"proceedings-article","created":{"date-parts":[[2004,11,13]],"date-time":"2004-11-13T00:14:14Z","timestamp":1100304854000},"page":"426-435","source":"Crossref","is-referenced-by-count":10,"title":["Semantics of a sequential language for exact real-number computation"],"prefix":"10.1109","author":[{"given":"J.R.","family":"Marcial-Romero","sequence":"first","affiliation":[]},{"given":"M.H.","family":"Escardo","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1016\/S1570-7954(03)80059-1"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-56999-9"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(77)90048-2"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-444-88074-1.50017-2"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(91)90037-X"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511542725"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(92)90017-A"},{"journal-title":"A Functional Approach to Computability on Real Numbers","year":"1993","author":"gianantonio","key":"11"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(99)00036-5"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1137\/0205035"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(01)00100-1"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(77)90044-5"},{"key":"23","first-page":"116","article-title":"Domains","author":"plotkin","year":"1983","journal-title":"Post-graduate Lecture in Advanced Domain Theory Univesity of Edinburgh Departament of Computer Science Available from the Author's Web Page"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1997.614952"},{"key":"25","first-page":"65","article-title":"Lattice theory, data type and semantics","author":"scott","year":"1972","journal-title":"Randall Rustin Editor Formal Semantics of Algorithmic Languages"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(78)90048-X"},{"key":"27","first-page":"662","article-title":"Powerdomains and predicate transformers: A topological view","volume":"154","author":"smyth","year":"1983","journal-title":"ICALP '83 LNCS"},{"key":"28","doi-asserted-by":"crossref","first-page":"641","DOI":"10.1093\/oso\/9780198537359.003.0005","article-title":"Topology","volume":"1","author":"smyth","year":"1992","journal-title":"Handbook of Logic in Computer Science"},{"journal-title":"Topology Via Logic","year":"1989","author":"vickers","key":"29"},{"key":"3","first-page":"43","article-title":"Exact real arithmetic: Formulating real numbres as functions","author":"boehm","year":"1990","journal-title":"Research Topics in Functional Programming"},{"key":"2","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-61667-9","author":"bishop","year":"1985","journal-title":"Constructive Analysis"},{"journal-title":"Sequentially and Piece-wise Affinity in Segments of Real-pcf","year":"0","author":"farjudian","key":"10"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(91)90065-T"},{"key":"7","first-page":"13","article-title":"Real PCF extended with ? is universal","author":"escardo?","year":"1996","journal-title":"Advances in Theory and Formal Methods of Computing Proceedings of the Third Imperial College Workshop"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(95)00250-2"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/289423.289441"},{"key":"4","first-page":"305","author":"buneman","year":"1988","journal-title":"A Semantics for Complex Objects and Approximate Queries"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(98)00099-1"},{"key":"8","article-title":"On the non-sequential nature of the interval-domain model of exact real-number computation","author":"escardo?","year":"2002","journal-title":"Mathematical Structures in Computer Science"}],"event":{"name":"Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004.","start":{"date-parts":[[2004,7,17]]},"location":"Turku, Finland","end":{"date-parts":[[2004,7,17]]}},"container-title":["Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9221\/29239\/01319637.pdf?arnumber=1319637","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,15]],"date-time":"2024-01-15T09:09:54Z","timestamp":1705309794000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1319637\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"references-count":29,"URL":"https:\/\/doi.org\/10.1109\/lics.2004.1319637","relation":{},"subject":[],"published":{"date-parts":[[2004]]}}}