An Efficient Equivalence-checking Algorithm for a Model of Programs with Commutative and Absorptive Statements (Q4589207)
From MaRDI portal
!
WARNING
This is the item page for this Wikibase entity, intended for internal use and editing purposes.
Please use the normal view instead:
scientific article; zbMATH DE number 6804728
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | An Efficient Equivalence-checking Algorithm for a Model of Programs with Commutative and Absorptive Statements |
scientific article; zbMATH DE number 6804728 |
Statements
An Efficient Equivalence-checking Algorithm for a Model of Programs with Commutative and Absorptive Statements (English)
0 references
9 November 2017
0 references
program models
0 references
equivalence checking
0 references
semigroups
0 references
commutativity
0 references
left absorption
0 references
0.9205572
0 references
0.8967815
0 references
0.89523757
0 references
0.8909745
0 references
0.8784859
0 references
0.8745296
0 references
0.87113625
0 references
0.8705293
0 references
0.86984867
0 references
0.86884105
0 references
