1 paper · 1 filter
Mateo Sanabria, Carlos Varela, Camilo Rocha +1
In the rewriting logic framework, equational-based specifications are used to define deterministic functional behavior, abstract data types, and canonical representations of data.…