An Efficient Equivalence-checking Algorithm for a Model of Programs with Commutative and Absorptive Statements
From MaRDI portal
Publication:4589207
DOI10.3233/FI-2016-1410zbMath1373.68180OpenAlexW2398836986MaRDI QIDQ4589207
Publication date: 9 November 2017
Published in: Fundamenta Informaticae (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.3233/fi-2016-1410
Related Items (1)
This page was built for publication: An Efficient Equivalence-checking Algorithm for a Model of Programs with Commutative and Absorptive Statements