Declarative modeling of the operational behavior of logic languages

  • Valérie Barry

    Thèse de l'étudiant: Master typesMaster en sciences mathématiques

    Résumé

    La programmation logique repose sur l'idée de programmer en employant des formules logiques. Il s'en suit que deux types de sémantiques peuvent être assignées aux programmes logiques. L'une reflète l'exécution proprement dite; elle est appelée sémantique opérationnelle. L'autre utilise la logique; elle est appelée sémantique déclarative. Toutefois, la sémantique déclarative traditionnelle ne procure pas une pleine perception des aspects opérationnels. Ce mémoire propose deux nouvelles approches déclaratives dans ce but.
    la date de réponse1994
    langue originaleFrançais
    L'institution diplômante
    • Universite de Namur
    SuperviseurVan Hien Nguyen (Promoteur) & Jean-Marie JACQUET (Copromoteur)

    Contient cette citation

    '