{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,28]],"date-time":"2022-03-28T23:20:10Z","timestamp":1648509610299},"reference-count":14,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[1998,11,1]],"date-time":"1998-11-01T00:00:00Z","timestamp":909878400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. of Comput. Sci. & Technol."],"published-print":{"date-parts":[[1998,11]]},"DOI":"10.1007\/bf02946503","type":"journal-article","created":{"date-parts":[[2008,9,7]],"date-time":"2008-09-07T12:32:52Z","timestamp":1220790772000},"page":"597-607","source":"Crossref","is-referenced-by-count":0,"title":["Program construction by verifying specification"],"prefix":"10.1007","volume":"13","author":[{"given":"Hong","family":"Lin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guoliang","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF02946503_CR1","unstructured":"Lowry M R, McCartney R D. Automating Software Design.AAAI Press, 1991."},{"key":"BF02946503_CR2","unstructured":"Xu Jet al. Automating Software Design. Tsinghua University Press and Guangxi Sci. & Tech. Press, 1994."},{"issue":"8","key":"BF02946503_CR3","doi-asserted-by":"crossref","first-page":"674","DOI":"10.1109\/32.153379","volume":"18","author":"Z Manna","year":"1992","unstructured":"Manna Z, Waldinger R. Fundamentals of deductive program synthesis.IEEE Trans. Software Engineering, Aug 1992, 18(8): 674\u2013704.","journal-title":"IEEE Trans. Software Engineering"},{"key":"BF02946503_CR4","unstructured":"Wang M, Lin H, Chen Y. Synthesizing Gamma program from first-order specification. InProc. the Second Chinese World Congress on Intelligent Control and Intelligent Automation (CWC ICIA'97), Xi'an, China, June 23\u201327, 1997, pp.1224\u20131229."},{"issue":"3","key":"BF02946503_CR5","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1016\/0167-6423(88)90033-0","volume":"11","author":"J Cai","year":"1989","unstructured":"Cai J, Paige R. Program derivation by fixed point computation.Science of Computer Programming, 1989, 11(3): 197\u2013261.","journal-title":"Science of Computer Programming"},{"issue":"2","key":"BF02946503_CR6","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1016\/S0747-7171(87)80066-4","volume":"4","author":"R Paige","year":"1987","unstructured":"Paige R, Henglein F. Mechanical translation of set theoretic problem specifications into efficient RAM code \u2014 A case study.Journal of Symbolic Computation, 1987, 4(2): 207\u2013232.","journal-title":"Journal of Symbolic Computation"},{"key":"BF02946503_CR7","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1016\/0167-6423(90)90025-9","volume":"14","author":"D R Smith","year":"1990","unstructured":"Smith D R, Lowry M R. Algorithm theories and design tactics.Science of Computer Programming, 1990, 14: 305\u2013321.","journal-title":"Science of Computer Programming"},{"issue":"9","key":"BF02946503_CR8","doi-asserted-by":"crossref","first-page":"1024","DOI":"10.1109\/32.58788","volume":"16","author":"D R Smith","year":"1990","unstructured":"Smith D R. KIDS: A semi-automatic program development system.IEEE Trans. Software Engineering, 1990, 16(9): 1024\u20131043.","journal-title":"IEEE Trans. Software Engineering"},{"key":"BF02946503_CR9","unstructured":"Lin H. Synthesizing loop structure in JOOADL formalism.Computer Application and Software. (to appear)."},{"key":"BF02946503_CR10","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1016\/0167-6423(90)90044-E","volume":"15","author":"J-P Ban\u00e2tre","year":"1990","unstructured":"Ban\u00e2tre J-P, Le M\u00e9tayer D. The Gamma model and its discipline of programming.Science of Computer Programming, 1990, 15: 55\u201377.","journal-title":"Science of Computer Programming"},{"key":"BF02946503_CR11","unstructured":"Mussat L. Parallel programming with bags. InProc. Workshop on Research Directions in High-Level Parallel Programming Languages, Mont-Saint Michel, 1991, Springer-Verlag, LNCS 574, pp.219\u2013230."},{"key":"BF02946503_CR12","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1090\/dimacs\/018\/13","volume":"18","author":"D M\u00e9tayer Le","year":"1994","unstructured":"Le M\u00e9tayer D. Higher-order multiset processing.DIMACS Series in Discrete Mathematics and Theoretical Computer Science, 1994, 18: 179\u2013200.","journal-title":"DIMACS Series in Discrete Mathematics and Theoretical Computer Science"},{"key":"BF02946503_CR13","doi-asserted-by":"crossref","first-page":"533","DOI":"10.1016\/S0747-7171(89)80040-9","volume":"7","author":"J Traugott","year":"1989","unstructured":"Traugott J. Deductive synthesis of sorting programs.Journal of Symbolic Computation, 1989, 7: 533\u2013572.","journal-title":"Journal of Symbolic Computation"},{"key":"BF02946503_CR14","doi-asserted-by":"crossref","unstructured":"Chandy K M, Misra J. Parallel Program Design: A Foundation. Addison-Wesley, 1988.","DOI":"10.1007\/978-1-4613-9668-0_6"}],"container-title":["Journal of Computer Science and Technology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02946503.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02946503\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02946503","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T16:17:11Z","timestamp":1558455431000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02946503"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,11]]},"references-count":14,"journal-issue":{"issue":"6","published-print":{"date-parts":[[1998,11]]}},"alternative-id":["BF02946503"],"URL":"https:\/\/doi.org\/10.1007\/bf02946503","relation":{},"ISSN":["1000-9000","1860-4749"],"issn-type":[{"value":"1000-9000","type":"print"},{"value":"1860-4749","type":"electronic"}],"subject":[],"published":{"date-parts":[[1998,11]]}}}