Go is a general-purpose language designed with systems programming in mind. It is strongly typed and garbage-collected and has explicit support for concurrent programming. Programs are constructed from packages, whose properties allow efficient management of dependencies. The existing implementations use a traditional compile/link model to generate executable binaries. The grammar is compact and regular, allowing for easy analysis by automatic tools such as integrated development environments.
Keywords for this software
References in zbMATH (referenced in 3 articles )
Showing results 1 to 3 of 3.
- Stadtmüller, Kai; Sulzmann, Martin; Thiemann, Peter: Static trace-based deadlock analysis for synchronous mini-go (2016)
- Komendantskaya, Ekaterina; Schmidt, Martin; Heras, Jónathan: Exploiting parallelism in coalgebraic logic programming (2014)
- Deng, Xiaojie; Zhang, Yu; Deng, Yuxin; Zhong, Farong: The buffered $\pi$-calculus: a model for concurrent languages (2013)