Reference Library (RefLib)
The "Counter machine reference model" library, or RefLib, is a set of conventions chosen to:
- Specify the "instruction labels";
- Specify the syntax (effective symbol-strings) of these labels;
- Specify the semantics (meaning, content) of the labels and demonstrate equivalences.
Through the RefLib other instruction sets from similar register machine models can be emulated. In a sense the new instructions become "subroutines" of the "base" instructions -- Shepherdson-Sturgis (1963) used this strategy in their demonstration that the three base instructions form a set that is equivalent to the primitive recursive functions. The RefLib may be seen also as a microcoded implementation strategy: the same counter machine is augmented by new instructions from instruction set; it is not a new machine.
The RefLib scripts (instruction implementations) are "near to formal". For a precise demonstration imagine the use of a C preprocessor to expand the RefLib script templates into standard instructions.
Read more about this topic: Counter Machine Reference Model
Famous quotes containing the words reference and/or library:
“These roses under my window make no reference to former roses or to better ones; they are for what they are; they exist with God to-day. There is no time to them. There is simply the rose; it is perfect in every moment of its existence.”
—Ralph Waldo Emerson (1803–1882)
“The fear of failure is so great, it is no wonder that the desire to do right by one’s children has led to a whole library of books offering advice on how to raise them.”
—Bruno Bettelheim (20th century)