If you are dedicated to program computers regardless of the language used, you may have to take a huge amount of detail to your code to make this work. If, for example, uses a variable declared missed, probably the compiler warn you that you did not declare the variable in question. The question that once we have all made is: If the compiler and understood that the error is not declared a variable, why not declare it ready for me and
well, Armando Solar-Lezama, associate professor in the Department of Electrical and Computer Science at MIT engineering professor, has worked in a programming language called Sketch, which allows developers to simply omit some of the details in your code. Sketch then automatically fills in the missing details. Sketch somehow seeks to make life easier for software developers, but there is still more power in the system development. Meanwhile, this work can serve as a basis for other projects and tools that exploit the mechanics of the “synthesis of a program”, ie, the automatic generation of programs.
Other projects, including the Laboratory MIT AI have managed to create such a system to qualify programming tasks of students, or a system that converts hand-drawn diagrams to code as well as a system that produces SQL queries written in Java code.
At the Conference on Verification, Model and Abstract, Solar-Lezama Interpretation and a group of his graduate students: Rohit Singh, Rishabh Singh and Zhilei Xu, along with Rebecca Krosnick, described a new development of Sketch that in many cases, can handle complex tasks much more efficiently synthesis. The researchers tested a new version of Sketch in many applications, including automatic qualifying programs. In the previous version the system could not even solve anything while in this version corrections are made in milliseconds.
Sketch is a program synthesis as a search problem and in fact, much of what AI is simply a problem that is resolved in a search space. The idea is to evaluate many variations of the same basic problem and find the one that meets the criteria specified by the programmer. If the assessed program is very complex, the search space can grow too much and then not being able to find the solution. The researchers found a way to lower the complexity of the search space to find a satisfactory answer.
Solar-Lezama grants still be long before it becomes useful Sketch commercial software development. However, to test how useful it can be Sketch, researchers recruited students from MIT with one semester of programming experience in order to test the system. In all cases, he says, students used successfully Sketch to produce code that works. In many cases, the code was missing took too long to synthesize because of the way in which the student had described the problem.
“It requires a level of Expertise and understanding of the technology behind this not spoil everything, “says Solar-Lezama. “As far as we, the ambitious idea to get rid of C and use Sketch, still needs to work hard in the system”
References:.
MIT News
No comments:
Post a Comment