2010
DOI: 10.1007/978-3-642-11503-5_11 View full text |Buy / Rent full text
|
|

Abstract: Abstract. We address the problem of detecting some commonly occurring kinds of race conditions in Erlang programs using static analysis. Our analysis is completely automatic, fast and scalable, and avoids false alarms by taking language characteristics into account. We have integrated our analysis in dialyzer, a commonly used tool for detecting software defects in Erlang programs which is part of Erlang/OTP, and evaluate its effectiveness and performance on a suite of widely used industrial and open source pro… Show more

Help me understand this report

Search citation statements

Order By: Relevance
Select...
0
19
0

Publication Types

Select...

Relationship

0
0

Authors

Journals