{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,6]],"date-time":"2024-08-06T21:08:39Z","timestamp":1722978519530},"reference-count":22,"publisher":"International Academy Publishing (IAP)","issue":"11","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["JSW"],"DOI":"10.17706\/jsw.10.11.1319-1326","type":"journal-article","created":{"date-parts":[[2015,9,25]],"date-time":"2015-09-25T04:59:46Z","timestamp":1443157186000},"page":"1319-1326","source":"Crossref","is-referenced-by-count":0,"title":["Component-Based Verification Model of Sequential Programs"],"prefix":"10.17706","volume":"10","author":[{"name":"School of Computer Science and Educational Software, Guangzhou University, Guangzhou 510006, China","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pei","family":"He","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Achun","family":"Hu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dongqing","family":"Xie","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"7163","published-online":{"date-parts":[[2015]]},"reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/363235.363259"},{"key":"ref2","volume-title":"Mathematical Theory of Computation","author":"Manna","year":"1974","unstructured":"[2] Manna, Z. (1974). Mathematical Theory of Computation. New York: McGraw-Hill"},{"key":"ref3","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3054.001.0001","volume-title":"The Formal Semantics of Programming Languages","author":"Winskel","year":"1993","unstructured":"[3] Winskel, G. (1993). The Formal Semantics of Programming Languages: An Introduction. Cambridge, MA: MIT Press."},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/981009.981013"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511810275"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-0000(71)80035-1"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/242223.242257"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-002-0080-7"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30232-2_3"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1023\/A:1014742013173"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/s11432-011-4200-4"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/s11432-011-4411-8"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/s00500-015-1710-9"},{"key":"ref14","volume-title":"Compilers","author":"Aho","year":"2007","unstructured":"[14] Aho, A. V., Lam, M. S., Sethi, R., & Ullman, J. D. (2007). Compilers: Principles, Techniques, and Tools (2nd ed.). Pearson Education, Inc."},{"key":"ref15","volume-title":"Automata theory languages and computation","author":"Hopcroft","year":"2008","unstructured":"[15] Hopcroft, J. E., Motwani, R., & Ullman, J. D. (2008) Automata theory, languages, and computation (3rd edition). Pearson Education, Inc."},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/4235.942529"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TEVC.2013.2281527"},{"key":"ref18","volume-title":"Genetic programming","author":"Koza","year":"1992","unstructured":"[18] Koza, J. R. (1992). Genetic programming: On the programming of computers by means of natural selection. Cambridge, MA: The MIT Press."},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1023\/B:EMSE.0000013513.48963.1b"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/s10710-013-9210-0"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2013.271"},{"key":"ref22","article-title":"The verifying compiler: A grand challenge for computing research.","author":"Hoare","year":"2003","unstructured":"[23] Hoare, T. (2003). The verifying compiler: A grand challenge for computing research. In G Hedin (Ed.), CC2003, LNCS 2622, 262-272."}],"container-title":["Journal of Software"],"original-title":[],"link":[{"URL":"http:\/\/www.jsoftware.us\/vol10\/112-T3004.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,8]],"date-time":"2020-09-08T15:15:08Z","timestamp":1599578108000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.jsoftware.us\/index.php?m=content&c=index&a=show&catid=160&id=2557"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"references-count":22,"journal-issue":{"issue":"11","published-online":{"date-parts":[[2015]]}},"URL":"https:\/\/doi.org\/10.17706\/jsw.10.11.1319-1326","relation":{},"ISSN":["1796-217X"],"issn-type":[{"type":"electronic","value":"1796-217X"}],"subject":[],"published":{"date-parts":[[2015]]}}}