5920

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

Puebla Germen استاد مشاور , Mens Kim استاد راهنما

UCL )Les Bibliotheques de L,Universite Catholique de Louvain(

دكتري

FSA 3 - Doctorat en sciences appliquees

0

2007

Program construction , static analysis , Prolog , Cut insertion , Source-to-source transformation , Automated verification , Automated optimisation , Abstract debugging , abstract interpretation , Logic programs

01

انگليسي