{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,11]],"date-time":"2026-06-11T11:03:03Z","timestamp":1781175783206,"version":"3.54.1"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642115028","type":"print"},{"value":"9783642115035","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-11503-5_11","type":"book-chapter","created":{"date-parts":[[2010,1,7]],"date-time":"2010-01-07T04:42:16Z","timestamp":1262839336000},"page":"119-133","source":"Crossref","is-referenced-by-count":11,"title":["Static Detection of Race Conditions in Erlang"],"prefix":"10.1007","author":[{"given":"Maria","family":"Christakis","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Konstantinos","family":"Sagonas","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"11_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)"},{"issue":"7","key":"11_CR2","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L. Lamport","year":"1978","unstructured":"Lamport, L.: Time, clocks, and the ordering of events in a distributed system. Communications of the ACM\u00a021(7), 558\u2013565 (1978)","journal-title":"Communications of the ACM"},{"key":"11_CR3","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1145\/1022471.1022474","volume-title":"Proceedings of the 3rd ACM SIGPLAN Workshop on Erlang","author":"M. Cronqvist","year":"2004","unstructured":"Cronqvist, M.: Troubleshooting a large Erlang system. In: Proceedings of the 3rd ACM SIGPLAN Workshop on Erlang, pp. 11\u201315. ACM, New York (2004)"},{"key":"11_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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: Chin, W.-N. (ed.) APLAS 2004. LNCS, vol.\u00a03302, pp. 91\u2013106. Springer, Heidelberg (2004)"},{"key":"11_CR5","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":"11_CR6","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":"11_CR7","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":"11_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1007\/3-540-49201-1_11","volume-title":"Practical Aspects of Declarative Languages","author":"H. Mattsson","year":"1999","unstructured":"Mattsson, H., Nilsson, H., Wikstr\u00f6m, C.: Mnesia - a distributed robust DBMS for telecommunications applications. In: Gupta, G. (ed.) PADL 1999. LNCS, vol.\u00a01551, pp. 152\u2013163. Springer, Heidelberg (1999)"},{"key":"11_CR9","unstructured":"Carlsson, R.: An introduction to Core Erlang. In: Proceedings of the PLI 2001 Workshop on Erlang (2001)"},{"issue":"4","key":"11_CR10","doi-asserted-by":"publisher","first-page":"715","DOI":"10.1145\/1146809.1146813","volume":"28","author":"R. Carlsson","year":"2006","unstructured":"Carlsson, R., Sagonas, K., Wilhelmsson, J.: Message analysis for concurrent programs using message passing. ACM Transactions on Programming Languages and Systems\u00a028(4), 715\u2013746 (2006)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"11_CR11","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1145\/122759.122767","volume-title":"Proceedings of the ACM\/ONR Workshop on Parallel and Distributed Debugging","author":"A. Dinning","year":"1991","unstructured":"Dinning, A., Schonberg, E.: Detecting access anomalies in programs with critical sections. In: Proceedings of the ACM\/ONR Workshop on Parallel and Distributed Debugging, pp. 85\u201396. ACM, New York (1991)"},{"key":"11_CR12","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1145\/268998.266641","volume-title":"Proceedings of the 16th ACM Symposium on Operating Systems Principles","author":"S. Savage","year":"1997","unstructured":"Savage, S., Burrows, M., Nelson, G., Sobalvarro, P., Anderson, T.: Eraser: A dynamic data race detector for multithreaded programs. In: Proceedings of the 16th ACM Symposium on Operating Systems Principles, pp. 27\u201337. ACM, New York (1997)"},{"key":"11_CR13","first-page":"167","volume-title":"Proceedings of the 9th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming","author":"R. O\u2019Callahan","year":"2003","unstructured":"O\u2019Callahan, R., Choi, J.D.: Hybrid dynamic data race detection. In: Proceedings of the 9th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pp. 167\u2013178. ACM, New York (2003)"},{"key":"11_CR14","unstructured":"Beckman, N.E.: A survey of methods for preventing race conditions (2006)"},{"key":"11_CR15","unstructured":"Sterling, N.: Warlock: A static data race analysis tool. In: Proceedings of the Usenix Winter Technical Conference, pp. 97\u2013106 (1993)"},{"key":"11_CR16","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1145\/945445.945468","volume-title":"Proceedings of the 19th ACM Symposium on Operating Systems Principles","author":"D. Engler","year":"2003","unstructured":"Engler, D., Ashcraft, K.: RacerX: Effective, static detection of race conditions and deadlocks. In: Proceedings of the 19th ACM Symposium on Operating Systems Principles, pp. 237\u2013252. ACM, New York (2003)"},{"key":"11_CR17","first-page":"258","volume-title":"Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation","author":"J.D. Choi","year":"2002","unstructured":"Choi, J.D., Lee, K., Loginov, A., O\u2019Callahan, R., Sarkar, V., Shidharan, M.: Efficient and precise datarace detection for multithreaded object oriented programs. In: Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 258\u2013269. ACM, New York (2002)"},{"key":"11_CR18","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1145\/1133981.1134018","volume-title":"Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation","author":"M. Naik","year":"2006","unstructured":"Naik, M., Aiken, A., Whaley, J.: Effective static race detection for Java. In: Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 308\u2013319. ACM, New York (2006)"},{"key":"11_CR19","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1145\/1287624.1287654","volume-title":"Proceedings of the 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering","author":"J.W. Voung","year":"2007","unstructured":"Voung, J.W., Jahla, R., Lerner, S.: Relay: static race detection of million of lines of code. In: Proceedings of the 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, pp. 205\u2013214. ACM, New York (2007)"},{"key":"11_CR20","unstructured":"Mathworks: Code verification and run-time error detection through abstract interpretation. White paper (2004)"},{"key":"11_CR21","volume-title":"Proceedings of the 14th ACM SIGPLAN International Conference on Functional Programming","author":"K. Claessen","year":"2009","unstructured":"Claessen, K., Pa\u0142ka, M., Smallbone, N., Hughes, J., Svensson, H., Arts, T., Wiger, U.: Finding race conditions in Erlang with QuickCheck and PULSE. In: Proceedings of the 14th ACM SIGPLAN International Conference on Functional Programming. ACM, New York (2009)"}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-11503-5_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,19]],"date-time":"2021-10-19T22:48:26Z","timestamp":1634683706000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-11503-5_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642115028","9783642115035"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-11503-5_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010]]}}}