Project MAC: Recent submissions

Now showing items 19-21 of 176

    • Semantics of Data Structures and References 

      Ellis, David J. (1974-08)
      Each programming language that handles data structures has its own set of rules for working with them. Notions such as assignment and construction of structures values appear in a huge number of different and complicated ...

    • Removing the Dynamic Linker from the Security Kernel of a Computing Utility 

      Jason, Philippe Arnaud (1974-06)
      In order to enforce the security of the information stored in a computing utility, it is necessary to certify that the protection mechanism is correctly implemented so that there exist no uncontrolled access path to the ...

    • Mathematical Logic for Computer Scientists 

      Levin, Michael (1974-06)
      This book is an introductory course in mathematical logic covering basic topics in quantification theory and recursive function theory, and is intended for the reader who is interested in artificial intelligence, computer ...