Towards putting abstract interpretation of prolog into practice: design, implementation, and evaluation of a tool to verify and optimise prolog programs
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Thesis
%1 gobert2007towards
%A Gobert, François
%D 2007
%K
%T Towards putting abstract interpretation of prolog into practice: design, implementation, and evaluation of a tool to verify and optimise prolog programs
@phdthesis{gobert2007towards,
added-at = {2023-12-12T18:41:56.000+0100},
author = {Gobert, François},
biburl = {https://www.bibsonomy.org/bibtex/2b1a118a228d1f8c9d51d251b30b3d761/admin},
dnbtitleid = {989168387},
interhash = {15fd995e1972f3ed7340faa51f62b4ed},
intrahash = {b1a118a228d1f8c9d51d251b30b3d761},
keywords = {},
school = {Uni},
timestamp = {2023-12-12T18:41:56.000+0100},
title = {Towards putting abstract interpretation of prolog into practice: design, implementation, and evaluation of a tool to verify and optimise prolog programs},
year = 2007
}