On the partial deduction of non-ground meta-interpreters

Résultats de recherche: Contribution à un événement scientifique (non publié)ArticleRevue 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
PaysDanemark
La villeOdense
période18/07/11 → …

Contient cette citation