16 citations · 47 across the 13 of their papers we have counts for
1 paper · 2 filters
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.…