{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T20:45:19Z","timestamp":1649105119394},"reference-count":8,"publisher":"World Scientific Pub Co Pte Lt","issue":"01","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Found. Comput. Sci."],"published-print":{"date-parts":[[2001,2]]},"abstract":"<jats:p> Two-Stage Programming (2SP) is an experimental programming language, the first implementation of the Specification-Consistent Coordination Model (SCCM). The SCCM proposes a new, mixed-paradigm (functional\/imperative) approach to developing reliable programs based on complete run-time checking of computations with respect to a given specification. A 2SP program consists of a functional specification and an imperative coordination tightly connected to the specification. The coordination maps the specification to an imperative and possibly parallel\/distributed program. Normal termination of a 2SP program execution implies the correctness of the computed results with respect to the specification, for that execution. We present the basic feautures of the SCCM\/2SP, a new message-spassing system of 2SP with integrated run-time checking, and a larger case study. We show that 2SP provides: functional specifications, specification-consistent imperative coordinations, automatic run-time result verification and error detection, enhanced debugging support, and good efficiency. <\/jats:p>","DOI":"10.1142\/s0129054101000424","type":"journal-article","created":{"date-parts":[[2002,7,27]],"date-time":"2002-07-27T11:04:45Z","timestamp":1027767885000},"page":"97-124","source":"Crossref","is-referenced-by-count":2,"title":["AUTOMATIC RESULT VERIFICATION BY COMPLETE RUN-TIME CHECKING OF COMPUTATIONS"],"prefix":"10.1142","volume":"12","author":[{"given":"EDGAR F. A.","family":"LEDERER","sequence":"first","affiliation":[{"name":"Department of Computer Science, University of Basel, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"ROMEO A.","family":"DUMITRESCU","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of Basel, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2011,11,20]]},"reference":[{"key":"p_3","doi-asserted-by":"publisher","DOI":"10.1145\/200836.200880"},{"issue":"4","key":"p_4","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1109\/12.494097","volume":"45","author":"Blum M.","year":"1996","journal-title":"Reflections on the Pentium Division Bug. IEEE Transactions on Computers"},{"key":"p_5","doi-asserted-by":"publisher","DOI":"10.1109\/12.641931"},{"issue":"2","key":"p_6","first-page":"97","volume":"35","author":"Carriero N.","year":"1992","journal-title":"Coordination Languages and Their Significance. Communications of the ACM"},{"key":"p_22","doi-asserted-by":"publisher","DOI":"10.1145\/248448.248455"},{"key":"p_29","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1097-024X(199702)27:2<185::AID-SPE79>3.0.CO;2-D"},{"key":"p_30","doi-asserted-by":"publisher","DOI":"10.1109\/12.392843"},{"key":"p_33","doi-asserted-by":"publisher","DOI":"10.1145\/268999.269003"}],"container-title":["International Journal of Foundations of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0129054101000424","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,7]],"date-time":"2019-08-07T00:46:49Z","timestamp":1565138809000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0129054101000424"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,2]]},"references-count":8,"journal-issue":{"issue":"01","published-online":{"date-parts":[[2011,11,20]]},"published-print":{"date-parts":[[2001,2]]}},"alternative-id":["10.1142\/S0129054101000424"],"URL":"https:\/\/doi.org\/10.1142\/s0129054101000424","relation":{},"ISSN":["0129-0541","1793-6373"],"issn-type":[{"value":"0129-0541","type":"print"},{"value":"1793-6373","type":"electronic"}],"subject":[],"published":{"date-parts":[[2001,2]]}}}