In this paper, an impure language is one that combines functional and imperative constructs. The language may be sequential or concurrent. We present a method for ensuring termination of impure languages that makes it possible to combine term rewriting measure-based techniques with traditional approaches for termination in functional languages such as logical relations. The method can be made p...

Surrogates or internal identifiers can be made to facilitate both fast access and storage independence if they are implemented properly. Such an implementation is discussed here; it permits the tuplcs of a relation to be accessed very fast by primary key for both random and sequential search without retarding the performance of secondary keys. It employs a key compression and a hasiiing algorit...

Human society and its religions and cultures have laid out numerous guidelines, often involving dietary restrictions (Deut. 14:4-5; Lev. 11:2-7). One such set of restrictions still observed by many Jews today relates to the distinction between pure and impure, edible and forbidden mammals (Talmud Bavli, Avoda Zara 35b). The ancient Jewish dietary laws (kashrut) have often perplexed both gentile...

use of impure acids containing arsenic used for the manufacture of glucose and " invert" sugar. The number of cases amounted to over 6,000 and of deaths to at least 70. Many deaths returned as due to, "alcoholic neuritis" "alcoholism," "locomotor ataxy," &c., were probably caused by arsenical poisoning. Since the exposure of the cause of the outbreak and discontinuance of the use of impure acid...

This paper studies the long-run aggregate and welfare effects of eliminating Social Security in a quantitative dynamic general equilibrium life-cycle model where parents and their children are linked by voluntary and accidental bequests. Social security in this model with impure altruism has a smaller effect on capital accumulation than in a pure life-cycle model, a bigger effect than in a mode...

During a study of the reduction of cytochrome c by milk xanthine oxidase, it was observed that relatively impure preparations of cytochrome c were reduced more slowly than highly purified preparations. This difference was found to relate to the presence, in impure preparations, of a potent inhibitor of the reduction of cytochrome c by xanthine oxidase. This inhibitor was of interest because its...