Implémentation d'un langage générique de programmation

  • Tom Vansimpsen
  • Vincent Letocart

Student thesis: Master typesMaster en sciences informatiques

Résumé

Ce travail se veut la réalisation d'un langage de programmation appartenant au paradigme logique. La sémantique de l'article de référence tente de surmonter les difficultés dues à la négation en manipulant simultanément des valeurs pour lesquelles les prédicats peuvent être vrais et des valeurs pour lesquelles les prédicats peuvent être faux. La réalisation s'appuie sur un algorithme générique de type point fixe
la date de réponse1998
langue originaleFrançais
SuperviseurNaji Habra (Promoteur) & Baudouin LE CHARLIER (Promoteur)

Contient cette citation

'