Search Results

AUTHOR:	`BUI PHI DIEP`
Found 1 entry

Flatten and conquer: a framework for efficient analysis of string constraints
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Lukas Holik, Ahmed Rezine, Philipp Rummer
PLDI 2017 Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation

( ! ) perl script by Giovanni Squillero with modifications from Gert Jervan (v3.1, p5.2, September-2002-)