Go是一种通用语言,设计时考虑了系统编程。它是强类型的和垃圾回收的,并且明确支持并发编程。程序是由包构造的,包的属性允许对依赖项进行有效的管理。现有的实现使用传统的编译/链接模型来生成可执行的二进制文件。语法是紧凑和规则的,允许使用自动工具(如集成开发环境)轻松地进行分析。


zbMATH中的参考文献(参考文献10条)

显示第1到第10个结果,共10个。
按年份排序(引文)

  1. 塞尔维,S.沙米拉·德瓦;保罗,阿林吉塔;迪瑞萨拉,湿婆;巴苏,萨斯瓦塔;Rangan,C.Pandu:区块链中加密文件的共享变得更简单(2020)
  2. Buchman,Ethan:任何编程语言中的拜占庭容错状态机复制(2019)
  3. 金,彼得S。;麦昆,约翰S。;克里斯汀·霍克斯:为什么女性的生育能力会在中年结束?祖母和最后一个孩子的年龄(2019年)
  4. 王瑞;克里斯滕森,拉尔斯·迈克尔;梅林,海因;Stolz,Volker:使用有色Petri网模型为paxos单指令协议自动生成测试用例(2019年)
  5. 阿塞莫格鲁,达隆;阿里·马克杜米;马勒金,亚撒拉赫什;Ozdaglar,Asuman:信息布雷斯悖论:信息对交通拥堵的影响(2018)
  6. 伊加拉希,Atsushi(编辑):编程语言和系统。第14届亚洲研讨会,APLAS 2016,越南河内,2016年11月21日至23日。诉讼(2016)
  7. 奥康纳,利亚姆;陈子霖;里斯卡拉,克里斯汀;阿曼尼,西德尼;林,雅弗;托比,托比;长岛岛、裕隆岛;索厄尔,托马斯;Klein,Gerwin:《通过约束实现改进:降低验证成本》(2016)
  8. 斯塔德米勒,凯;苏尔兹曼,马丁;Thiemann,Peter:synchronous mini-go的基于静态跟踪的死锁分析(2016)
  9. Komendantskaya,叶卡捷琳娜;施密特,马丁;Heras,Jónathan:在coalgebraic逻辑编程中开发并行性(2014)
  10. 邓晓洁;张裕;邓玉欣;钟法荣:缓冲(\pi)-微积分:并发语言模型(2013)