Bell Laboratories / Ericsson AB / T-Mobile U.K. / Nortel / T-Mobile / /
Country
Germany / United Kingdom / Sweden / / /
Facility
Prentice Hall / Information Technology Uppsala University / library of Erlang/OTP / /
IndustryTerm
Software evolution / push-button technology / telecommunications domain / defect detection tools / lightweight static analysis tool / software model checking / software bugs / telecommunications industry / large commercial applications / telecommunications applications / static analysis tool / defect detection tool / detection tools / Web Server / type systems / employed type systems / telecom applications / large-scale commercial applications / software development / software defects / /
OperatingSystem
Unix / /
Organization
Swedish Research Council / General Packet Radio Service / Information Technology Uppsala University / Erlang Applications Konstantinos Sagonas Department / /
Person
Tobias Lindahl / Murray Hill / W. R. Bush / Verification / / /
Position
author / editor / Programming / original author / editor / guard / Model / programmer / /
ProgrammingLanguage
Haskell / Lisp / Erlang / C / ML / /
Technology
virtual machine / push-button technology / Information Technology / API / database management system / ATM / DBMS / web server / GUI / /
Experience from Developing the Dialyzer: A Static Analysis Tool Detecting Defects in Erlang Applications Konstantinos Sagonas Department of Information Technology Uppsala University, Sweden