{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T20:46:19Z","timestamp":1763498779435},"reference-count":7,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[1979,10,1]],"date-time":"1979-10-01T00:00:00Z","timestamp":307584000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["International Journal of Computer and Information Sciences"],"published-print":{"date-parts":[[1979,10]]},"DOI":"10.1007\/bf00995175","type":"journal-article","created":{"date-parts":[[2005,1,18]],"date-time":"2005-01-18T13:41:43Z","timestamp":1106055703000},"page":"387-403","source":"Crossref","is-referenced-by-count":40,"title":["The applicability of program schema results to programs"],"prefix":"10.1007","volume":"8","author":[{"given":"Elaine J.","family":"Weyuker","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","first-page":"44","volume-title":"Current Trends in Programming Methodology, Vol. II","author":"J. B. Goodenough","year":"1977","unstructured":"J. B. Goodenough and S. L. Gerhart, ?Towards a Theory of Testing: Data Selection Criteria,? inCurrent Trends in Programming Methodology, Vol. II, R. T. Yeh, ed. (Prentice Hall, Englewood Cliffs, New Jersey, 1977), pp. 44?79."},{"key":"CR2","volume-title":"Formal Languages and Their Relation to Automata","author":"J. E. Hopcroft","year":"1969","unstructured":"J. E. Hopcroft and J. D. Ullman,Formal Languages and Their Relation to Automata (Addison-Wesley, Reading, Massachusetts, 1969)."},{"key":"CR3","first-page":"16","volume-title":"Current Trends in Programming Methodology, Vol, II","author":"J. C. Huang","year":"1977","unstructured":"J. C. Huang, ?Error Detection Through Program Testing,? inCurrent Trends in Programming Methodology, Vol, II, R. T. Yeh, ed. (Prentice Hall, Englewood Cliffs, New Jersey, 1977), pp. 16?43."},{"key":"CR4","doi-asserted-by":"crossref","first-page":"220","DOI":"10.1016\/S0022-0000(70)80022-8","volume":"4","author":"D. C. Luckham","year":"1970","unstructured":"D. C. Luckham, D. M. Park, and M. S. Paterson, ?On formalized computer programs,?J. Comput. Syst. Sci. 4:220?249 (1970).","journal-title":"J. Comput. Syst. Sci."},{"key":"CR5","volume-title":"Ph.D. thesis","author":"M. S. Paterson","year":"1967","unstructured":"M. S. Paterson, ?Equivalence Problems in a Model of Computation,? Ph.D. thesis, University of Cambridge, Cambridge, England (August 1967)."},{"key":"CR6","doi-asserted-by":"crossref","unstructured":"E. J. Weyuker, ?Translatability and decidability questions for restricted classes of program schemas,?SIAM J. Comput. 8 (1979).","DOI":"10.1137\/0208047"},{"key":"CR7","series-title":"Department of Computer Science Technical Report DCS-TR-60","volume-title":"Ph.D. thesis","author":"E. J. Weyuker","year":"1977","unstructured":"E. J. Weyuker, ?Program Schemas with Semantic Restrictions,? Ph.D. thesis, Department of Computer Science Technical Report DCS-TR-60, Rutgers University, New Brunswick, New Jersey (June 1977)."}],"container-title":["International Journal of Computer & Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00995175.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00995175\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00995175","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,29]],"date-time":"2019-04-29T18:59:09Z","timestamp":1556564349000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00995175"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1979,10]]},"references-count":7,"journal-issue":{"issue":"5","published-print":{"date-parts":[[1979,10]]}},"alternative-id":["BF00995175"],"URL":"https:\/\/doi.org\/10.1007\/bf00995175","relation":{},"ISSN":["0091-7036","1573-7640"],"issn-type":[{"value":"0091-7036","type":"print"},{"value":"1573-7640","type":"electronic"}],"subject":[],"published":{"date-parts":[[1979,10]]}}}