{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,4]],"date-time":"2025-07-04T20:21:43Z","timestamp":1751660503214},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642122507"},{"type":"electronic","value":"9783642122514"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-12251-4_2","type":"book-chapter","created":{"date-parts":[[2010,4,9]],"date-time":"2010-04-09T23:32:42Z","timestamp":1270855962000},"page":"13-18","source":"Crossref","is-referenced-by-count":3,"title":["Using Static Analysis to Detect Type Errors and Concurrency Defects in Erlang Programs"],"prefix":"10.1007","author":[{"given":"Konstantinos","family":"Sagonas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","volume-title":"Programming Erlang: Software for a Concurrent World","author":"J. Armstrong","year":"2007","unstructured":"Armstrong, J.: Programming Erlang: Software for a Concurrent World. The Pragmatic Bookshelf, Raleigh (2007)"},{"key":"2_CR2","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1145\/1411273.1411277","volume-title":"Proceedings of the 7th ACM SIGPLAN Workshop on Erlang","author":"T. Nagy","year":"2008","unstructured":"Nagy, T., Nagyn\u00e9 V\u00edg, A.: Erlang testing and tools survey. In: Proceedings of the 7th ACM SIGPLAN Workshop on Erlang, pp. 21\u201328. ACM, New York (2008)"},{"key":"2_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/978-3-540-30477-7_7","volume-title":"Programming Languages and Systems","author":"T. Lindahl","year":"2004","unstructured":"Lindahl, T., Sagonas, K.: Detecting software defects in telecom applications through lightweight static analysis: A war story. In: Wei-Ngan, C. (ed.) APLAS 2004. LNCS, vol.\u00a03302, pp. 91\u2013106. Springer, Heidelberg (2004)"},{"key":"2_CR4","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1145\/1140335.1140356","volume-title":"Proceedings of the 8th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming","author":"T. Lindahl","year":"2006","unstructured":"Lindahl, T., Sagonas, K.: Practical type inference based on success typings. In: Proceedings of the 8th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming, pp. 167\u2013178. ACM, New York (2006)"},{"key":"2_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1007\/978-3-642-11503-5_11","volume-title":"PADL 2010","author":"M. Christakis","year":"2010","unstructured":"Christakis, M., Sagonas, K.: Static detection of race conditions in Erlang. In: Carro, M., Pe\u00f1a, R. (eds.) PADL 2010. LNCS, vol.\u00a05937, pp. 119\u2013133. Springer, Heidelberg (2010)"},{"key":"2_CR6","unstructured":"Sagonas, K.: Experience from developing the Dialyzer: A static analysis tool detecting defects in Erlang applications. In: Proceedings of the ACM SIGPLAN Workshop on the Evaluation of Software Defect Detection Tools (2005)"},{"key":"2_CR7","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1145\/258948.258962","volume-title":"Proceedings of the ACM SIGPLAN International Conference on Functional Programming","author":"S. Marlow","year":"1997","unstructured":"Marlow, S., Wadler, P.: A practical subtyping system for Erlang. In: Proceedings of the ACM SIGPLAN International Conference on Functional Programming, pp. 136\u2013149. ACM, New York (1997)"},{"key":"2_CR8","first-page":"56","volume-title":"Proceedings of ACM SIGPLAN Erlang Workshop","author":"S.O. Nystr\u00f6m","year":"2003","unstructured":"Nystr\u00f6m, S.O.: A soft-typing system for Erlang. In: Proceedings of ACM SIGPLAN Erlang Workshop, pp. 56\u201371. ACM, New York (2003)"},{"key":"2_CR9","first-page":"11","volume-title":"Proceedings of the 6th ACM SIGPLAN Workshop on Erlang","author":"M. Jimenez","year":"2007","unstructured":"Jimenez, M., Lindahl, T., Sagonas, K.: A language for specifying type contracts in Erlang and its interaction with success typings. In: Proceedings of the 6th ACM SIGPLAN Workshop on Erlang, pp. 11\u201317. ACM, New York (2007)"},{"issue":"2","key":"2_CR10","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1017\/S0956796801004208","volume":"12","author":"R.B. Findler","year":"2002","unstructured":"Findler, R.B., Clements, J., Flanagan, C., Flatt, M., Krishnamurthi, S., Steckler, P., Felleisen, M.: DrScheme: A programming environment for Scheme. Journal of Functional Programming\u00a012(2), 159\u2013182 (2002)","journal-title":"Journal of Functional Programming"},{"key":"2_CR11","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1145\/1411273.1411284","volume-title":"Proceedings of the 7th ACM SIGPLAN Workshop on Erlang","author":"K. Sagonas","year":"2008","unstructured":"Sagonas, K., Luna, D.: Gradual typing of Erlang programs: A Wrangler experience. In: Proceedings of the 7th ACM SIGPLAN Workshop on Erlang, pp. 73\u201382. ACM, New York (2008)"}],"container-title":["Lecture Notes in Computer Science","Functional and Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-12251-4_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,25]],"date-time":"2021-10-25T19:03:46Z","timestamp":1635188626000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-12251-4_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642122507","9783642122514"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-12251-4_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}