Static analysis based on formal models and incremental computation in Go programming

Katsuhiko Nakamura. Static analysis based on formal models and incremental computation in Go programming. Theoretical Computer Science, 349(2):184-201, 2005. [doi]

Abstract

Abstract is missing.