Sea-of-Nodes
A companion web page

This page collects our results about the Sea-of-Nodes IR.

Papers

• Semantic Reasoning about the Sea of Nodes, D. Demange, Y. Fernández de Retana, D. Pichardie, CC 2018. [.pdf]

Formalization in Coq

• Download the last stable version of the Coq development [.tar.gz]
  The README contains information on compiling the code, as well as an overview of the files with descriptions.