Quantitative Expressiveness of Instruction Sequence Classes for Computation on Single Bit Registers
Close
Conţinutul numărului revistei
Articolul precedent
Articolul urmator
561 1
Ultima descărcare din IBN:
2019-10-09 15:47
Căutarea după subiecte
similare conform CZU
51+004 (28)
Mathematics (1639)
Computer science and technology. Computing. Data processing (4153)
SM ISO690:2012
BERGSTRA, Jan A.. Quantitative Expressiveness of Instruction Sequence Classes for Computation on Single Bit Registers. In: Computer Science Journal of Moldova, 2019, nr. 2(80), pp. 131-161. ISSN 1561-4042.
EXPORT metadate:
Google Scholar
Crossref
CERIF

DataCite
Dublin Core
Computer Science Journal of Moldova
Numărul 2(80) / 2019 / ISSN 1561-4042 /ISSNe 2587-4330

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

CZU: 51+004

Pag. 131-161

Bergstra Jan A.
 
University of Amsterdam
 
 
Disponibil în IBN: 22 septembrie 2019


Rezumat

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.