A metalanguage to express human guidance for program transformation.

Lingzi Jin, Hong Zhu

Browse the full ICTAI paper archive.