Local Driving in Higher-Order Positive Supercompilation via the Omega-theorem.

Geoff W. Hamilton, Morten Heine Srensen

Browse the full CAV paper archive.