On the partial deduction of non-ground meta-interpreters

Research output: Contribution to conferencePaper

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
CountryDenmark
CityOdense
Period18/07/11 → …

Cite this

Vanhoof, W. (2011). On the partial deduction of non-ground meta-interpreters. Paper presented at International Symposium on Logic-based Program Synthesis and Transformation , Odense, Denmark.