Abstract: The theory of arrays is ubiquitous in the context of software and hardware verification and symbolic analysis. The basic array theory was introduced by McCarthy and allows to symbolically ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results