Static Trace-Based Deadlock Analysis for Synchronous Mini-Go

Kai Stadtmüller, Martin Sulzmann, Peter Thiemann

We consider the problem of static deadlock detection for programs in the Go programming language which make use of synchronous channel communications. In our analysis, regular expr…