User menu

Towards putting abstract interpretation of Prolog into practice : design, implementation and evaluation of a tool to verify and optimise Prolog programs

Bibliographic reference Gobert, François. Towards putting abstract interpretation of Prolog into practice : design, implementation and evaluation of a tool to verify and optimise Prolog programs.  Prom. : Le Charlier, Baudouin
Permanent URL http://hdl.handle.net/2078.1/12725