On the partial deduction of non-ground meta-interpreters

Wim Vanhoof

Research output: Contribution to conference › Paper › peer-review

Original languageEnglish
Publication statusPublished - 2011
EventInternational Symposium on Logic-based Program Synthesis and Transformation - Odense, Denmark
Duration: 18 Jul 2011 → …

Conference

ConferenceInternational Symposium on Logic-based Program Synthesis and Transformation
Country/TerritoryDenmark
CityOdense
Period18/07/11 → …

Cite this