{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,4]],"date-time":"2023-01-04T05:24:46Z","timestamp":1672809886580},"reference-count":18,"publisher":"Association for Computing Machinery (ACM)","issue":"6","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGPLAN Not."],"published-print":{"date-parts":[[1978,6]]},"abstract":"This paper presents a method for increasing software reliability through parameter validation. Existing systems are examined and a proposed technique is presented to aid in the static parameter validation of RATFOR programs.<\/jats:p>","DOI":"10.1145\/987515.987517","type":"journal-article","created":{"date-parts":[[2005,11,14]],"date-time":"2005-11-14T18:08:27Z","timestamp":1131991707000},"page":"18-28","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Parameter validation for software reliability"],"prefix":"10.1145","volume":"13","author":[{"given":"Glen B.","family":"Alleman","sequence":"first","affiliation":[{"name":"Fluor Corporation, Irvine, CA"}]}],"member":"320","published-online":{"date-parts":[[1978,6]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/390017.808306"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/987500.987502"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/390014.808279"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/390017.808314"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/390016.808422"},{"key":"e_1_2_1_6_1","unstructured":"{Gries 71} D. Gries Compiler Construction for Digital Computers John Wiley and Sons 1971. {Gries 71} D. Gries Compiler Construction for Digital Computers John Wiley and Sons 1971."},{"key":"e_1_2_1_7_1","unstructured":"{Ichbiah 74} J. D. Ichbiah \"The System Implementation Language LIS \" CII 68 route de Versailles 78430 Louveciennes France (December 1974). {Ichbiah 74} J. D. Ichbiah \"The System Implementation Language LIS \" CII 68 route de Versailles 78430 Louveciennes France (December 1974)."},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/578706"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/954666.971189"},{"key":"e_1_2_1_10_1","unstructured":"{Liskov 76} B. Liskov \"An Introduction to CLU \" Computation Structures Group Memo 136 MIT (February 1976). {Liskov 76} B. Liskov \"An Introduction to CLU \" Computation Structures Group Memo 136 MIT (February 1976)."},{"key":"e_1_2_1_11_1","unstructured":"{London 77} R. L. London etal \"Proof Rules for the Programming Language Euclid \" to appear (1977). {London 77} R. L. London et al \"Proof Rules for the Programming Language Euclid \" to appear (1977)."},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/390017.808307"},{"key":"e_1_2_1_13_1","unstructured":"{Richards 69} M. Richards \"BCPL: A Tool for Compiler Writing and Structured Programming.\" {Richards 69} M. Richards \"BCPL: A Tool for Compiler Writing and Structured Programming.\""},{"key":"e_1_2_1_14_1","unstructured":"{Thompson 75} E. W. Thompson and R. F. Bridges \"A Module Interface Specification Language \"Proceedings of 12th Design Automation Conference Boston Massachusetts June 1975. {Thompson 75} E. W. Thompson and R. F. Bridges \"A Module Interface Specification Language \"Proceedings of 12th Design Automation Conference Boston Massachusetts June 1975."},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00264291"},{"key":"e_1_2_1_16_1","unstructured":"{Wirth 76} N. Wirth \"Modula: A Language for Multiprogramming \" Institut fur Informatik ETH Ch 8092 Zurich (March 1976). {Wirth 76} N. Wirth \"Modula: A Language for Multiprogramming \" Institut fur Informatik ETH Ch 8092 Zurich (March 1976)."},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/390016.808421"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1976.233830"}],"container-title":["ACM SIGPLAN Notices"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/987515.987517","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,3]],"date-time":"2023-01-03T07:06:01Z","timestamp":1672729561000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/987515.987517"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1978,6]]},"references-count":18,"journal-issue":{"issue":"6","published-print":{"date-parts":[[1978,6]]}},"alternative-id":["10.1145\/987515.987517"],"URL":"https:\/\/doi.org\/10.1145\/987515.987517","relation":{},"ISSN":["0362-1340","1558-1160"],"issn-type":[{"value":"0362-1340","type":"print"},{"value":"1558-1160","type":"electronic"}],"subject":[],"published":{"date-parts":[[1978,6]]},"assertion":[{"value":"1978-06-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}