Invariants

Paper accepted at VL/HCC

April 20, 2014

Our paper on bidirectional spreadsheet formulas has been accepted at IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC).

Paper accepted at RAMiCS

June 20, 2012

Our paper on relations as executable specifications has been accepted at the International Conference Relational and Algebraic Methods in Computer Science (RAMiCS).