Using Static Analysis to Detect Type Errors and Concurrency Defects in Erlang Programs

Sagonas, K

dc.contributor.author	Sagonas, K	en
dc.date.accessioned	2014-03-01T02:52:32Z
dc.date.available	2014-03-01T02:52:32Z
dc.date.issued	2010	en
dc.identifier.uri	https://dspace.lib.ntua.gr/xmlui/handle/123456789/35914
dc.subject	dataflow analysis	en
dc.subject	Defect Detection	en
dc.subject	Design and Implementation	en
dc.subject	Dynamic Typing	en
dc.subject	IT Adoption	en
dc.subject	Lessons Learned	en
dc.subject	Open Source	en
dc.subject	Race Condition	en
dc.subject	Static Analysis	en
dc.subject	Static Analysis Tools	en
dc.subject	Type Checking	en
dc.subject	Type Inference	en
dc.title	Using Static Analysis to Detect Type Errors and Concurrency Defects in Erlang Programs	en
heal.type	conferenceItem	en
heal.identifier.primary	10.1007/978-3-642-12251-4_2	en
heal.identifier.secondary	http://dx.doi.org/10.1007/978-3-642-12251-4_2	en
heal.publicationDate	2010	en
heal.abstract	This invited talk will present the key ideas in the design and implementation of Dialyzer, a static analysis tool for Erlang programs. Dialyzer started as a defect detection tool using a rather ad hoc dataflow analysis to detect type errors in Erlang programs, but relatively early in its development it adopted a more disciplined approach to detecting definite type clashes	en
heal.journalName	Fuji International Symposium on Functional and Logic Programming	en
dc.identifier.doi	10.1007/978-3-642-12251-4_2	en