kirancodes.me
To Proof Maintenance & Beyond!

A general path-based representation for predicting program properties

Uri Alon, Meital Zilberstein, Omer Levy, Eran Yahav

Abstract

Predicting program properties such as names or expression types has a wide range of applications. It can ease the task of programming, and increase programmer productivity. A major challenge when learning from programs is how to represent programs in a way that facilitates effective learning.

Related papers