On the partial deduction of non-ground meta-interpreters

Research output: Contribution to conferencePaperpeer-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
CountryDenmark
CityOdense
Period18/07/11 → …

Cite this