1 paper · 1 filter
Henrich Lauko, Petr Ročkai, Jiří Barnat
Symbolic computation is an important approach in automated program analysis. Most state-of-the-art tools perform symbolic computation as interpreters and directly maintain symbolic…