Machine Learning of Higher Order Programs

Ganesh Baliga, John Case, Sanjay Jain, Mandayam Suraj. Machine Learning of Higher Order Programs. In Anil Nerode, Michael A. Taitslin, editors, Logical Foundations of Computer Science - Tver 92, Second International Symposium, Tver, Russia, July 20-24, 1992, Proceedings. Volume 620 of Lecture Notes in Computer Science, pages 9-20, Springer, 1992.

Abstract

Abstract is missing.