{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,11,13]],"date-time":"2023-11-13T00:31:29Z","timestamp":1699835489272},"reference-count":6,"publisher":"Wiley","issue":"1","license":[{"start":{"date-parts":[[2006,10,27]],"date-time":"2006-10-27T00:00:00Z","timestamp":1161907200000},"content-version":"vor","delay-in-days":10526,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Pract Exp"],"published-print":{"date-parts":[[1978,1]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>A Pascal implementation is described which exploits the information provided by subrange type declarations to minimize the run\u2010time checking involved in detecting range violations. An evaluation of its performance is given, and some possible modifications are discussed.<\/jats:p>","DOI":"10.1002\/spe.4380080110","type":"journal-article","created":{"date-parts":[[2006,11,17]],"date-time":"2006-11-17T12:47:06Z","timestamp":1163767626000},"page":"85-97","source":"Crossref","is-referenced-by-count":17,"title":["Economic range checks in pascal"],"prefix":"10.1002","volume":"8","author":[{"given":"J.","family":"Welsh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2006,10,27]]},"reference":[{"key":"e_1_2_1_2_2","doi-asserted-by":"crossref","unstructured":"N.SuzukiandK.Ishihata \u2018Implementation of an array bound checker\u2019 Internal Report of Department of Computer Science Carnegie\u2010Mellon University (1976).","DOI":"10.21236\/ADA038191"},{"key":"e_1_2_1_3_2","doi-asserted-by":"publisher","DOI":"10.1145\/390017.808308"},{"key":"e_1_2_1_4_2","volume-title":"Pascal, the Language and Its Implementation","author":"Welsh J."},{"key":"e_1_2_1_5_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF00289504"},{"key":"e_1_2_1_6_2","volume-title":"\u2018Pascal\u2014user manual and report\u2019, Lecture Notes in Computer Science","author":"Jensen K.","year":"1974"},{"key":"e_1_2_1_7_2","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380010403"}],"container-title":["Software: Practice and Experience"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fspe.4380080110","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/spe.4380080110","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,12]],"date-time":"2023-11-12T08:19:26Z","timestamp":1699777166000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/spe.4380080110"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1978,1]]},"references-count":6,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1978,1]]}},"alternative-id":["10.1002\/spe.4380080110"],"URL":"https:\/\/doi.org\/10.1002\/spe.4380080110","archive":["Portico"],"relation":{},"ISSN":["0038-0644","1097-024X"],"issn-type":[{"value":"0038-0644","type":"print"},{"value":"1097-024X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1978,1]]}}}