On the partial deduction of non-ground meta-interpreters

Wim Vanhoof

Résultats de recherche: Contribution à un événement scientifique (non publié) › Papier › Revue par des pairs

langue originaleAnglais
Etat de la publicationPublié - 2011
EvénementInternational Symposium on Logic-based Program Synthesis and Transformation - Odense, Danemark
Durée: 18 juil. 2011 → …

Une conférence

Une conférenceInternational Symposium on Logic-based Program Synthesis and Transformation
Pays/TerritoireDanemark
La villeOdense
période18/07/11 → …

Contient cette citation