Write a Blog >>
ICFP 2016
Sun 18 - Sat 24 September 2016 Nara, Japan
Sun 18 Sep 2016 15:30 - 16:00 at Conference Room 5 - 4 Chair(s): Atsushi Igarashi

A goal of programming language researches is to establish a method of developing efficient and correct programs with ease. However, it is generally difficult to chase these rabbits. Efficient programs are usually complicated and hence difficult to see correctness. In this talk, we study an approach to this problem based on program transformations. Program transformations enable us to derive complex programs from naive but apparently correct ones in a “correct by construction” manner. We see effectiveness of program transformations through examples, including deforestation, program inversion, and program parallelization.

Sun 18 Sep