Date: 1999-11-02 01:07:11Logic Mathematical logic First-order logic Model theory Predicate logic Symbol Computability Finite-state machine Linear temporal logic Automata theory Models of computation Theoretical computer science | | A Type System for Expressive Security Policies∗ David Walker Cornell University Strong type systems such as those of Java or ML provide provable guarantees about the run-time behaviour of programs. If we type check proAdd to Reading ListSource URL: www.cs.cornell.eduDownload Document from Source Website File Size: 219,60 KBShare Document on Facebook
|