{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T12:07:53Z","timestamp":1725710873466},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642359910"},{"type":"electronic","value":"9783642359927"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-35992-7_3","type":"book-chapter","created":{"date-parts":[[2013,1,2]],"date-time":"2013-01-02T01:22:16Z","timestamp":1357089736000},"page":"101-158","source":"Crossref","is-referenced-by-count":0,"title":["Leveraging Static Analysis in an IDE"],"prefix":"10.1007","author":[{"given":"Robert M.","family":"Fuhrer","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"Allen, R., Callahan, D., Kennedy, K.: Automatic decomposition of scientific programs for parallel execution. In: Proceedings of the 14th ACM Symposium on Principles of Programming Languages, POPL 1987, pp. 63\u201376. ACM Press (1987)","DOI":"10.1145\/41625.41631"},{"key":"3_CR2","unstructured":"Andersen, O.: Program Analysis and Specialization for the C Programming Language. Ph.D. thesis, University of Copenhagen, Copenhagen, Denmark (1994)"},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"Banzi, M.: Getting Started with Arduino. Make: Books, vol.\u00a011 (2008)","DOI":"10.1007\/978-1-4302-0331-5_2"},{"key":"3_CR4","first-page":"103","volume-title":"Proceedings of the 2003 ACM Conference on Programming Language Design and Implementation, PLDI 2003","author":"M. Berndl","year":"2003","unstructured":"Berndl, M., Lhot\u00e1k, O., Qian, F., Hendren, L., Umanee, N.: Points-to analysis using bdds. In: Proceedings of the 2003 ACM Conference on Programming Language Design and Implementation, PLDI 2003, pp. 103\u2013114. ACM, New York (2003)"},{"key":"3_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1075","DOI":"10.1007\/3-540-44898-5_4","volume-title":"Static Analysis","author":"J. Boyland","year":"2003","unstructured":"Boyland, J.: Checking Interference with Fractional Permissions. In: Cousot, R. (ed.) SAS 2003. LNCS, vol.\u00a02694, pp. 1075\u20131075. Springer, Heidelberg (2003)"},{"issue":"1-2","key":"3_CR6","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1016\/j.scico.2007.11.003","volume":"72","author":"M. Bravenboer","year":"2008","unstructured":"Bravenboer, M., Kalleberg, K.T., Vermaas, R., Visser, E.: Stratego\/XT 0.17. A language and toolset for program transformation. Science of Computer Programming\u00a072(1-2), 52\u201370 (2008)","journal-title":"Science of Computer Programming"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Charles, P., Fuhrer, R.M., Sutton Jr., S.M., Duesterwald, E., Vinju, J.J.: Accelerating the creation of customized, language-specific IDEs in Eclipse. In: OOPSLA, pp. 191\u2013206 (2009)","DOI":"10.1145\/1639949.1640104"},{"key":"3_CR8","doi-asserted-by":"publisher","first-page":"519","DOI":"10.1145\/1103845.1094852","volume":"40","author":"P. Charles","year":"2005","unstructured":"Charles, P., Grothoff, C., Saraswat, V., Donawa, C., Kielstra, A., Ebcioglu, K., von Praun, C., Sarkar, V.: X10: an object-oriented approach to non-uniform cluster computing. SIGPLAN Not.\u00a040, 519\u2013538 (2005)","journal-title":"SIGPLAN Not."},{"key":"3_CR9","volume-title":"Essentials of Programming Languages","author":"P. Daniel","year":"2001","unstructured":"Daniel, P., Friedman, M.W., Haynes, C.T.: Essentials of Programming Languages, 2nd edn. MIT Press, Cambridge (2001)","edition":"2"},{"key":"3_CR10","unstructured":"Eclipse, http:\/\/www.eclipse.org\/"},{"key":"3_CR11","unstructured":"Eclipse Java Development Tools, http:\/\/www.eclipse.org\/jdt\/"},{"key":"3_CR12","first-page":"1","volume-title":"Proceedings of the 2007 ACM Conference on Object-Oriented Programming Systems, Languages and Applications, OOPSLA 2007","author":"T. Ekman","year":"2007","unstructured":"Ekman, T., Hedin, G.: The jastadd extensible java compiler. In: Proceedings of the 2007 ACM Conference on Object-Oriented Programming Systems, Languages and Applications, OOPSLA 2007, pp. 1\u201318. ACM, New York (2007)"},{"key":"3_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/978-3-540-45099-3_9","volume-title":"Static Analysis","author":"S.J. Fink","year":"2000","unstructured":"Fink, S.J., Knobe, K., Sarkar, V.: Unified Analysis of Array and Object References in Strongly Typed Languages. In: Palsberg, J. (ed.) SAS 2000. LNCS, vol.\u00a01824, pp. 155\u2013174. Springer, Heidelberg (2000)"},{"key":"3_CR14","unstructured":"Fowler, M.: Refactoring. Improving the Design of Existing Code. Addison-Wesley (1999)"},{"key":"3_CR15","series-title":"Lecture Notes in Computer Science","first-page":"668","volume-title":"ECOOP \u201999 - Object-Oriented Programming","author":"A. Greenhouse","year":"1999","unstructured":"Greenhouse, A., Boyland, J.: An Object-Oriented Effects System. In: Guerraoui, R. (ed.) ECOOP 1999. LNCS, vol.\u00a01628, pp. 668\u2013668. Springer, Heidelberg (1999)"},{"key":"3_CR16","unstructured":"Hedin, G.: Incremental Semantic Analysis. Ph.D. thesis, Lund University, Lund, Sweden (1992)"},{"issue":"3","key":"3_CR17","doi-asserted-by":"publisher","first-page":"1010","DOI":"10.1145\/177492.177750","volume":"16","author":"J. Heering","year":"1994","unstructured":"Heering, J., Klint, P., Rekers, J.: Lazy and incremental program generation. ACM Trans. Program. Lang. Syst.\u00a016(3), 1010\u20131023 (1994)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"3_CR18","doi-asserted-by":"publisher","first-page":"254","DOI":"10.1145\/378795.378855","volume-title":"Proceedings of the ACM SIGPLAN 2001 Conference on Programming Language Design and Implementation, PLDI 2001","author":"N. Heintze","year":"2001","unstructured":"Heintze, N., Tardieu, O.: Ultra-fast aliasing analysis using cla: a million lines of c code in a second. In: Proceedings of the ACM SIGPLAN 2001 Conference on Programming Language Design and Implementation, PLDI 2001, pp. 254\u2013263. ACM, New York (2001)"},{"key":"3_CR19","doi-asserted-by":"crossref","unstructured":"Kats, L.C.L., Visser, E.: The Spoofax language workbench. Rules for declarative specification of languages and IDEs. In: Rinard, M. (ed.) Proceedings of the 2010 ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2010, Reno, NV, USA, pp. 444\u2013463 (October 2010)","DOI":"10.1145\/1869459.1869497"},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"Klint, P., van der Storm, T., Vinju, J.J.: Rascal: A domain specific language for source code analysis and manipulation. In: Ninth IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM), pp. 168\u2013177. IEEE Computer Society (2009)","DOI":"10.1109\/SCAM.2009.28"},{"key":"3_CR21","unstructured":"Kushner, D.: The Making of Arduino. IEEE Spectrum, 1\u20132 (2011)"},{"key":"3_CR22","unstructured":"Maddox, W.H.: Incremental static semantic analysis. Ph.D. thesis, University of California at Berkeley, Berkeley, CA, USA (1998), uMI Order No. GAX98-03284"},{"issue":"4","key":"3_CR23","doi-asserted-by":"publisher","first-page":"424","DOI":"10.1145\/233561.233564","volume":"18","author":"K.S. McKinley","year":"1996","unstructured":"McKinley, K.S., Carr, S., Tseng, C.W.: Improving data locality with loop transformations. ACM Transactions on Programming Languages and Systems\u00a018(4), 424\u2013453 (1996)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"1","key":"3_CR24","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1044834.1044835","volume":"14","author":"A. Milanova","year":"2005","unstructured":"Milanova, A., Rountev, A., Ryder, B.G.: Parameterized object sensitivity for points-to analysis for java. ACM Trans. Softw. Eng. Methodol.\u00a014(1), 1\u201341 (2005)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"3_CR25","unstructured":"Morgenthaler, J.D.: Static analysis for a software transformation tool. Ph.D. thesis, University of California at San Diego, La Jolla, CA, USA (1998), uMI Order No. GAX98-04509"},{"key":"3_CR26","unstructured":"Nielson, F., Nielson, H.R., Hankin, C.: Principles of program analysis. Springer (2005)"},{"key":"3_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1007\/3-540-36579-6_11","volume-title":"Compiler Construction","author":"N. Nystrom","year":"2003","unstructured":"Nystrom, N., Clarkson, M.R., Myers, A.C.: Polyglot: An Extensible Compiler Framework for Java. In: Hedin, G. (ed.) CC 2003. LNCS, vol.\u00a02622, pp. 138\u2013152. Springer, Heidelberg (2003)"},{"key":"3_CR28","first-page":"146","volume-title":"Conference Proceedings on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA 1991","author":"J. Palsberg","year":"1991","unstructured":"Palsberg, J., Schwartzbach, M.I.: Object-oriented type inference. In: Conference Proceedings on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA 1991, pp. 146\u2013161. ACM, New York (1991)"},{"issue":"6","key":"3_CR29","doi-asserted-by":"crossref","first-page":"90","DOI":"10.1145\/1375581.1375594","volume":"43","author":"L.N. Pouchet","year":"2008","unstructured":"Pouchet, L.N., Bastoul, C., Cohen, A., Cavazos, J.: Iterative optimization in the polyhedral model: part II, Multidimensional Time. Conference on Programming Language Design and Implementation\u00a043(6), 90\u2013100 (2008)","journal-title":"Conference on Programming Language Design and Implementation"},{"key":"3_CR30","doi-asserted-by":"crossref","unstructured":"Pouchet, L.N., Bondhugula, U., Bastoul, C., Cohen, A., Ramanujam, J., Sadayappan, P., Vasilache, N.: Loop transformations: convexity, pruning and optimization. In: Proceedings of the 38th Annual ACM Symposium on Principles of Programming Languages, POPL 2011, vol.\u00a046, pp. 549\u2013562. ACM (2011)","DOI":"10.1145\/1925844.1926449"},{"issue":"3","key":"3_CR31","doi-asserted-by":"publisher","first-page":"449","DOI":"10.1145\/2166.357218","volume":"5","author":"T. Reps","year":"1983","unstructured":"Reps, T., Teitelbaum, T., Demers, A.: Incremental context-dependent analysis for language-based editors. ACM Trans. Program. Lang. Syst.\u00a05(3), 449\u2013477 (1983)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"3_CR32","first-page":"32","volume-title":"Proceedings of the 23rd ACM Symposium on Principles of Programming Languages, POPL 1996","author":"B. Steensgaard","year":"1996","unstructured":"Steensgaard, B.: Points-to analysis in almost linear time. In: Proceedings of the 23rd ACM Symposium on Principles of Programming Languages, POPL 1996, pp. 32\u201341. ACM, New York (1996)"},{"key":"3_CR33","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1961204.1961205","volume":"33","author":"F. Tip","year":"2011","unstructured":"Tip, F., Fuhrer, R.M., Kie\u017cun, A., Ernst, M.D., Balaban, I., Sutter, B.D.: Refactoring using type constraints. ACM Trans. Program. Lang. Syst.\u00a033, 9:1\u20139:47 (2011)","journal-title":"ACM Trans. Program. Lang. Syst."}],"container-title":["Lecture Notes in Computer Science","Generative and Transformational Techniques in Software Engineering IV"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-35992-7_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,2,4]],"date-time":"2022-02-04T18:43:24Z","timestamp":1644000204000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-35992-7_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642359910","9783642359927"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35992-7_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}