We investigate decidability, complexity and expressive power issues for (first-order) separation logic with one record field (herein called SL) and its fragments. SL can specify properties about the memory heap of programs with singly-linked lists. Separation logic with two record fields is known to be undecidable by reduction of finite satisfiability for classical predicate logic with one bina...

the question of being as the reference of hermeneutics is more radical than the question of interpretation in hermeneutics. being in hermeneutics becomes displayed within a text, without which no interpretation would be possible. as i have discussed in my book the authenticity of the text in hermeneutics , the text as the reference and the source of legitimacy in hermeneutics deserves priority ...

The traditional UNIX security model is simple but inexpressive. Adding fine-grained access control improvest he expressiveness, but often dramatically increases both the cost of system management and implementation complexity.I nenvironments with a more complexman-agement model, with delegation of some management functions to parties under varying degrees of trust, the base UNIX model and most ...

Six partially dominant antisuppressors were obtained that reduce the efficiency of two omnipotent yeast suppressors, sup45 and sup35, thought to be ribosomal ambiguity mutations. Each of these six antisuppressors was shown to fall within a single Mendelian locus, named asu9. The asu9 mutations are specific for omnipotent suppressors; they have no effect on several dominant tRNA-like suppressors...

An omnipotent being would be a being whose power was unlimited. The power of human beings is limited in two distinct ways: we are limited with respect to our freedom of will, and we are limited in our ability to execute what we have willed. These two distinct sources of limitation suggest a simple definition of omnipotence: an omnipotent being is one that has both perfect freedom of will and pe...

heeded the advice of Behan and recognized the myth of the omnipotent forester, or are we neglecting this advice thereby creating the reality of the impotent for-