Quantitative Expressiveness of Instruction Sequence Classes for Computation on Single Bit Registers
| Authors | |
|---|---|
| Publication date | 2019 |
| Journal | Computer Science Journal of Moldova |
| Volume | Issue number | 27 | 2 (80) |
| Pages (from-to) | 131-161 |
| Organisations |
|
| Abstract | The number of instructions of an instruction sequence is taken for its logical SLOC, and is abbreviated with LLOC. A notion of quantitative expressiveness is based on LLOC and in the special case of operation over a family of single bit registers a collection of elementary properties is established. A dedicated notion of interface is developed and used for stating relevant properties of classes of instruction sequences. |
| Document type | Article |
| Language | English |
| Published at | http://www.math.md/en/publications/csjm/issues/v27-n2/12969/ |
| Downloads |
v27-n2-(pp131-161)
(Final published version)
|
| Permalink to this page | |
