Pure Pattern Calculus
Abstract elided by the publisher.
976 papers · page 31 of 49
ILC: A Foundation for Automated Reasoning About Pointer Programs
Abstract elided by the publisher.
Bisimulations for Untyped Imperative Objects
Abstract elided by the publisher.
Path Optimization in Programs and Its Application to Debugging
Abstract elided by the publisher.
A Verification Methodology for Model Fields
Abstract elided by the publisher.
Coinductive Big-Step Operational Semantics
Abstract elided by the publisher.
The Weird World of Bi-directional Programming
Abstract elided by the publisher.
Haskell Is Not Not ML
Abstract elided by the publisher.
Types for Dynamic Reconfiguration
Abstract elided by the publisher.
Approaches to Polymorphism in Classical Sequent Calculus
Abstract elided by the publisher.
A Typed Assembly Language for Confidentiality
Abstract elided by the publisher.
BI Hyperdoctrines and Higher-Order Separation Logic
Abstract elided by the publisher.
Deciding Reachability in Mobile Ambients
Abstract elided by the publisher.
Enforcing Resource Bounds via Static Verification of Dynamic Checks
Abstract elided by the publisher.
Computationally Sound, Automated Proofs for Security Protocols
Abstract elided by the publisher.
The ASTREÉ Analyzer
Abstract elided by the publisher.
A Type Discipline for Authorization Policies
Abstract elided by the publisher.
Adjoining Declassification and Attack Models by Abstract Interpretation
Abstract elided by the publisher.
Completing the Picture: Soundness of Formal Encryption in the Presence of Active Adversaries
Abstract elided by the publisher.
Java Jr: Fully Abstract Trace Semantics for a Core Java Language
Abstract elided by the publisher.