乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:05:18Z","timestamp":1725559518527},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540266556"},{"type":"electronic","value":"9783540316831"}],"license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11506676_11","type":"book-chapter","created":{"date-parts":[[2010,7,18]],"date-time":"2010-07-18T16:07:52Z","timestamp":1279469272000},"page":"166-181","source":"Crossref","is-referenced-by-count":9,"title":["Schema-Guided Synthesis of Imperative Programs by Constraint Solving"],"prefix":"10.1007","author":[{"given":"Michael A.","family":"Col\u00f3n","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"11_CR1","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1006\/jsco.1999.0346","volume":"30","author":"P. Anderson","year":"2000","unstructured":"Anderson, P., Basin, D.: Program development schemata as derived rules. Journal of Symbolic Computation\u00a030(1), 5\u201336 (2000)","journal-title":"Journal of Symbolic Computation"},{"key":"11_CR2","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1007\/978-3-540-25951-0_2","volume-title":"Program Development in Computational Logic","author":"D. Basin","year":"2004","unstructured":"Basin, D., Deville, Y., Flener, P., Hamfelt, A., Nilsson, J.F.: Synthesis of programs in computational logic. In: Bruynooghe, M., Lau, K.-K. (eds.) Program Development in Computational Logic, pp. 30\u201365. Springer, Heidelberg (2004)"},{"key":"11_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0913-3","volume-title":"Gr\u00f6bner Bases: A Computational Approach to Commutative Algebra","author":"T. Becker","year":"1993","unstructured":"Becker, T., Weispfenning, V.: Gr\u00f6bner Bases: A Computational Approach to Commutative Algebra. Springer, New York (1993)"},{"key":"11_CR4","first-page":"121","volume-title":"International Symposium on Symbolic and Algebraic Computation","author":"J.F. Canny","year":"1989","unstructured":"Canny, J.F., Kaltofen, E., Yagati, L.: Solving systems of non-linear polynomial equations faster. In: Gonnet, G.H. (ed.) International Symposium on Symbolic and Algebraic Computation, pp. 121\u2013128. ACM Press, New York (1989)"},{"key":"11_CR5","doi-asserted-by":"publisher","first-page":"420","DOI":"10.1007\/978-3-540-45069-6_39","volume-title":"15th International Conference on Computer Aided Verification","author":"M. Col\u00f3n","year":"2003","unstructured":"Col\u00f3n, M., Sankaranarayanan, S., Sipma, H.: Linear invariant generation using non-linear constraint solving. In: Somenzi, F., Hunt Jr., W. (eds.) 15th International Conference on Computer Aided Verification, pp. 420\u2013432. Springer, Heidelberg (2003)"},{"key":"11_CR6","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/3-540-45319-9_6","volume-title":"7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems","author":"M.A. Col\u00f3n","year":"2001","unstructured":"Col\u00f3n, M.A., Sipma, H.B.: Synthesis of linear ranking functions. In: Margaria, T., Yi, W. (eds.) 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pp. 67\u201381. Springer, Heidelberg (2001)"},{"key":"11_CR7","volume-title":"A Discipline of Programming","author":"E.W. Dijkstra","year":"1976","unstructured":"Dijkstra, E.W.: A Discipline of Programming. Prentice-Hall, Inc., Englewood Cliffs (1976)"},{"key":"11_CR8","doi-asserted-by":"crossref","first-page":"310","DOI":"10.1007\/3-540-45628-7_13","volume-title":"Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski","author":"P. Flener","year":"2002","unstructured":"Flener, P.: Achievements and prospects of program synthesis. In: Kakas, A.C., Sadri, F. (eds.) Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, pp. 310\u2013346. Springer, Heidelberg (2002)"},{"key":"11_CR9","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1007\/978-1-4471-3494-7_4","volume-title":"International Workshop on Logic Program Synthesis and Transformation","author":"P. Flener","year":"1992","unstructured":"Flener, P., Deville, Y.: Towards stepwise, schema-guided synthesis of logic programs. In: Clement, T.P., Lau, K.-K. (eds.) International Workshop on Logic Program Synthesis and Transformation, pp. 46\u201364. Springer, Heidelberg (1992)"},{"issue":"1","key":"11_CR10","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1006\/jsco.1999.0348","volume":"30","author":"P. Flener","year":"2000","unstructured":"Flener, P., Lau, K.-K., Ornaghi, M., Richardson, J.: An abstract formalization of correct schemas for program synthesis. Journal of Symbolic Computation\u00a030(1), 93\u2013127 (2000)","journal-title":"Journal of Symbolic Computation"},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"Floyd, R.W.: Assigning meanings to programs. In: Proceedings of the Symposium on Applied Mathematics. Mathematical Aspects of Computer Science, vol.\u00a019, pp. 19\u201332 (1967)","DOI":"10.1090\/psapm\/019\/0235771"},{"key":"11_CR12","unstructured":"Granvilliers, L.: RealPaver User\u2019s Manual. Institut de Recherche en Informatique de Nantes, 0.3 edition (July 2003)"},{"key":"11_CR13","volume-title":"Mathematical Theory of Computation","author":"Z. Manna","year":"1974","unstructured":"Manna, Z.: Mathematical Theory of Computation. McGraw-Hill, New York (1974)"},{"issue":"8","key":"11_CR14","doi-asserted-by":"publisher","first-page":"674","DOI":"10.1109\/32.153379","volume":"18","author":"Z. Manna","year":"1992","unstructured":"Manna, Z., Waldinger, R.J.: Fundamentals of deductive program synthesis. IEEE Transactions on Software Engineering\u00a018(8), 674\u2013704 (1992)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"3","key":"11_CR15","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1016\/0001-8708(82)90048-2","volume":"46","author":"E. Mayr","year":"1982","unstructured":"Mayr, E., Meyer, A.: The complexity of the word problems for commutative semigroups and polynomial ideals. Advances in Mathematics\u00a046(3), 305\u2013329 (1982)","journal-title":"Advances in Mathematics"},{"key":"11_CR16","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1145\/263699.263712","volume-title":"24th ACM Symposium on Principles of Programming Languages","author":"G.C. Necula","year":"1997","unstructured":"Necula, G.C.: Proof-carrying code. In: 24th ACM Symposium on Principles of Programming Languages, pp. 106\u2013119. ACM Press, New York (1997)"},{"key":"11_CR17","volume-title":"Interval Methods for Systems of Equations","author":"A. Neumaier","year":"1990","unstructured":"Neumaier, A.: Interval Methods for Systems of Equations. Cambridge University Press, Cambridge (1990)"},{"key":"11_CR18","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0065-2458(08)60402-7","volume":"37","author":"C. Rich","year":"1993","unstructured":"Rich, C., Waters, R.C.: Approaches to automatic programming. Advances in Computers\u00a037, 1\u201357 (1993)","journal-title":"Advances in Computers"},{"key":"11_CR19","doi-asserted-by":"publisher","first-page":"318","DOI":"10.1145\/964001.964028","volume-title":"31st ACM Symposium on Principles of Programming Languages","author":"S. Sankaranarayanan","year":"2004","unstructured":"Sankaranarayanan, S., Sipma, H.B., Manna, Z.: Non-linear loop invariant generation using Gr\u00f6bner bases. In: Jones, N.D., Leroy, X. (eds.) 31st ACM Symposium on Principles of Programming Languages, pp. 318\u2013329. ACM Press, New York (2004)"},{"key":"11_CR20","volume-title":"Theory of Linear and Integer Programming","author":"A. Schrijver","year":"1986","unstructured":"Schrijver, A.: Theory of Linear and Integer Programming. John Wiley & Sons, Chichester (1986)"},{"issue":"9","key":"11_CR21","doi-asserted-by":"publisher","first-page":"1024","DOI":"10.1109\/32.58788","volume":"16","author":"D.R. Smith","year":"1990","unstructured":"Smith, D.R.: KIDS: A semiautomatic program development system. IEEE Transactions on Software Engineering\u00a016(9), 1024\u20131043 (1990)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"11_CR22","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1109\/ASE.1999.802091","volume-title":"14th IEEE International Conference on Automated Software Engineering","author":"J. Stark","year":"1999","unstructured":"Stark, J., Ireland, A.: Towards automatic imperative program synthesis through proof planning. In: 14th IEEE International Conference on Automated Software Engineering, pp. 44\u201351. IEEE Computer Society Press, Los Alamitos (1999)"},{"key":"11_CR23","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1007\/3-540-58156-1_24","volume-title":"12th International Conference on Automated Deduction","author":"M.E. Stickel","year":"1994","unstructured":"Stickel, M.E., Waldinger, R.J., Lowry, M.R., Pressburger, T., Underwood, I.: Deductive composition of astronomical software from subroutine libraries. In: Bundy, A. (ed.) 12th International Conference on Automated Deduction, pp. 341\u2013355. Springer, Heidelberg (1994)"},{"key":"11_CR24","doi-asserted-by":"crossref","unstructured":"Tarski, A.: A Decision Method for Elementary Algebra and Geometry. University of California Press (1951)","DOI":"10.1525\/9780520348097"}],"container-title":["Lecture Notes in Computer Science","Logic Based Program Synthesis and Transformation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11506676_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,31]],"date-time":"2021-10-31T18:50:45Z","timestamp":1635706245000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11506676_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540266556","9783540316831"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/11506676_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}