arXiv Open Access 2015

On instruction sets for Boolean registers in program algebra

J. A. Bergstra C. A. Middelburg

Lihat Sumber

Abstrak

In previous work carried out in the setting of program algebra, including work in the area of instruction sequence size complexity, we chose instruction sets for Boolean registers that contain only instructions of a few of the possible kinds. In the current paper, we study instruction sequence size bounded functional completeness of all possible instruction sets for Boolean registers. We expect that the results of this study will turn out to be useful to adequately assess results of work that is concerned with lower bounds of instruction sequence size complexity.

Topik & Kata Kunci

cs.PL

Penulis (2)

J. A. Bergstra

C. A. Middelburg

Format Sitasi

APA MLA BibTeX

Bergstra, J.A., Middelburg, C.A. (2015). On instruction sets for Boolean registers in program algebra. https://arxiv.org/abs/1502.00238

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2015
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓