go

swMATH16096MaRDI QIDQ27968FDOQ27968

Author name not available (Why is that?)

Official website: https://golang.org/ref/spec

Cited In (32)

• XFogSim
• Title not available (Why is that?)
• Automated test case generation for the paxos single-decree protocol using a coloured Petri net model
• Incremental analysis of logic programs with assertions and open predicates
• POSEIDON
• Refinement through restraint: bringing down the cost of verification
• The buffered \(\pi\)-calculus: a model for concurrent languages
• 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
• Cecil
• Exploiting parallelism in coalgebraic logic programming
• AUSPICE-R
• Eliom
• Akkaprof
• BPGen
• Paraperm
• ZooKeeper
• gradualizerDynamicSemantics
• Gopherlyzer
• TyPiCal
• iFogSim
• HEAAN
• IOzone
• Computing race variants in message-passing concurrent programming with selective receives
• Efficient bootstrapping for approximate homomorphic encryption with non-sparse keys
• FogNetSim++
• YAFS
• LPdoc
• Lattigo
• Informational Braess' paradox: the effect of information on traffic congestion
• Sharing of encrypted files in blockchain made simpler
• Why does Women's fertility end in mid-life? Grandmothering and age at last birth

This page was built for software: go