Self-completing programs
Since he was a graduate student, Armando Solar-Lezama, an associate professor in MIT’s Department of Electrical Engineering and Computer Science, has been working on a programming language called Sketch -- which allows programmers to simply omit some of the computational details of their code – and then automatically fills in the gaps.
If it’s fleshed out and ...
» read more