Computer Science and Artificial Intelligence Lab (CSAIL): Recent submissions

Now showing items 337-339 of 3794

    • A Framework for Incorporating Abstraction Mechanisms into the Logic Programming Paradigm 

      Zachary, Joseph Lawrence (1987-08)
      To help make logic programming more suitable for writing large systems, we develop linguistic mechanisms that permit the organization of logic programs around abstractions. In particular, we present the design of Danali, ...

    • Rule Based Analysis of Computer Security 

      Baldwin, Robert W. (1988-03)
      Computers are rarely as secure as they could be. Users are lax or inconsistent in the way they configure a computer's protection system, and these user mistakes often lead to serious security holes. For example, a ...

    • Argus Reference Manual 

      Liskov, Barbara; Day, M.; Herlihy, M.; Johnson, P.; Leavens, G. (1987-11)
      Argus is an experimental language/system designed to support the construction and execution of distributed programs. Argus is intended to support only a subset of the applications that could benefit from being implemented ...