P. Geffroy

According to our database, P. Geffroy authored at least 1 paper in 1992.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1992

Partial Evaluation applied to Symbolic Pattern Matching with Intelligent Backtrack.

Christian Queinnec, P. Geffroy

Proceedings of the Actes WSA'92 Workshop on Static Analysis (Bordeaux, 1992