An Efficient Equivalence-checking Algorithm for a Model of Programs with Commutative and Absorptive Statements
Podymov, Vladislav, Czaja, Ludwik, Penczek, Wojciech, Stencel, KrzysztofVolume:
147
Language:
english
Journal:
Fundamenta Informaticae
DOI:
10.3233/FI-2016-1410
Date:
November, 2016
File:
PDF, 374 KB
english, 2016