{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,8]],"date-time":"2025-07-08T14:06:52Z","timestamp":1751983612847,"version":"3.41.0"},"reference-count":16,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1997,4,1]],"date-time":"1997-04-01T00:00:00Z","timestamp":859852800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,4,1]],"date-time":"1997-04-01T00:00:00Z","timestamp":859852800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Automated Software Engineering"],"published-print":{"date-parts":[[1997,4]]},"DOI":"10.1023\/a:1008637201658","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T15:12:40Z","timestamp":1040569960000},"page":"199-241","source":"Crossref","is-referenced-by-count":15,"title":["META-AMPHION: Synthesis of Efficient Domain-Specific Program Synthesis Systems"],"prefix":"10.1007","volume":"4","author":[{"given":"Michael R.","family":"Lowry","sequence":"first","affiliation":[]},{"given":"Jeffrey","family":"Van Baalen","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"4","key":"123486_CR1","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1002\/j.1538-7305.1988.tb00637.x","volume":"67","author":"J.C. Cleaveland","year":"1988","unstructured":"Cleaveland, J.C. and Kintala, C. 1988. Tools for building application generators. AT&T Technical Journal, 67(4):46\u201358.","journal-title":"AT&T Technical Journal"},{"key":"123486_CR2","unstructured":"Gallier, J.H. 1986. Logic for Computer Science, Foundation of Automatic Theorem Proving. Harper & Row."},{"key":"123486_CR3","unstructured":"Giunchigliam, F., Pecchiari, P., and Talcott, C. 1994. Reasoning theories: Towards an architecture for open mechanized reasoning systems. Stanford CS Technical Report CS-TN-94-15."},{"key":"123486_CR4","doi-asserted-by":"crossref","unstructured":"Hoare, C.A.R. 1973. Proof of correctness of data representations. Acta Informatica, 271\u2013281.","DOI":"10.1007\/BF00289507"},{"key":"123486_CR5","doi-asserted-by":"crossref","unstructured":"Jullig, R. and Srinivas, Y.V. 1993. Diagrams for Software Synthesis. KBSE.","DOI":"10.1109\/52.210596"},{"key":"123486_CR6","unstructured":"Lowry, M., Philpot, A., Pressburger, T., and Underwood, I. 1994. A Formal Approach to Domain-Oriented Software Design Environments, KBSE."},{"issue":"18","key":"123486_CR7","doi-asserted-by":"crossref","first-page":"674","DOI":"10.1109\/32.153379","volume":"8","author":"Z. Manna","year":"1992","unstructured":"Manna, Z. and Waldinger, R. 1992. Fundamentals of deductive program synthesis. IEEE Transactions on Software Engineering, 8(18):674\u2013704.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"123486_CR8","doi-asserted-by":"crossref","unstructured":"Nelson, G. 1984. Combining satisfiability procedures by equality sharing. In Bledsoe and Loveland editors, Automated Theorem Proving after 25 Years, American Mathematical Society.","DOI":"10.1090\/conm\/029\/11"},{"key":"123486_CR9","volume-title":"Proceedings of the California Software Symposium CSS'96","author":"A.A. Reyes","year":"1996","unstructured":"Reyes, A.A. 1996. An approach to automatic generation of domain theories from intuitive, semiformal domain models. Proceedings of the California Software Symposium CSS'96, W. Scacchi and R. Taylor, editors, University of California, Los Angeles, CA."},{"key":"123486_CR10","unstructured":"Smith, D.R. 1993. Classification approach to design. Kestrel Institute Technical Report."},{"key":"123486_CR11","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. and Lowry, M.R. 1990. Algorithm theories and design tactics. Science of Computer Programming, 14:305\u2013321.","journal-title":"Science of Computer Programming"},{"key":"123486_CR12","first-page":"333","volume":"1","author":"M. Stickel","year":"1985","unstructured":"Stickel, M. 1985. Automated deduction by theory resolution. Automated Reasoning, 1:333\u2013355.","journal-title":"Automated Reasoning"},{"key":"123486_CR13","doi-asserted-by":"crossref","unstructured":"Stickel, M., Waldinger, R., Lowry, M., Pressburger, T., and Underwood, I. 1994. Deductive composition of astronomical software from subroutine libraries. CADE-12.","DOI":"10.1007\/3-540-58156-1_24"},{"key":"123486_CR14","volume-title":"Knowledge-Based Programming","author":"E.H. Tyugu","year":"1988","unstructured":"Tyugu, E.H. 1988. Knowledge-Based Programming, Turing Institute Press, Glasgow, Scotland."},{"key":"123486_CR15","unstructured":"Van Baalen, J. 1991. The completeness of DRAT, a technique for automatic design of satisfiability procedures. International Conference of Knowledge Representation and Reasoning."},{"key":"123486_CR16","doi-asserted-by":"crossref","unstructured":"Van Baalen, J. 1992. Automated design of specialized representations. Artificial Intelligence, 54.","DOI":"10.1016\/0004-3702(92)90089-G"}],"container-title":["Automated Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008637201658.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008637201658\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008637201658.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,24]],"date-time":"2025-05-24T07:34:06Z","timestamp":1748072046000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008637201658"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,4]]},"references-count":16,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1997,4]]}},"alternative-id":["123486"],"URL":"https:\/\/doi.org\/10.1023\/a:1008637201658","relation":{},"ISSN":["0928-8910","1573-7535"],"issn-type":[{"type":"print","value":"0928-8910"},{"type":"electronic","value":"1573-7535"}],"subject":[],"published":{"date-parts":[[1997,4]]}}}