Partial Evaluation Applied to Symbolic Pattern Matching with Intelligent Backtrack (1992)

by C Queinnec, J-M Geffroy
Venue:Workshop in Static Analysis, number 81–82 in Bigre