Comments on: Synthesizing data structure grammars from separation logic predicates and vice versa

Comments on: Synthesizing data structure grammars from separation logic predicates and vice versa http://www.algosyn.rwth-aachen.de hourly 1 http://wordpress.org/?v=3.6.1