Published April 30, 2015 | Version FLOPS2014
Software Open

graph-comp: FLOPS 2014 paper

Creators

  • 1. University of Copenhagen

Description

Supplementary material for the FLOPS 2014 paper "Proving Correctness of Compilers Using Structured Graphs".

Files

graph-comp-FLOPS2014.zip

Files (12.4 kB)

Name Size Download all
md5:f44cf7fff509ca2745495307f0d1a578
12.4 kB Preview Download

Additional details

Related works

Is supplement to
https://github.com/pa-ba/graph-comp/tree/FLOPS2014 (URL)