System that automatically fills gaps in computer programmers' code gains power
Wednesday, February 26, 2014 - 06:32
in Mathematics & Economics
A system that automatically fills in the gaps in programmers' code becomes more powerful. A recent programming language called Sketch allows programmers to simply omit some of the computational details of their code. Sketch then automatically fills in the gaps.