{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:22:06Z","timestamp":1725488526759},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540410546"},{"type":"electronic","value":"9783540453505"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-45350-4_4","type":"book-chapter","created":{"date-parts":[[2007,8,11]],"date-time":"2007-08-11T05:45:53Z","timestamp":1186811153000},"page":"7-8","source":"Crossref","is-referenced-by-count":0,"title":["Specialization of Systems Programs: Lessons and Perspectives"],"prefix":"10.1007","author":[{"given":"Gilles","family":"Muller","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,6,1]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"C. Consel, L. Hornof, J. Lawall, R. Marlet, G. Muller, J. Noy\u00e9, S. Thibault, and N. Volanschi. Tempo: Specializing systems applications and beyond. ACM Computing Surveys, Symposium on Partial Evaluation, 30(3), 1998.","DOI":"10.1145\/289121.289140"},{"key":"4_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1007\/3-540-61580-6_4","volume-title":"Partial Evaluation, International Seminar, Dagstuhl Castle","author":"C. Consel","year":"1996","unstructured":"C. Consel, L. Hornof, F. No\u00ebl, J. Noy\u00e9, and E.N. Volanschi. A uniform approach for compile-time and run-time specialization. In O. Danvy, R. Gl\u00fcck, and P. Thiemann, editors, Partial Evaluation, International Seminar, Dagstuhl Castle, number 1110 in Lecture Notes in Computer Science, pages 54\u201372, February 1996."},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"J.L. Lawall and G. Muller. Efficient incremental checkpointing of Java programs. In Proceedings of the International Conference on Dependable Systems and Networks, pages 61\u201370, New York, NY, USA, June 2000. IEEE.","DOI":"10.1109\/ICDSN.2000.857515"},{"key":"4_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0304-3975(00)00052-9","volume":"248","author":"G. Muller","year":"2000","unstructured":"G. Muller, R. Marlet, and E.N. Volanschi. Accurate program analyses for successful specialization of legacy system software. Theoretical Computer Science, 248(1\u20132), 2000.","journal-title":"Theoretical Computer Science"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"G. Muller, R. Marlet, E.N. Volanschi, C. Consel, C. Pu, and A. Goel. Fast, optimized Sun RPC using automatic program specialization. In Proceedings of the 18th International Conference on Distributed Computing Systems, pages 240\u2013249, Amsterdam, The Netherlands, May 1998. IEEE Computer Society Press.","DOI":"10.1109\/ICDCS.1998.679507"},{"key":"4_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1007\/3-540-48743-3_17","volume-title":"In Proceedings of the European Conference on Object-oriented Programming (ECOOP\u201999), volume 1628 of Lecture Notes Computer Science,pages 367\u2013390,Libson, Portugal,June 1999","author":"U. Schultz","year":"1999","unstructured":"U. Schultz, J. Lawall, C. Consel, and G. Muller. Towards automatic specialization of Java programs. In Proceedings of the European Conference on Object-oriented Programming (ECOOP\u201999), volume 1628 of Lecture Notes in Computer Science, pages 367\u2013390, Lisbon, Portugal, June"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"S. Thibault, C. Consel, and G. Muller. Safe and efficient active network programming. In 17th IEEE Symposium on Reliable Distributed Systems, pages 135\u2013143, West Lafayette, Indiana, October 1998.","DOI":"10.1109\/RELDIS.1998.740484"}],"container-title":["Lecture Notes in Computer Science","Semantics, Applications, and Implementation of Program Generation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45350-4_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T19:03:16Z","timestamp":1556737396000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45350-4_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540410546","9783540453505"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/3-540-45350-4_4","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}