Structure of a Proof-Producing Compiler for a Subset of Higher Order Logic
Abstract elided by the publisher.
976 papers · page 30 of 49
Controlling the What and Where of Declassification in Language-Based Security
Abstract elided by the publisher.
Abstract Predicates and Mutable ADTs in Hoare Type Theory
Abstract elided by the publisher.
Techniques for Contextual Equivalence in Higher-Order, Typed Languages
Abstract elided by the publisher.
Modular Shape Analysis for Dynamically Encapsulated Programs
Abstract elided by the publisher.
Interprocedurally Analysing Linear Inequality Relations
Abstract elided by the publisher.
Type-Based Analysis of Deadlock for a Concurrent Calculus with Interrupts
Abstract elided by the publisher.
A Core Calculus for a Comparative Analysis of Bio-inspired Calculi
Abstract elided by the publisher.
Step-Indexed Syntactic Logical Relations for Recursive and Quantified Types
Abstract elided by the publisher.
Flow Locks: Towards a Core Calculus for Dynamic Flow Policies
Abstract elided by the publisher.
A Basic Contract Language for Web Services
Abstract elided by the publisher.
Inference of User-Defined Type Qualifiers and Qualifier Rules
Abstract elided by the publisher.
Size-Change Termination Analysis in k-Bits
Abstract elided by the publisher.
Embedding Dynamic Dataflow in a Call-by-Value Language
Abstract elided by the publisher.
Types for Hierarchic Shapes
Abstract elided by the publisher.
Linear Regions Are All You Need
Abstract elided by the publisher.
Type Safety of Generics for the .NET Common Language Runtime
Abstract elided by the publisher.
Polymorphic Type Inference for the JNI
Abstract elided by the publisher.
Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions
Abstract elided by the publisher.
Type-Based Amortised Heap-Space Analysis
Abstract elided by the publisher.