RO EN
Quantitative Expressiveness of Instruction Sequence Classes for Computation on Single Bit Registers
Authors: Jan A. Bergstra
– 0.21 Mb
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.Informatics Institute, Faculty of Science, University of Amsterdam
Science Park 904, 1098 XH, Amsterdam, The Netherlands
E-mail: ,
Science Park 904, 1098 XH, Amsterdam, The Netherlands
E-mail: ,
Fulltext
– 0.21 Mb
Contents
- Quantitative Expressiveness of Instruction Sequence Classes for Computation on Single Bit Registers
- Completeness of the First-Order Logic of Partial Quasiary Predicates with the Complement Composition
- New Bounds For Degree Sequence Of Graphs
- On the signed Italian domination of graphs
- A Novel Hybrid Algorithm for Minimizing Total Weighted Tardiness Cost
- Mixed Algorithm for Combinations Generation
- In memoriam of Yurii Rogozhin
