Gopherlyzer

swMATH23206MaRDI QIDQ34990FDOQ34990

Author name not available (Why is that?)

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
• Programming languages and systems. 14th Asian symposium, APLAS 2016, Hanoi, Vietnam, November 21--23, 2016. Proceedings
• go
• AUSPICE-R
• Eliom
• Akkaprof
• BPGen
• TyPiCal

This page was built for software: Gopherlyzer