IMI/Publicaţii/CSJM/Ediţii/CSJM v.27, n.2 (80), 2019/

Quantitative Expressiveness of Instruction Sequence Classes for Computation on Single Bit Registers

Authors: Jan A. Bergstra


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.

Informatics Institute, Faculty of Science, University of Amsterdam
Science Park 904, 1098 XH, Amsterdam, The Netherlands
E-mail: ,


Adobe PDF document0.21 Mb