Partial Evaluation applied to Symbolic Pattern Matching with Intelligent Backtrack.

Christian Queinnec, P. Geffroy

Browse the full SAS paper archive.