Collaborated with:
C.Queinnec
Talks about:
backtrack (1) intellig (1) pattern (1) partial (1) symbol (1) match (1) evalu (1) appli (1)
Person: P. Geffroy
DBLP: Geffroy:P=
Contributed to:
Wrote 1 papers:
- WSA-1992-QueinnecG #backtracking #partial evaluation #pattern matching
- Partial Evaluation applied to Symbolic Pattern Matching with Intelligent Backtrack (CQ, PG), pp. 109–117.