A Decision Procedure for String to Code Point Conversion

Andrew Reynolds, Andres Noetzli, Clark Barrett, Cesare Tinelli

This site provides our paper A Decision Procedure for String to Code Point Conversion and related material at IJCAR 2020.

All materials to reproduce the experimental evaluation in our paper can be found below.

Downloads

• Paper at IJCAR 2020
• README for the artifact
• Artifact [tar.xz]