Prototyping clp(fd) tracers: a trace model and an experimental validation environment (2001)

by L Langevine, P Deransart, M Ducassé, E Jahier
Venue:In WLPE