{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,5,5]],"date-time":"2024-05-05T02:17:54Z","timestamp":1714875474490},"reference-count":42,"publisher":"Elsevier","isbn-type":[{"value":"9780127082455","type":"print"}],"license":[{"start":{"date-parts":[[1990,1,1]],"date-time":"1990-01-01T00:00:00Z","timestamp":631152000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1016\/b978-0-12-708245-5.50011-7","type":"book-chapter","created":{"date-parts":[[2014,7,1]],"date-time":"2014-07-01T05:35:30Z","timestamp":1404192930000},"page":"115-136","source":"Crossref","is-referenced-by-count":5,"title":["Programming Languages for Enclosure Methods"],"prefix":"10.1016","author":[{"given":"C.","family":"Ullrich","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/B978-0-12-708245-5.50011-7_bib1","unstructured":"A Standard for Binary Floating-Point Arithmetic. American National Standards Institute\/Institute of Electrical & Electronic Engineers, New York, 1985. ANSI\/IEEE Std. 754\u20131985."},{"key":"10.1016\/B978-0-12-708245-5.50011-7_bib2","unstructured":"FORTRAN-SC General Information Notes and Sample Programs. IBM Deutschland, Stuttgart, 1989."},{"key":"10.1016\/B978-0-12-708245-5.50011-7_bib3","series-title":"FORTRAN-SC Language Reference and User's Guide","year":"1989"},{"key":"10.1016\/B978-0-12-708245-5.50011-7_bib4","series-title":"IBM High\/Accuracy Arithmetic Subroutine Library (ACRITH): Program Description and User's Guide","year":"1986"},{"key":"10.1016\/B978-0-12-708245-5.50011-7_bib5","series-title":"Programmiersprache FORTRAN","year":"1980"},{"key":"10.1016\/B978-0-12-708245-5.50011-7_bib6","series-title":"Siemens ARITHMOS Benutzerhandbuch","year":"1986"},{"key":"10.1016\/B978-0-12-708245-5.50011-7_bib7","series-title":"The Programming Language Ada, Reference Manual","year":"1983"},{"key":"10.1016\/B978-0-12-708245-5.50011-7_bib8","series-title":"Computer Arithmetic and S elf-Validating Numerical Methods","article-title":"Enclosure Methods","author":"Alefeld","year":"1990"},{"key":"10.1016\/B978-0-12-708245-5.50011-7_bib9","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1007\/978-3-7091-6957-5_18","article-title":"FORTRAN-SC: A Study of a FORTRAN Extension for Engineering Scientific Computation with Access to ACRITH","volume":"6","author":"Bleher","year":"1988","journal-title":"Computing Supplementum"},{"key":"10.1016\/B978-0-12-708245-5.50011-7_bib10","doi-asserted-by":"crossref","first-page":"93110","DOI":"10.1007\/BF02310100","volume":"39","author":"Bleher","year":"1987","journal-title":"Computing"},{"key":"10.1016\/B978-0-12-708245-5.50011-7_bib11","series-title":"Computer Arithmetic and Self- Validating Numerical Methods","article-title":"What do we need beyond IEEE Arithmetic?","author":"Bohlender","year":"1990"},{"key":"10.1016\/B978-0-12-708245-5.50011-7_bib12","unstructured":"G. Bohlender, K. Gr\u00fcner, E. Kaucher, R. Klatte, W. Kr\u00e4mer, U.W. Kulisch, S.M. Rump, Chr. Ullrich, J. Wolff von Gudenberg, and W.L. Miranker. PASCAL-SC: A PASCAL For Contemporary Scientific Computation. Research Report RC 9009, IBM Thomas J. Watson Research Center, 1981."},{"key":"10.1016\/B978-0-12-708245-5.50011-7_bib13","article-title":"PASCAL-SC: A Computer Language for Scientific Computation","volume":"17","author":"Bohlender","year":"1987","journal-title":"Perspectives in computing"},{"key":"10.1016\/B978-0-12-708245-5.50011-7_bib14","series-title":"PASCAL-SC: Wirkungsvoll programmieren, kontrolliert rechnen","author":"Bohlender","year":"1986"},{"issue":"8","key":"10.1016\/B978-0-12-708245-5.50011-7_bib15","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1145\/47907.47914","article-title":"New Developments in PASCAL-SC","volume":"23","author":"Bohlender","year":"1988","journal-title":"SIGPLAN Notices"},{"key":"10.1016\/B978-0-12-708245-5.50011-7_bib16","unstructured":"H. B\u00f6hm. Berechnung von Polynomnullstellen und Auswertung arithmetischer Ausdr\u00fccke mit garantierter maximaler Genauigkeit. PhD thesis, Universit\u00e4t Karlsruhe, 1983."},{"key":"10.1016\/B978-0-12-708245-5.50011-7_bib17","series-title":"Programming Languages: A Grand Tour","first-page":"458","article-title":"The C Programming Language","author":"Ritchie","year":"1987"},{"key":"10.1016\/B978-0-12-708245-5.50011-7_bib18","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/978-3-7091-6957-5_14","article-title":"Evaluation of Arithmetic Expression with Guaranteed High Accuracy","volume":"6","author":"Fischer","year":"1988","journal-title":"Computing, Suppl"},{"key":"10.1016\/B978-0-12-708245-5.50011-7_bib19","series-title":"Programming Languages: A Grand Tour","first-page":"31","article-title":"Hints on Programming Language Design","author":"Hoare","year":"1987"},{"key":"10.1016\/B978-0-12-708245-5.50011-7_bib20","series-title":"PASCAL User Manual and Report. ISO PASCAL Standard","author":"Jensen","year":"1985"},{"key":"10.1016\/B978-0-12-708245-5.50011-7_bib21","series-title":"PASCAL. Volume 2 of Programmiersprachen im Griff","author":"Kaucher","year":"1981"},{"key":"10.1016\/B978-0-12-708245-5.50011-7_bib22","series-title":"ADA. Volume 4 of Programmiersprachen im Griff","author":"Kaucher","year":"1983"},{"key":"10.1016\/B978-0-12-708245-5.50011-7_bib23","series-title":"Computerarithmetic: Scientific Computation and Programming Languages","year":"1987"},{"key":"10.1016\/B978-0-12-708245-5.50011-7_bib24","series-title":"Self-Validating Numerics for Function Space Problems","author":"Kaucher","year":"1984"},{"key":"10.1016\/B978-0-12-708245-5.50011-7_bib25","series-title":"MODULA-2. Volume 9 of Programmiersprachen im Griff","author":"Klatte","year":"1988"},{"key":"10.1016\/B978-0-12-708245-5.50011-7_bib26","doi-asserted-by":"crossref","first-page":"996","DOI":"10.1109\/TC.1985.1676532","article-title":"Arithmetic Specification for Scientific Computation in ADA","volume":"C-34","author":"Klatte","year":"1985","journal-title":"IEEE Transaction on Computers"},{"key":"10.1016\/B978-0-12-708245-5.50011-7_bib27","series-title":"Journal of PASCAL, ADA & MODULA-2","article-title":"Implementation of Arithmetic for Scientific Computation in ADA","author":"Klatte","year":"1989"},{"key":"10.1016\/B978-0-12-708245-5.50011-7_bib28","unstructured":"C. Falco Korn, S. K\u00f6nig, and S. Gutzwiller. MODULA-SC: A Precompiler to MODULA-2. In Contributions to Computer Arithmetic and Self-Validating Numerical Methods."},{"key":"10.1016\/B978-0-12-708245-5.50011-7_bib29","series-title":"PASCAL-SC: A PASCAL-Extension for Scientific Computation. Inform. Manual and Disks for ATARI SC","year":"1987"},{"key":"10.1016\/B978-0-12-708245-5.50011-7_bib30","series-title":"PASCAL-SC: A PASCAL-Extension for Scientific Computation. Information Manual and Disks for IBM PC. Wiley-Teubner Series in Computer Science","year":"1987"},{"key":"10.1016\/B978-0-12-708245-5.50011-7_bib31","series-title":"A New Approach to Scientific Computation","year":"1983"},{"key":"10.1016\/B978-0-12-708245-5.50011-7_bib32","series-title":"Computer Arithmetic in Theory and Practice","author":"Kulisch","year":"1981"},{"key":"10.1016\/B978-0-12-708245-5.50011-7_bib33","article-title":"Scientific Computation with Automatic Result Verification","volume":"6","author":"Kulisch","year":"1988"},{"key":"10.1016\/B978-0-12-708245-5.50011-7_bib34","series-title":"Wissenschaftliches Rechnen und Programmiersprachen. Volume 10 of Berichte des German Chapter of the ACM","year":"1982"},{"key":"10.1016\/B978-0-12-708245-5.50011-7_bib35","first-page":"106137","volume":"2","author":"Naur","year":"1960","journal-title":"Numer. Math."},{"key":"10.1016\/B978-0-12-708245-5.50011-7_bib36","series-title":"The PASCAL-SC level 2 Compiler Architecture and Implementation Description","author":"Neaga","year":"1988"},{"key":"10.1016\/B978-0-12-708245-5.50011-7_bib37","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1007\/3-540-18170-9_173","article-title":"Numerical Stability of Simple Geometric Algorithms in the plane","volume":"270","author":"Ottmann","year":"1987","journal-title":"Computation Theory and Logic, Lecture Notes in Computer Science"},{"key":"10.1016\/B978-0-12-708245-5.50011-7_bib38","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1007\/978-3-7091-6957-5_12","article-title":"On arithmetical problems of geometric algorithms in the plane","volume":"6","author":"Ottmann","year":"1988","journal-title":"Scientific Computation with Automatic Result Verification, Computing Supplementum"},{"key":"10.1016\/B978-0-12-708245-5.50011-7_bib39","first-page":"T519","volume":"70","author":"Ullrich","year":"1990","journal-title":"ZAMM"},{"key":"10.1016\/B978-0-12-708245-5.50011-7_bib40","first-page":"7178","volume":"26","author":"Ullrich","year":"1984","journal-title":"Elektronische Rechenanlagen"},{"key":"10.1016\/B978-0-12-708245-5.50011-7_bib41","first-page":"79218","volume":"14","author":"van Wijngaarden","year":"1969","journal-title":"Numer. Math."},{"key":"10.1016\/B978-0-12-708245-5.50011-7_bib42","series-title":"Programming in MODULA-2","author":"Wirth","year":"1982"}],"container-title":["Computer Arithmetic and Self-Validating Numerical Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:B9780127082455500117?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:B9780127082455500117?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2018,10,2]],"date-time":"2018-10-02T06:29:56Z","timestamp":1538461796000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/B9780127082455500117"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9780127082455"],"references-count":42,"URL":"https:\/\/doi.org\/10.1016\/b978-0-12-708245-5.50011-7","relation":{},"subject":[],"published":{"date-parts":[[1990]]}}}