{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T05:52:35Z","timestamp":1649137955762},"reference-count":9,"publisher":"Springer Science and Business Media LLC","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Reliable Comput"],"published-print":{"date-parts":[[1996,6]]},"DOI":"10.1007\/bf02425910","type":"journal-article","created":{"date-parts":[[2006,6,7]],"date-time":"2006-06-07T11:35:57Z","timestamp":1149680157000},"page":"97-102","source":"Crossref","is-referenced-by-count":0,"title":["Mechanising the theory of intervals using OBJ3"],"prefix":"10.1007","volume":"2","author":[{"given":"Marcilia A.","family":"Campos","sequence":"first","affiliation":[]},{"given":"Augusto C. A.","family":"Sampaio","sequence":"additional","affiliation":[]},{"given":"Alexandre H. F.","family":"Brainer","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"BF02425910_CR1","volume-title":"Introduction to interval computation","author":"G. Alefeld","year":"1983","unstructured":"Alefeld, G. and Herzberger, J.Introduction to interval computation. Academic Press, N.Y., 1983."},{"key":"BF02425910_CR2","unstructured":"Campos, M. A.Formalizing and implementing (or proving) properties of intervals using the OBJ3 system. Technical Report, No. 002, DI-UFPE-BR."},{"key":"BF02425910_CR3","unstructured":"Goguen, J., Winkler, T., Meseguer, J., Futatsigi, K., and Jouannaud, J.Introduction to OBJ. Technical Report, SRI International, 1993, to appear."},{"key":"BF02425910_CR4","doi-asserted-by":"crossref","unstructured":"Hammer, R., Neaga, M., and Ratz, D.Pascal-XSC, new concepts for scientific computation and numerical data processing. In: Adams, E. and Kulisch, U. (eds) \u201cScientific Computing with Automatic Result Verification 189\u201d, Academic Press, 1993, pp. 15\u201344.","DOI":"10.1016\/S0076-5392(08)62840-4"},{"key":"BF02425910_CR5","unstructured":"Kulisch, U. W. and Miranker, W. L.Computing arithmetic in theory and practice. Academic Press, 1981."},{"key":"BF02425910_CR6","doi-asserted-by":"crossref","unstructured":"Lawo, C.C-XSC, a programming environment for verified scientific computing. In: Adams, E. and Kulisch, U. (eds) \u201cScientific Computing with Automatic Result Verification 189\u201d, Academic Press, 1993, pp. 71\u201386.","DOI":"10.1016\/S0076-5392(08)62842-8"},{"key":"BF02425910_CR7","doi-asserted-by":"crossref","DOI":"10.1137\/1.9781611970906","volume-title":"Methods and applications of interval analysis","author":"R. E. Moore","year":"1979","unstructured":"Moore, R. E.Methods and applications of interval analysis. SIAM, Philadelphia, 1979."},{"key":"BF02425910_CR8","unstructured":"Paulson, L. C.ML for the working programmer. Cambridge University Press, 1991."},{"key":"BF02425910_CR9","doi-asserted-by":"crossref","unstructured":"Walter, W. V.ACRITH-XSC, A Fortran-like language for verified computing. In: Adams, E. and Kulisch, U. (eds) \u201cScientific Computing with Automatic Result Verification 189\u201d, Academic Press, 1993, pp. 45\u201370.","DOI":"10.1016\/S0076-5392(08)62841-6"}],"container-title":["Reliable Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BF02425910","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,19]],"date-time":"2019-04-19T06:57:57Z","timestamp":1555657077000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02425910"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,6]]},"references-count":9,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1996,6]]}},"alternative-id":["BF02425910"],"URL":"https:\/\/doi.org\/10.1007\/bf02425910","relation":{},"ISSN":["1385-3139","1573-1340"],"issn-type":[{"value":"1385-3139","type":"print"},{"value":"1573-1340","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,6]]}}}