{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T20:36:05Z","timestamp":1761510965301,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642320958"},{"type":"electronic","value":"9783642320965"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"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":[[2012]]},"DOI":"10.1007\/978-3-642-32096-5_9","type":"book-chapter","created":{"date-parts":[[2012,7,11]],"date-time":"2012-07-11T02:23:57Z","timestamp":1341973437000},"page":"440-498","source":"Crossref","is-referenced-by-count":18,"title":["Static Analysis of Complex Software Systems Implemented in Erlang"],"prefix":"10.1007","author":[{"given":"Melinda","family":"T\u00f3th","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Istv\u00e1n","family":"Boz\u00f3","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","unstructured":"The DIALYZER: a DIscrepancy AnaLYZer for ERlang programs, \n                  \n                    http:\/\/www.it.uu.se\/research\/group\/hipe\/dialyzer"},{"key":"9_CR2","unstructured":"RefactorErl Home Page (2011), \n                  \n                    http:\/\/plc.inf.elte.hu\/erlang\/"},{"key":"9_CR3","unstructured":"Boz\u00f3, I., Horp\u00e1csi, D., Horv\u00e1th, Z., Kitlei, R., K\u0151szegi, J., Tejfel, M., T\u00f3th, M.: Refactorerl \u2013 source code analysis and refactoring in erlang. In: Proceeding of the 12th Symposium on Programming Languages and Software Tools, Tallin, Estonia (2011)"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Boz\u00f3, I., T\u00f3th, M.: Selecting erlang test cases using impact analysis. In: Proceedings of Symposium on Computer Languages, Implementations and Tools, Kassandra, Halkidiki, Greece (2011)","DOI":"10.1063\/1.3636854"},{"key":"9_CR5","unstructured":"Carlsson, R.: An introduction to core erlang. In: Proceedings of the PLI 2001 Erlang Workshop (2001)"},{"key":"9_CR6","unstructured":"Ericsson, A.B.: EDOC \u2013 Erlang program documentation generator. Latest version, \n                  \n                    http:\/\/www.erlang.org\/documentation\/doc5.4.2.1\/lib\/edoc-0.1\/doc\/html\/index.html"},{"key":"9_CR7","unstructured":"Ericsson, A.B.: Erlang Reference Manual, \n                  \n                    http:\/\/www.erlang.org\/doc\/reference_manual\/part_frame.html"},{"key":"9_CR8","unstructured":"Horp\u00e1csi, D., K\u0151szegi, J.: Static analysis of function calls in erlang \u2013 refining the static function call graph with dynamic call information by using data-flow analysis. In: Proceedings of the Central and Eastern European Conference on Software Engineering Techniques, Debrecen, Hungary (August 2011)"},{"key":"9_CR9","unstructured":"Horwitz, S., Reps, T., Binkley, D.: Interprocedural slicing using dependence graphs. In: PhD thesis, University of Michigan, Ann Arbor, MI (1979)"},{"key":"9_CR10","first-page":"1","volume-title":"WRT 2008: Proceedings of the 2nd Workshop on Refactoring Tools","author":"H. Li","year":"2008","unstructured":"Li, H., Thompson, S.: Tool support for refactoring functional programs. In: WRT 2008: Proceedings of the 2nd Workshop on Refactoring Tools, pp. 1\u20134. ACM, New York (2008)"},{"key":"9_CR11","unstructured":"L\u00f6vei, L., Haj\u00f3s, L., T\u00f3th, M.: Erlang Semantic Query Language. In: Proceedings of the 8th International Conference on Applied Informatics, ICAI 2010 (January 2010)"},{"issue":"4","key":"9_CR12","doi-asserted-by":"publisher","first-page":"845","DOI":"10.1145\/291891.291898","volume":"20","author":"J. Michael Ashley","year":"1998","unstructured":"Michael Ashley, J., Kent Dybvig, R.: A practical and flexible flow analysis for higher-order languages. ACM Transactions on Programming Languages and Systems\u00a020(4), 845\u2013868 (1998)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"9_CR13","unstructured":"Muchnick, S.S.: Advanced Compiler Design and Implementation. Morgan Kaufmann Publishers, Inc. (1997)"},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"Nielson, F., Nielson, H.R., Hankin, C.: Principles of Program Analysis. Springer (1999) (corrected 2005)","DOI":"10.1007\/978-3-662-03811-6"},{"key":"9_CR15","unstructured":"Shivers, O.: Control-Flow Analysis of Higher-Order Languages. PhD thesis, Carnegie Mellon University (1991)"},{"key":"9_CR16","unstructured":"Stafford, J.: A formal, language-independent, and compositional approach to control dependence analysis. PhD thesis, University of Colorado, Boulder, Colorado, USA (2000)"},{"key":"9_CR17","unstructured":"T\u00f3th, M., Boz\u00f3, I., Horv\u00e1th, Z., Erd\u0151di, A.: Static analysis and refactoring towards erlang multicore programming. In: Pre-proceedings of the Fourth Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2011, Saarbrcken, Germany (2011)"},{"key":"9_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"372","DOI":"10.1007\/978-3-642-17685-2_11","volume-title":"Central European Functional Programming School","author":"M. T\u00f3th","year":"2010","unstructured":"T\u00f3th, M., Boz\u00f3, I., Horv\u00e1th, Z., L\u00f6vei, L., Tejfel, M., Kozsik, T.: Impact Analysis of Erlang Programs Using Behaviour Dependency Graphs. In: Horv\u00e1th, Z., Plasmeijer, R., Zs\u00f3k, V. (eds.) CEFP 2009. LNCS, vol.\u00a06299, pp. 372\u2013390. Springer, Heidelberg (2010)"},{"key":"9_CR19","unstructured":"T\u00f3th, M., Boz\u00f3, I., Horv\u00e1th, Z., Tejfel, M.: First order flow analysis for Erlang. In: 8th Joint Conference on Mathematics and Computer Science, MACS 2010 (2010)"},{"key":"9_CR20","doi-asserted-by":"crossref","unstructured":"T\u00f3th, M., Boz\u00f3, I., K\u0151szegi, J., Horv\u00e1th, Z.: Applying the Query Language to support program comprehension. Acta Electrotechnica et Informatica\u00a011(03), 3\u201310 (2011) ISSN 1335-8243 (print), ISSN 1338-3957 (online)","DOI":"10.2478\/v10198-011-0022-y"}],"container-title":["Lecture Notes in Computer Science","Central European Functional Programming School"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-32096-5_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T21:00:46Z","timestamp":1558299646000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-32096-5_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642320958","9783642320965"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-32096-5_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}