Sandrine Blazy, Philippe Facon. Formal specification and prototyping of a program specializer.
TAPSOFT '95: Theory and Practice of Software Development, 6th International Joint Conference CAAP/FASE, May 1995, Aarhus, Denmark. pp.666-680,
⟨10.1007/3-540-59293-8_227⟩.
⟨inria-00165933⟩