{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:55:39Z","timestamp":1725558939483},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540243625"},{"type":"electronic","value":"9783540305576"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-30557-6_9","type":"book-chapter","created":{"date-parts":[[2010,7,2]],"date-time":"2010-07-02T17:53:17Z","timestamp":1278093197000},"page":"98-112","source":"Crossref","is-referenced-by-count":7,"title":["Towards Provably Correct Code Generation via Horn Logical Continuation Semantics"],"prefix":"10.1007","author":[{"given":"Qian","family":"Wang","sequence":"first","affiliation":[]},{"given":"Gopal","family":"Gupta","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Leuschel","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","series-title":"Lecture Notes in Computer Science","volume-title":"Logic Program Synthesis and Transformation","author":"A. Brogi","year":"1997","unstructured":"Brogi, A., Contiero, S.: Specializing Meta-Level Compositions of Logic Programs. In: Gallagher, J.P. (ed.) LOPSTR 1996. LNCS, vol.\u00a01207. Springer, Heidelberg (1997)"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"Debray, S.: Resource bounded partial evaluation. In: PEPM 1997, pp. 179\u2013192 (1997)","DOI":"10.1145\/258993.259017"},{"key":"9_CR3","unstructured":"Dold, A., Gaul, T., Zimmermann, W.: Mechanized Verification of Compiler Backends. In: Proc. Software Tools for Technology Transfer, Denmark (1998)"},{"key":"9_CR4","volume-title":"State Determination in Hard-Embedded Systems. Ph.D. Thesis","author":"S.R. Faulk","year":"1989","unstructured":"Faulk, S.R.: State Determination in Hard-Embedded Systems. Ph.D. Thesis. Univ. of NC, Chapel Hill, NC (1989)"},{"key":"9_CR5","unstructured":"Futamura, Y.: Partial Evaluation of Computer Programs: An approach to compilercompiler. J. Inst. Electronics and Comm. Engineers, Japan (1971)"},{"key":"9_CR6","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1007\/978-3-642-60085-2_6","volume-title":"The Logic Programming Paradigm: A 25 year perspective","author":"G. Gupta","year":"1999","unstructured":"Gupta, G.: Horn Logic Denotations and Their Applications. In: The Logic Programming Paradigm: A 25 year perspective, pp. 127\u2013160. Springer, Heidelberg (1999)"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Gupta, G., Pontelli, E.: A Constraint-based Denotational Approach to Specification and Verification of Real-time Systems. In: Proc. IEEE Real-time Systems Symposium, December 1997, pp. 230\u2013239 (1997)","DOI":"10.1109\/REAL.1997.641285"},{"key":"9_CR8","volume-title":"Essays in Honor of Robert Kowalski","author":"G. Gupta","year":"2003","unstructured":"Gupta, G., Pontelli, E.: A Logic Programming Framework for Specification and Implementation of Domain Specific Languages. In: Essays in Honor of Robert Kowalski, vol.\u00a0LNAI. Springer, Heidelberg (2003)"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Henninger, K.L.: Specifying software requirements for complex systems: New techniques and their application. IEEE Trans. on Software Engg.\u00a05(1), 2\u201313","DOI":"10.1109\/TSE.1980.230208"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Heitmeyer, C.L., Jeffords, R.D., Labaw, B.G.: Automated Consistency Checking of Requirements Specifications. ACM TOSEM\u00a05(3) (1996)","DOI":"10.1145\/234426.234431"},{"issue":"1","key":"9_CR11","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1145\/602382.602403","volume":"50","author":"C.A.R. Hoare","year":"2003","unstructured":"Hoare, C.A.R.: The Verifying Compiler: A Grand Challenge for Computing Research. J. ACM\u00a050(1), 63\u201369 (2003)","journal-title":"J. ACM"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"Jones, N.: Introduction to Partial Evaluation. ACM Computing Surveys\u00a028(3), 480\u2013503","DOI":"10.1145\/243439.243447"},{"key":"9_CR13","volume-title":"High Integrity Software","author":"L. King","year":"2001","unstructured":"King, L., Gupta, G., Pontelli, E.: Verification of BART Controller. In: High Integrity Software. Kluwer Academic, Dordrecht (2001)"},{"issue":"1","key":"9_CR14","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1017\/S1471068403001662","volume":"4","author":"M. Leuschel","year":"2004","unstructured":"Leuschel, M., J\u00f8rgensen, J., Vanhoof, W., Bruynooghe, M.: Offline specialization in Prolog using a hand-written compiler generator. Theory and Practice of Logic Programming\u00a04(1), 139\u2013191 (2004)","journal-title":"Theory and Practice of Logic Programming"},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"Leuschel, M., Martens, B., De Schreye, D.: Controlling Generalization and Polyvariance in Partial Deduction of Normal Logic Programs. ACM Transactions on Programming Languages and Systems (TOPLAS)\u00a020(1), 208\u2013258","DOI":"10.1145\/271510.271525"},{"key":"9_CR16","volume-title":"Program Synthesis from Requirements Specifications Using APTS","author":"E.I. Leonard","year":"2002","unstructured":"Leonard, E.I., Heitmeyer, C.L.: Program Synthesis from Requirements Specifications Using APTS. Kluwer Academic Publishers, Dordrecht (2002)"},{"key":"9_CR17","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J. Lloyd","year":"1987","unstructured":"Lloyd, J.: Foundations of Logic Programming, 2nd edn. Springer, Heidelberg (1987)","edition":"2"},{"key":"9_CR18","doi-asserted-by":"crossref","unstructured":"McCarthy, J., Painter, J.: Correctness of a Compiler for Arithmetic Expressions. MIT AI Lab Memo (1967)","DOI":"10.1090\/psapm\/019\/0242403"},{"key":"9_CR19","first-page":"319","volume-title":"Proceedings Meta 1988","author":"S. Owen","year":"1988","unstructured":"Owen, S.: Issues in the Partial Evaluation of Meta-Interpreters. In: Proceedings Meta 1988, pp. 319\u2013339. MIT Press, Cambridge (1988)"},{"key":"9_CR20","series-title":"Lecture Notes in Computer Science","volume-title":"Proc. Programming Language Implementation and Logic Programming","author":"R. Paige","year":"1994","unstructured":"Paige, R.: Viewing a Program Transformation System at Work. In: Proc. Programming Language Implementation and Logic Programming. LNCS, vol.\u00a0844. Springer, Heidelberg (1994)"},{"key":"9_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/BFb0054170","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A. Pnueli","year":"1998","unstructured":"Pnueli, A., Siegel, M., Singerman, E.: Translation Validation. In: Steffen, B. (ed.) TACAS 1998. LNCS, vol.\u00a01384, p. 151. Springer, Heidelberg (1998)"},{"key":"9_CR22","unstructured":"Sahlin, D.: An Automatic Partial Evaluator for Full Prolog. Ph.D. Thesis. 1994. Royal Institute of Tech., Sweden., Available at http:\/\/www.sics.se"},{"key":"9_CR23","unstructured":"Schmidt, D.: Denotational Semantics: a Methodology for Language Development. W.C. Brown Publishers (1986)"},{"key":"9_CR24","volume-title":"The Art of Prolog","author":"L. Sterling","year":"1994","unstructured":"Sterling, L., Shapiro, S.: The Art of Prolog. MIT Press, Cambridge (1994)"},{"key":"9_CR25","doi-asserted-by":"crossref","unstructured":"Wang, Q., Gupta, G., Leuschel, M.: Horn Logical Continuation Semantics. UT Dallas Technical Report (2004)","DOI":"10.1007\/978-3-540-25938-1_15"},{"key":"9_CR26","unstructured":"Wang, Q., Gupta, G.: Resource Bounded Compilation via Constrained Partial Evaluation. UTD Technical Report. Forthcoming"},{"key":"9_CR27","unstructured":"Winter, V.L.: Program Transformation in HATS. Software Transformation Systems Workshop (1999)"}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30557-6_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,30]],"date-time":"2021-10-30T17:30:24Z","timestamp":1635615024000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30557-6_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540243625","9783540305576"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30557-6_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}