3 citations · 5 across the 9 of their papers we have counts for
4 papers · 1 filter
An Efficient Cyclic Entailment Procedure in a Fragment of Separation Logic
Quang Loc Le, Xuan-Bach D. Le
An efficient entailment proof system is essential to compositional verification using separation logic. Unfortunately, existing decision procedures are either inexpressive or ineff…
Bi-Abduction for Shapes with Ordered Data
Christopher Curry, Quang Loc Le
Shape analysis is of great importance for the verification of the correctness and memory-safety of heap-manipulating programs, yet such analyses have been shown to be highly diffic…
Decidable Logics Combining Word Equations, Regular Expressions and Length Constraints
Quang Loc Le
In this work, we consider the satisfiability problem in a logic that combines word equations over string variables denoting words of unbounded lengths, regular languages to which w…
A Decision Procedure for String Logic with Equations, Regular Membership and Length Constraints
Quang Loc Le
In this paper, we consider the satisfiability problem for string logic with equations, regular membership and Presburger constraints over length functions. The difficulty comes fro…