{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:19:25Z","timestamp":1725455965165},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540083603"},{"type":"electronic","value":"9783540372608"}],"license":[{"start":{"date-parts":[[1977,1,1]],"date-time":"1977-01-01T00:00:00Z","timestamp":220924800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1977]]},"DOI":"10.1007\/bfb0021434","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T05:19:12Z","timestamp":1132723152000},"page":"399-435","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Programming language design issues"],"prefix":"10.1007","author":[{"suffix":"Jr.","given":"T. E.","family":"Cheatham","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"19_CR1","unstructured":"Cheatham, T. E. Jr., and Judy A. Townley, \"Program Analysis Techniques for Software Reliability,\" Center for Research in Computing Technology, Harvard University, 1976."},{"key":"19_CR2","unstructured":"ECL Programmers Manual, Center for Research in Computing Technology, 23\u201374, Harvard University, December 1974."},{"key":"19_CR3","doi-asserted-by":"crossref","unstructured":"Goldberg P.C., \"Automatic Programming,\" in Programming Methodology, vol. 23, Lecture Notes in Computer Science, Springer-Verlag 1975.","DOI":"10.1007\/3-540-07131-8_33"},{"key":"19_CR4","doi-asserted-by":"crossref","unstructured":"Igarashi, S., London, R., Luckham, D., \"Automatic Program Verification: A Logical Basis and Its Implementation,\" ACTA Information, Vol. 4, No. 2, 1975.","DOI":"10.1007\/BF00288746"},{"key":"19_CR5","doi-asserted-by":"crossref","unstructured":"Loveman, David B., \"Program improvement by source-to-source optimization,\" JACM 24, 1, January 1977.","DOI":"10.1145\/321992.322000"},{"key":"19_CR6","doi-asserted-by":"crossref","DOI":"10.21236\/ADA000500","volume-title":"Automatic Coding: Choice of Data Structures","author":"J.R. Low","year":"1974","unstructured":"Low, J.R., \"Automatic Coding: Choice of Data Structures,\" Dept. of Computer Science, U. Rochester, August 1974."},{"key":"19_CR7","unstructured":"Rovener, P., \"Automatic Representation Selection for Associative Data Structures,\" Ph.D. Thesis, Center for Research in Computing Technology, Harvard University 1976."},{"key":"19_CR8","unstructured":"Standish, T. A., Harriman, D., Kibler, D., and Neighbors, J., \"The Irvine Program Transformation Catalogue,\" Dept. Information and Computer Science, U.C. Irvine, January 1976."},{"key":"19_CR9","doi-asserted-by":"crossref","unstructured":"Wegbreit, B., \"Goal Directed Program Transformation,\" Xerox Palo Alto Research Center, 1975.","DOI":"10.1145\/800168.811549"}],"container-title":["Lecture Notes in Computer Science","Design and Implementation of Programming Languages"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0021434","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,29]],"date-time":"2020-01-29T23:20:46Z","timestamp":1580340046000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0021434"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1977]]},"ISBN":["9783540083603","9783540372608"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/bfb0021434","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1977]]},"assertion":[{"value":"9 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}