Automatic Programming
Director: Gordon Novak
Our goal is automatic generation of computer programs from specifications that are much smaller and easier to write than ordinary programs.