Godiva programming language

The Godiva programming language is a GOal-DIrected jaVA.

See http://www.cs.nmsu.edu/~jeffery/godiva/ for details.