{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:51:55Z","timestamp":1725663115764},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540116035"},{"type":"electronic","value":"9783540394198"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1982]]},"DOI":"10.1007\/3-540-11603-6_3","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:46:19Z","timestamp":1330191979000},"page":"48-80","source":"Crossref","is-referenced-by-count":0,"title":["Program correctness and machine arithmetic"],"prefix":"10.1007","author":[{"given":"T. J.","family":"Dekker","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"S. Alagi\u0107 & M.A. Arbib, The design of well-structed and correct programs; Springer-Verlag (1978).","DOI":"10.1007\/978-1-4612-6272-5"},{"key":"3_CR2","volume-title":"Exception handling with multi-exit statements; report IWI 125\/79","author":"R. J. R. R. Back","year":"1979","unstructured":"R.J.R. Back, Exception handling with multi-exit statements; report IWI 125\/79, Math. Centre, Amsterdam (1979)."},{"key":"3_CR3","unstructured":"J. de Bakker, Mathematical theory of program correctness; Prentice-Hall (1980)."},{"key":"3_CR4","unstructured":"E.W. Dijkstra, Notes on structured programming in O.J. Dahl, ... E.W. Dijkstra, C.A.R. Hoare, Structured programming; Acad. Press (1972) p.1\u201382."},{"key":"3_CR5","unstructured":"E.W. Dijkstra, A discipline of programming; Prentice-Hall (1976)."},{"key":"3_CR6","unstructured":"D. Gries, Educating the programmer: notation, proofs and the development of programs; TR 80-414, Cornell University (1980)."},{"key":"3_CR7","doi-asserted-by":"crossref","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C. A. R. R. Hoare","year":"1969","unstructured":"C.A.R. Hoare, An axiomatic basis for computer programming; Comm. ACM 12(1969), p.576\u2013581.","journal-title":"Comm. ACM"},{"key":"3_CR8","unstructured":"W.S. Brown, A simple but realistic model of floating-point computation; CS Techn. report no.83, Bell Laboratories (1980)."},{"key":"3_CR9","doi-asserted-by":"crossref","first-page":"510","DOI":"10.1145\/355921.355924","volume":"6","author":"W. S. Brown","year":"1980","unstructured":"W.S. Brown & S.I. Feldman, Environment parameters and basic functions for floating-point computation; ACM Transactions on Math, Software 6(1980) p.510\u2013523.","journal-title":"ACM Transactions on Math, Software"},{"key":"3_CR10","doi-asserted-by":"crossref","first-page":"224","DOI":"10.1007\/BF01397083","volume":"18","author":"T. J. Dekker","year":"1971","unstructured":"T.J. Dekker, A floating-point technique for extending the available precision; Num. Math, 18(1971) p.224\u2013242.","journal-title":"Num. Math"},{"key":"3_CR11","unstructured":"T.J. Dekker, Correctness proofs and machine arithmetic in L.D. Fosdick (ed.), Performance evaluation of numerical software; North-Holland Publ. Co. (1979)."},{"key":"3_CR12","doi-asserted-by":"crossref","first-page":"100","DOI":"10.1145\/355780.355782","volume":"4","author":"B. Ford","year":"1978","unstructured":"B. Ford, Parametrization of the environment for transportable numerical software; ACM TOMS 4(1978) p.100\u2013103.","journal-title":"ACM TOMS"},{"key":"3_CR13","unstructured":"J.E. Holm, Floating-point arithmetic and program correctness proofs; Ph.D. thesis, Cornell University (1980)."},{"key":"3_CR14","unstructured":"D.E. Knuth, The art of computer programming, vol.2; Addison-Wesley (1969)."},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"J.H. Wilkinson, Rounding errors in algebraic processes; Her Majesty's Stationery Office (1963).","DOI":"10.2307\/2002959"},{"key":"3_CR16","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1109\/C-M.1981.220379","volume":"14","author":"W. J. Cody","year":"1981","unstructured":"W.J. Cody, Analysis of proposals for the floating-point standard; Computer 14(1981) p.63\u201368.","journal-title":"Computer"},{"key":"3_CR17","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1109\/MC.1980.1653344","volume":"13","author":"J. T. Coonen","year":"1980","unstructured":"J.T. Coonen, An implementation guide to a proposed standard for floating arithmetic; Computer 13(1980) p.68\u201379.","journal-title":"Computer"},{"key":"3_CR18","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1109\/C-M.1981.220382","volume":"14","author":"J. T. Coonen","year":"1981","unstructured":"J.T. Coonen, Underflow and the denormalized numbers; Computer 14(1981) p.75\u201387.","journal-title":"Computer"},{"key":"3_CR19","unstructured":"T.J. Dekker, Machine requirements for reliable, portable software in W. Cowell (ed.), Portability of numerical software; Lecture notes in Computer Science 57, Springer-Verlag (1977) p.22\u201336."},{"key":"3_CR20","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1109\/C-M.1981.220381","volume":"14","author":"D. Hough","year":"1981","unstructured":"D. Hough, Applications of the proposed IEEE 754 standard for floating-point arithmetic; Computer 14(1981), p.70\u201374.","journal-title":"Computer"},{"key":"3_CR21","doi-asserted-by":"crossref","first-page":"96","DOI":"10.1145\/1053417.806442","volume":"14","author":"T. E. Hull","year":"1979","unstructured":"T.E. Hull, Desirable floating-point arithmetic and elementary functions for numerical computation; SIGNUM Newsletter 14(1979) p.96\u201399.","journal-title":"SIGNUM Newsletter"},{"key":"3_CR22","doi-asserted-by":"crossref","first-page":"12","DOI":"10.1145\/1053417.1053418","volume":"14","author":"C. H. Reinsch","year":"1979","unstructured":"C.H. Reinsch, Principles and preferences for computer arithmetic; SIGNUM Newsletter 14(1979) p.12\u201327.","journal-title":"SIGNUM Newsletter"},{"key":"3_CR23","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1109\/C-M.1981.220377","volume":"14","author":"D. Stevenson a.o","year":"1981","unstructured":"D. Stevenson a.o., A proposed standard for binary floating-point arithmetic; Computer 14(1981) p.51\u201362.","journal-title":"Computer"},{"key":"3_CR24","unstructured":"W. Kahan, A more complete interval arithmetic; Lecture notes for a summer course at University of Michigan (1968)."},{"key":"3_CR25","unstructured":"S.E. Laveuve, Definition einer Kahan-Arithmetik in Nickel (1975) p.236\u2013245."},{"key":"3_CR26","unstructured":"R.E. Moore, Interval analysis; Prentice-Hall (1966)."},{"key":"3_CR27","doi-asserted-by":"crossref","DOI":"10.1137\/1.9781611970906","volume-title":"Methods and applications of interval analysis","author":"R. E. Moore","year":"1979","unstructured":"R.E. Moore, Methods and applications of interval analysis; SIAM Philadelphia (1979)."},{"key":"3_CR28","doi-asserted-by":"crossref","unstructured":"K. Nickel (ed), Interval Mathematics; Lecture notes in Computer Science 29, Springer-Verlag (1975).","DOI":"10.1007\/3-540-07170-9"},{"key":"3_CR29","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1007\/BF02165313","volume":"11","author":"N. Apostolatos","year":"1968","unstructured":"N. Apostolatos, U. Kulisch, R. Krawczyk, B. Lortz, K. Nickel & H.-W. Wippermann, The algorithmic language TRIPLEX-Algol 60; Num. Math. 11(1968) p.175\u2013180.","journal-title":"Num. Math."},{"key":"3_CR30","unstructured":"F.N. Ris, Tools for the analysis of interval arithmetic in Nickel (1975) p.75\u201398."},{"key":"3_CR31","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1145\/355815.355819","volume":"5","author":"J. M. Yohe","year":"1979","unstructured":"J.M. Yohe, Software for interval arithmetic: a reasonably portable package; ACM TOMS 5(1979) p.50\u201363.","journal-title":"ACM TOMS"},{"key":"3_CR32","doi-asserted-by":"crossref","first-page":"422","DOI":"10.1093\/comjnl\/14.4.422","volume":"14","author":"R. P. Brent","year":"1971","unstructured":"R.P. Brent, An algorithm with guaranteed convergence for finding a zero of a function; Comp. J. 14(1971) p.422\u2013425.","journal-title":"Comp. J."},{"key":"3_CR33","doi-asserted-by":"crossref","first-page":"330","DOI":"10.1145\/355656.355659","volume":"1","author":"J. C. P. P. Bus","year":"1975","unstructured":"J.C.P. Bus & T.J. Dekker, Two efficient algorithms with guaranteed convergence for finding a zero of a function; ACM TOMS 1(1975) p.330\u2013345.","journal-title":"ACM TOMS"}],"container-title":["Lecture Notes in Computer Science","Problems and Methodologies in Mathematical Software Production"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-11603-6_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T01:20:45Z","timestamp":1640913645000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-11603-6_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1982]]},"ISBN":["9783540116035","9783540394198"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/3-540-11603-6_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1982]]}}}