Analysis of an Electronic Voting Protocol in the Applied Pi Calculus
Abstract elided by the publisher.
976 papers · page 32 of 49
Automatic Verification of Pointer Programs Using Grammar-Based Shape Analysis
Abstract elided by the publisher.
Forward Slicing by Conjunctive Partial Deduction and Argument Filtering
Abstract elided by the publisher.
Determinacy Inference for Logic Programs
Abstract elided by the publisher.
Instant Polymorphic Type Systems for Mobile Process Calculi: Just Add Reduction Rules and Close
Abstract elided by the publisher.
Trace Partitioning in Abstract Interpretation Based Static Analyzers
Abstract elided by the publisher.
Analysis of Modular Arithmetic
Abstract elided by the publisher.
Interprocedural Herbrand Equalities
Abstract elided by the publisher.
Programming with Explicit Security Policies
Abstract elided by the publisher.
A Type System Equivalent to a Model Checker
Abstract elided by the publisher.
Complexity of Subtype Satisfiability over Posets
Abstract elided by the publisher.
Summaries for While Programs with Recursion
Abstract elided by the publisher.
A New Foundation for Control-Dependence and Slicing for Modern Program Structures
Abstract elided by the publisher.
Denotational Semantics for Abadi and Leino's Logic of Objects
Abstract elided by the publisher.
Subtyping First-Class Polymorphic Components
Abstract elided by the publisher.
Bottom-Up beta-Reduction: Uplinks and lambda-DAGs
Abstract elided by the publisher.
Towards a Type System for Analyzing JavaScript Programs
Abstract elided by the publisher.
A Design for a Security-Typed Language with Certificate-Based Declassification
Abstract elided by the publisher.
Streams with a Bottom in Functional Languages
Abstract elided by the publisher.
Asserting Bytecode Safety
Abstract elided by the publisher.