Quantitative Expressiveness of Instruction Sequence Classes for Computation on Single Bit Registers
Programming Languages
2019-04-19 v1
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 are established. A dedicated notion of interface is developed and is used for stating relevant properties of classes of instruction sequences
Cite
@article{arxiv.1904.08722,
title = {Quantitative Expressiveness of Instruction Sequence Classes for Computation on Single Bit Registers},
author = {Jan A. Bergstra},
journal= {arXiv preprint arXiv:1904.08722},
year = {2019}
}