http://132.161.132.157/drupal6/taxonomy/term/613/0 en http://132.161.132.157/drupal6/node/877 <p>Thursday, September 8, 2016<br /> 4:15 p.m. in Noyce 3821<br /> Refreshments at 4:00 p.m. in the Computer Science Commons (Noyce 3817)</p> <p><strong>Programming Assistance for Type-Directed Programming</strong><br /> Type-directed programming is a powerful programming paradigm where rich types dictate the structure of the program, making design largely automatic. While mechanical, this paradigm still requires manual reasoning that is both tedious and error-prone. In this talk, Assistant Professor of Computer Science Peter-Michael Osera will explore type-directed program synthesis techniques to build an interactive programming assistant for type-directed programming. This tool bridges the gaps between simple auto-completion engines and program synthesis, complementing the strengths of each. He’ll demonstrate a current prototype of the tool as well as discuss next steps for transforming the prototype into a usable programming assistant. </p> http://132.161.132.157/drupal6/node/877#comments Thursday Extras type-directed programming Wed, 07 Sep 2016 14:14:04 +0000 petersos 877 at http://132.161.132.157/drupal6