Relational Abstract Domain of Weighted Hexagons

Jedrzej Fulara, Konrad Durnoga, Krzysztof Jakubczyk, Aleksy Schubert. Relational Abstract Domain of Weighted Hexagons. Electronic Notes in Theoretical Computer Science, 267(1):59-72, 2010. [doi]

Abstract

Abstract is missing.