• DocumentCode
    5920
  • Title

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

  • Author

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

  • University
    UCL )Les Bibliotheques de L,Universite Catholique de Louvain(
  • Grade
    دكتري
  • Major
    FSA 3 - Doctorat en sciences appliquees
  • Number of pages
    0
  • Publish Date
    2007
  • Keyword

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

  • Note
    01
  • Language
    انگليسي
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=17&DC=5920