Another times Macro Instruction
نویسنده
چکیده
The semantics of the times macro is given in [2] only for the case when the body of the macro is parahalting. We remedy this by defining a new times macro instruction in terms of while (see [9, 13]). The semantics of the new times macro is given in a way analogous to the semantics of while macros. The new times uses an anonymous variable to control the number of its executions. We present two examples: a trivial one and a remake of the macro for the Fibonacci sequence (see [12]).
منابع مشابه
On the Composition of Non-parahalting Macro Instructions
An attempt to use the Times macro, [2], was the origin of writing this article. First, the semantics of the macro composition as developed in [23, 3, 4] is extended to the case of macro instructions which are not always halting. Next, several functors extending the memory handling for SCMFSA, [18], are defined; they are convenient when writing more complicated programs. After this preparatory w...
متن کاملWhile Macro Instructions of SCMFSA
(1) For every macro instruction I and for every integer location a holds card(if a = 0 then I; Goto(insloc(0)) else (StopSCMFSA)) = card I +6. (2) For every macro instruction I and for every integer location a holds card(if a > 0 then I; Goto(insloc(0)) else (StopSCMFSA)) = card I +6. Let a be an integer location and let I be a macro instruction. The functor while a = 0 do I yields a macro inst...
متن کاملThe while Macro Instructions of SCMFSA. Part II
An attempt to use the while macro, [14], was the origin of writing this article. The while semantics, as given by J.-C. Chen, is slightly extended by weakening its correctness conditions and this forced a quite straightforward remake of a number of theorems from [14]. Numerous additional properties of the while macro are then proven. In the last section, we define a macro instruction computing ...
متن کاملMacro-instruction generation for dynamic logic caching
This paper outlines the synthesis of macro-instructions for dynamically reprogrammable FPGAs so that they may be easily generated, placed, and garbage collected at run-time. An overview of a dynamic logic caching computer that uses these macro-instructions is given and their use within this environment discussed. The synthesis of macro-instructions is illustrated with a basic example. Finally, ...
متن کاملDiurnal variations in milk macro-mineral concentrations in Holstein dairy cows in Urmia, Iran
Milk samples from high and low milk producer Holstein cows, were obtained during the morning and afternoon milking over a one week period. Overall, 1064 samples were tested within 14 times sampling in Urmia, Iran. Milk macro-mineral concentrations in the morning milking and in low producers were greater than in the afternoon and in high producers. The highest and lowest concentrations were obse...
متن کامل