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

Cached

Download Links

by Christian Queinnec , Jean-marie Geffroy
Venue:Workshop in Static Analysis, number 81–82 in Bigre
Citations:1 - 0 self