Project MAC: Recent submissions

Now showing items 16-18 of 176

    • Naming and Protection in Extendable Operating Systems 

      Redell, David D. (1974-11)
      The properties of capability-based extendible operating systems are described, and various aspects of such systems are discussed, with emphasis on the conflict between free distribution of access privileges and later ...

    • Nondeterministic Time and Space Complexity Classes 

      Seiferas, Joel Irvin (1974-09)
      The marginal utility of the Turing machine computational resources running time and storage space are studied. A technique is developed which, unlike diagonalization, applies equally well to nondeterministic and deterministic ...

    • Functional Domains of Applicative Languages 

      Ward, Stephen A. (1974-09)
      The expressive power of a particular applicative language may be characterized by the set of abstract functions directly representable in that language. The common FUNARG and applicative order problems are scrutinized in ...