New journal article on how model consistency can serve as a heuristic for eventual correctness
Our article Model consistency as a heuristic for eventual correctness, co-authored by Hans Vangheluwe and Eugene Syriani has been accepted for publication in the Journal of Computer Languages (COLA). Pre-print …