Gopherlyzer

MaRDI QIDQ34990swMATHFDO

Official website https://github.com/KaiSta/gopherlyzer

Source code repository https://github.com/KaiSta/gopherlyzer

Cited in

(8)

• Static trace-based deadlock analysis for synchronous Mini-Go
• go
• AUSPICE-R
• Eliom
• Akkaprof
• BPGen
• TyPiCal
• Programming languages and systems. 14th Asian symposium, APLAS 2016, Hanoi, Vietnam, November 21--23, 2016. Proceedings

This page was built for software: Gopherlyzer