A Truly Concurrent Semantics for the K Framework Based on Graph Transformations

A Truly Concurrent Semantics for the K Framework Based on Graph TransformationsTraian Florin S, erbănut,ă and Grigore Ros, uUniversity “Alexandru Ioan Cuza” Ias, i University of Illinois at Urbana-ChampaignTraian Florin S, erbănut,ă and Grigore Ros, u A Truly Concurrent Semantics for K 1 / 18KThe K Framework http://k-framework.orgWhat is K? A tool-supported rewrite-based framework for defining programming language design and semantics.Why?Programming languages must have formal semantics! And