On the Simplification and Equivalence Problems for Straight-Line Programs
From MaRDI portal
Publication:3763569
DOI10.1145/2402.322396zbMath0627.68013MaRDI QIDQ3763569
Brian S. Leininger, Oscar H. Ibarra
Publication date: 1983
Published in: Journal of the ACM (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/2402.322396
68Q60: Specification and verification (program logics, model checking, etc.)
03B35: Mechanization of proofs and logical operations
Related Items
On the complexity of commutativity analysis, Straight-line instruction sequence completeness for total calculation on cancellation meadows