Inference of Well-Typings for Logic Programs with Application to Termination Analysis
Abstract elided by the publisher.
783 papers · page 24 of 40
Memory Space Conscious Loop Iteration Duplication for Reliable Execution
Abstract elided by the publisher.
Memory Usage Verification for OO Programs
We present a new type system for an object-oriented (OO) language that characterizes the sizes of data structures and the amount of heap memory required to successfully execute methods that operate on these data structures. Key components of this type system include type assertio…
Abstraction Refinement for Termination
Abstract elided by the publisher.
Data-Abstraction Refinement: A Game Semantic Approach
Abstract elided by the publisher.
Locality-Based Abstractions
Abstract elided by the publisher.
Type-Safe Optimisation of Plugin Architectures
Abstract elided by the publisher.
From Typed Process Calculi to Source-Based Security
Abstract elided by the publisher.
Using Dependent Types to Certify the Safety of Assembly Code
Abstract elided by the publisher.
The PER Model of Abstract Non-interference
Abstract elided by the publisher.
A Relational Abstraction for Functions
Abstract elided by the publisher.
Taming False Alarms from a Domain-Unaware C Analyzer by a Bayesian Statistical Post Analysis
Abstract elided by the publisher.
Banshee: A Scalable Constraint-Based Analysis Toolkit
Abstract elided by the publisher.
A Generic Framework for Interprocedural Analysis of Numerical Properties
Abstract elided by the publisher.
Finding Basic Block and Variable Correspondence
Abstract elided by the publisher.
Boolean Heaps
Abstract elided by the publisher.
Interprocedural Shape Analysis for Cutpoint-Free Programs
Abstract elided by the publisher.
Understanding the Origin of Alarms in Astrée
Abstract elided by the publisher.
Pair-Sharing Analysis of Object-Oriented Programs
Abstract elided by the publisher.
Exploiting Sparsity in Polyhedral Analysis
Abstract elided by the publisher.