{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,8]],"date-time":"2025-07-08T14:07:29Z","timestamp":1751983649168},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540650126"},{"type":"electronic","value":"9783540497660"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0056612","type":"book-chapter","created":{"date-parts":[[2006,7,30]],"date-time":"2006-07-30T04:19:58Z","timestamp":1154233198000},"page":"134-151","source":"Crossref","is-referenced-by-count":10,"title":["Staging static analyses using abstraction-based program specialization"],"prefix":"10.1007","author":[{"given":"John","family":"Hatcliff","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthew","family":"Dwyer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shawn","family":"Laubach","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,6,2]]},"reference":[{"key":"9_CR1","series-title":"DIKU Report 94-19","volume-title":"PhD thesis","author":"L. O. Andersen","year":"1994","unstructured":"Lars Ole Andersen. Program Analysis and Specialization for the C Programming Language. PhD thesis, DIKU, Computer Science Department, University of Copenhagen, Copenhagen, Denmark, 1994. DIKU Report 94-19."},{"doi-asserted-by":"crossref","unstructured":"J. Michael Ashley. A practical and flexible flow analysis for higher-order languages. In Proceedings of the Twenty-third Annual ACM Symposium on Principles of Programming Languages, pages 184\u2013194, 1996.","key":"9_CR2","DOI":"10.1145\/237721.237773"},{"issue":"5","key":"9_CR3","doi-asserted-by":"publisher","first-page":"1431","DOI":"10.1145\/186025.186037","volume":"16","author":"J. M. Ashley","year":"1994","unstructured":"J. Michael Ashley and Charles Consel. Fixpoint computation for polyvariant static analyses of higher-order applicative programs. ACM Transactions on Programming Languages and Systems, 16(5):1431\u20131448, September 1994.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"5","key":"9_CR4","doi-asserted-by":"publisher","first-page":"1512","DOI":"10.1145\/186025.186051","volume":"16","author":"E.M. Clarke","year":"1994","unstructured":"E.M. Clarke, O. Grumberg, and D.E. Long. Model checking and abstraction. ACM Transactions on Programming Languages and Systems, 16(5):1512\u20131542, September 1994.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"9_CR5","first-page":"82","volume":"74","author":"C. Colby","year":"1991","unstructured":"Chris Colby and Peter Lee. An implementation of parameterized partial evaluation. Bigre Journal, 74:82\u201389, 1991.","journal-title":"Bigre Journal"},{"doi-asserted-by":"crossref","unstructured":"Charles Consel, Luke Hornof, Fran\u00c7ois No\u00cbl, Jacques Noy\u00e9, and Nicolae Volanschi. A uniform approach for compile-time and run-time specialization. In Proceedings of the 1996 International Seminar on Partial Evaluation, number 1110 in Lecture Notes in Computer Science, pages 54\u201372, Dagstuhl Castle, Germany, February 1996.","key":"9_CR6","DOI":"10.1007\/3-540-61580-6_4"},{"issue":"3","key":"9_CR7","doi-asserted-by":"publisher","first-page":"463","DOI":"10.1145\/169683.174155","volume":"15","author":"C. Consel","year":"1993","unstructured":"Charles Consel and Siau Cheng Khoo. Parameterized partial evaluation. ACM Transactions on Programming Languages and Systems, 15(3):463\u2013493, 1993.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"doi-asserted-by":"crossref","unstructured":"Matthew Dwyer, John Hatcliff, and Muhammad Nanda. Using partial evaluation to enable verification of concurrent software. ACM Computing Surveys, 1998. (in press).","key":"9_CR8","DOI":"10.1145\/289121.289143"},{"issue":"5","key":"9_CR9","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1145\/195274.195295","volume":"19","author":"M.B. Dwyer","year":"1994","unstructured":"M.B. Dwyer and L.A. Clarke. Data flow analysis for verifying properties of concurrent programs. Software Engineering Notes, 19(5):62\u201375, December 1994. Proceedings of the Second ACM SIGSOFT Symposium on Foundations of Software Engineering.","journal-title":"Software Engineering Notes"},{"doi-asserted-by":"crossref","unstructured":"Robert Gl\u00fcck and Andrei Klimov. Occam's razor in metacomputation: the notion of a perfect process tree. In Patrick Cousot, Moreno Falaschi, Gilberto Fil\u00e8, and Antoine Rauzy, editors, Proceedings of the Third International Workshop on Static Analysis WSA'93, volume 724 of Lecture Notes in Computer Science, pages 112\u2013123, Padova, Italy, September 1993.","key":"9_CR10","DOI":"10.1007\/3-540-57264-3_34"},{"key":"9_CR11","first-page":"1139","volume-title":"Compiler generation by partial evaluation","author":"C. K. Gomard","year":"1989","unstructured":"Carsten K. Gomard and Neil D. Jones. Compiler generation by partial evaluation. In G. X. Ritter, editor, Information Processing '89. Proceedings of the IFIP 11th World Computer Congress, pages 1139\u20131144. IFIP, North-Holland, 1989."},{"issue":"5","key":"9_CR12","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"G.J. Holzmann","year":"1997","unstructured":"G.J. Holzmann. The model checker spin. IEEE Transactions on Software Engineering, 23(5):279\u2013294, May 1997.","journal-title":"IEEE Transactions on Software Engineering"},{"doi-asserted-by":"crossref","unstructured":"Neil D. Jones. The essence of program transformation by partial evaluation and driving. In Masahiko Sato Neil D. Jones, Masami Hagiya, editor, Logic, Language and Computation, a Festschrift in honor of Satoru Takasu, pages 206\u2013224. Springer-Verlag, April 1994.","key":"9_CR13","DOI":"10.1007\/BFb0032402"},{"unstructured":"Neil D. Jones, Carsten K. Gomard, and Peter Sestoft. Partial Evaluation and Automatic Program Generation. Prentice-Hall International, 1993.","key":"9_CR14"},{"unstructured":"Siau Cheng Khoo. Parameterized partial evaluation: theory and practice. PhD thesis, Yale University, June 1992.","key":"9_CR15"},{"key":"9_CR16","volume-title":"Technical Report CW 259","author":"M. Leuschel","year":"1998","unstructured":"Michael Leuschel. Program specialization and abstract interpretation reconciled. Technical Report CW 259, Departement Computerwetenschappen, K.U.Leaven, Belgium, May 1998."},{"doi-asserted-by":"crossref","unstructured":"K.L. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1993.","key":"9_CR17","DOI":"10.1007\/978-1-4615-3190-6"},{"unstructured":"David A. Schmidt. Trace-based abstract interpretation of operational semantics. Lisp and Symbolic Computation. (in press).","key":"9_CR18"},{"unstructured":"Morten H. S\u00f8rensen and Robert Gl\u00fcck. An algorithm of generalization in positive supercompilation. In John Lloyd, editor, Logic Programming: Proceedings of the 1995 International Symposium, pages 465\u2013479. MIT Press, 1995.","key":"9_CR19"}],"container-title":["Lecture Notes in Computer Science","Principles of Declarative Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0056612","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,20]],"date-time":"2019-04-20T07:40:19Z","timestamp":1555746019000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0056612"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540650126","9783540497660"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/bfb0056612","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}