| Document Date: 2011-05-02 03:09:27
Open Document File Size: 101,11 KBShare Result on Facebook
Company Bendix / Artima Press / Intel / / / Facility Swiss Federal Institute of Technology Lausanne / / IndustryTerm software development process / post-processing step / text search / software synthesis techniques / synthesis tool / theorem proving technology / resolution-based algorithm / software developers / software synthesis / mining / deployed synthesis tool / false var solutions / Basic algorithm / / MarketIndex set 320 / / Organization Swiss Federal Institute of Technology Lausanne / / Person Robin Milner / Susmit Jha / Sanjit A. Seshia / Sumit Gulwani / Richard Waldinger / Ashish Tiwari / Martin Odersky / Harald Ganzinger / Luis Damas / Bill Venners / Lex Spoon / David Mandelin / Doug Kimelman / Zohar Manna / Lin Xu / Leo Bachmair / Rastislav Bod´ık / Snippets Tihomir Gvero / Viktor Kuncak / Ruzica Piskac / / Position editor / / ProgrammingLanguage Java / ML / Scala / / Technology RAM / theorem proving technology / Java / API / resolution-based algorithm / Snippet Synthesis Algorithm / / URL http /
SocialTag |
Interactive Synthesis of Code Snippets Tihomir Gvero, Viktor Kuncak, and Ruzica Piskac⋆ Swiss Federal Institute of Technology Lausanne (EPFL) Abstract. We describe a tool that applies theore