Activitiy

• 2015-08-25 TUE 14:17 BST

  Extended version (before FLOPS 15p limit) pdf is snapshot here:

  https://www.dropbox.com/s/ss0qayum02o8o3e/beforeTrimFLOPS15.pdf?dl=0

  Because of the trimmed down. Get rid of STLC and start from HM right away.

  Tagged as beforeTrimFLOPS15 in master, Also making a branch for possible journal version.

Source files

• main.tex

  main LaTeX file including files below

• intro.tex

  first introduction section separted out

• relwrok.tex

  related work section separted out