Automatic Programminghttp://www.cs.utexas.edu/users/novak
Director: Gordon Novak
Our goal is automatic generation of computer programs from specifications that are much smaller and easier to write than ordinary programs.
Our goal is automatic generation of computer programs from specifications that are much smaller and easier to write than ordinary programs.