| A Query Language Based on the Ambient Logic Probabilistic Polynomial-Time Process Calculus and Security Protocol Analysis A Systematic Approach to Static Access Control Secure Information Flow and CPS Enforcing Safety Properties Using Type Specialization Semantics and Program Analysis of Computationally Secure Information Flow Encoding Intensional Type Analysis Fusion on Languages Programming the Web with High-Level Programming Languages On the Completeness of Model Checking Modal Transition Systems：A Foundation for Three-Valued Program Analysis Entailment with Conditional Equality Constraints On the Complexity of Constant Propagation What Are Polymorphically-Typed Ambients？ JOIN（X）：Constraint-Based Type Inference for the Join-Calculus Modular Causality in a Synchronous Stream Language Control-Flow Analysis in Cubic Time The Recursive Record Semantics of Objects Revisited A Formalisation of Java's Exception Mechanism A Formal Executable Semantics of the JavaCard Platform Modeling an Algebraic Stepper Typestate Checking of Machine Code Proof-Directed De-compilation of Low-Level Code Backwards Abstract Interpretation of Probabilistic Programs Tool Demonstration：Finding Duplicated Code Using Program Dependences Compiling Problem Specifications into SAT Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling The Def-inite Approach to Dependency Analysis Author Index |
内容加载中，请稍后...
商品评论（0条）