Login / Signup

Flatten and conquer: a framework for efficient analysis of string constraints.

Parosh Aziz AbdullaMohamed Faouzi AtigYu-Fang ChenBui Phi DiepLukás HolíkAhmed RezinePhilipp Rümmer
Published in: PLDI (2017)
Keyphrases