Generalization of Z3-Noodler's stabilization method to transducers enables efficient solving of relational string constraints and outperforms prior solvers by solving more instances orders of magnitude faster.
In: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI 2021)
3 Pith papers cite this work, alongside 24 external citations. Polarity classification is still indexing.
3
Pith papers citing it
24
external citations · external index
verdicts
UNVERDICTED 3representative citing papers
QCP combines automatic separation logic verification with Rocq interactive proving for C programs via annotations and a VS Code extension.
Survey presenting a classification framework for ten quantum programming languages with conceptual and experimental comparisons leading to a list of design challenges.
citing papers explorer
-
String Solving with Stabilization and Transducers (Technical Report)
Generalization of Z3-Noodler's stabilization method to transducers enables efficient solving of relational string constraints and outperforms prior solvers by solving more instances orders of magnitude faster.
-
QCP: A Practical Separation Logic-based C Program Verification Tool
QCP combines automatic separation logic verification with Rocq interactive proving for C programs via annotations and a VS Code extension.
-
A Survey of Quantum Programming Languages
Survey presenting a classification framework for ten quantum programming languages with conceptual and experimental comparisons leading to a list of design challenges.