Static analysis based on formal models and incremental computation in Go programming

DOI10.1016/j.tcs.2005.09.046zbMath1086.68594OpenAlexW2005245265MaRDI QIDQ817794

Katsuhiko Nakamura

Publication date: 20 March 2006

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2005.09.046

zbMATH Keywords

Euler's formulaincremental computationset operationcapturing racelife and deathSemeai graph

Mathematics Subject Classification ID

Games involving graphs (91A43) Semantics in the theory of computing (68Q55) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Cites Work

• Learning to score final positions in the game of Go
• Local Properties of Binary Images in Two Dimensions
• Unnamed Item
• Unnamed Item

This page was built for publication: Static analysis based on formal models and incremental computation in Go programming