 |
Description
Automatic programming is the generation of executable programs from specifications.
Although compilers could be considered to perform this task, we would
like for the specifications to be higher-level than ordinary programming
languages. This course surveys technical topics that support research
in automatic programming and surveys the major research approaches in
this area. The course consists of lectures for the first two-thirds of
the semester. Homework problems and programming assignments illustrate
the lecture material. The programs are not long, but require learning
to use several kinds of programming systems. The latter part of the semester
covers readings in the research literature. Students are expected to present
one or two papers to the class. Active researchers in the area will present
guest lectures to describe their work.
|
|
