BibTeX
@MISC{Klyuchnikov10supercompilerhosc,
author = {Ilya G. Klyuchnikov},
title = {Supercompiler HOSC 1.1: proof of termination},
year = {2010}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
The paper contributes the proof of termination of an experimental supercompiler HOSC dealing with higher-order functions.
