{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:02:55Z","timestamp":1725487375263},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540404385"},{"type":"electronic","value":"9783540450139"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-45013-0_19","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T16:06:29Z","timestamp":1184601989000},"page":"258-259","source":"Crossref","is-referenced-by-count":1,"title":["Abstract Partial Deduction Challenged"],"prefix":"10.1007","author":[{"given":"Stefan","family":"Gruner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,6,24]]},"reference":[{"key":"19_CR1","unstructured":"F. Bueno & M. Leuschel (Eds.): LOPSTR\u201902 PreProceedings of the International Workshop on Logic Based Program Development and Transformation (This Workshop). Technical Report, Facultad de Inform\u00e1tica, Universidad Polit\u00e9cnica de Madrid (E), September 2002."},{"key":"19_CR2","series-title":"Lect Notes Comput Sci","volume-title":"Proc. of LOPSTR\u20192001","author":"F. Fioravanti","year":"2002","unstructured":"F. Fioravanti & A. Pettorossi & M. Proietti: Verification of Sets of Infinite State Processes using Program Transformation. Proc. of LOPSTR\u20192001, LNCS 2372, Springer, 2002."},{"key":"19_CR3","doi-asserted-by":"crossref","unstructured":"F. Fioravanti & A. Pettorossi & M. Proietti: Combining Logic Programs and Monadic Second Order Logic by Program Transformation. This Workshop [1], pp. 166\u2013181.","DOI":"10.1007\/3-540-45013-0_14"},{"key":"19_CR4","unstructured":"J. Gallagher: SP System. http:\/\/www.cs.bris.ac.uk\/~john\/software.html"},{"key":"19_CR5","unstructured":"J. Gallagher & J. Peralta: Convex Hull Abstractions in Specialisation of CLP Programs. This Workshop [1], pp. 104\u2013114."},{"key":"19_CR6","doi-asserted-by":"crossref","unstructured":"S. Gruner: Abstract Partial Deduction Challenged \u2014 Extended Abstract of Ongoing Work. This Workshop [1], pp. 251\u2013258.","DOI":"10.1007\/3-540-45013-0_19"},{"issue":"8","key":"19_CR7","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1145\/361082.361093","volume":"17","author":"L. Lamport","year":"1974","unstructured":"L. Lamport: A New Solution to Dijkstra\u2019s Concurrent Programming Problem. Communications of the ACM 17\/8, pp. 453\u2013455, 1974.","journal-title":"Communications of the ACM"},{"key":"19_CR8","unstructured":"M. Leuschel: ECCE. http:\/\/www.ecs.soton.ac.uk\/~mal\/systems\/ecce.html"},{"key":"19_CR9","series-title":"Lect Notes Comput Sci","volume-title":"Proc. of LOPSTR\u20192001","author":"M. Leuschel","year":"2002","unstructured":"M. Leuschel & S. Gruner: Abstract Conjunctive Partial Deduction using Regular Types and its Application to Model Checking. Proc. of LOPSTR\u20192001, LNCS 2372, Springer, 2002."},{"key":"19_CR10","unstructured":"P. Mildner: Type Domains for Abstract Interpretation \u2014 A Critical Study. Uppsala Theses in Comp. Sc. 31, ISBN 91-506-1345-6, Univ. Uppsala (S), 1999."},{"issue":"5","key":"19_CR11","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/s002870050105","volume":"21","author":"G. Snelting","year":"1998","unstructured":"G. Snelting: Paul Feyerabend und die Softwaretechnologie. Informatik Spektrum 21\/5, pp. 273\u2013276, Springer 1998.","journal-title":"Informatik Spektrum"},{"key":"19_CR12","unstructured":"G. Vidal: Curry Partial Evaluator. http:\/\/www.dsic.upv.es\/users\/elp\/peval\/peval.html"},{"issue":"2","key":"19_CR13","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/0743-1066(91)80002-U","volume":"10","author":"E. Yardeni","year":"1991","unstructured":"E. Yardeni & E. Shapiro: A Type System for Logic Programs. Journal of Logic Programming 10\/2, pp. 125\u2013153, Elsevier, 1991.","journal-title":"Journal of Logic Programming"}],"container-title":["Lecture Notes in Computer Science","Logic Based Program Synthesis and Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45013-0_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T03:21:52Z","timestamp":1556680912000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45013-0_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540404385","9783540450139"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-45013-0_19","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}