Graphical interactions with an automatic programming system

ISFI, an automatic programming system, accepts a nonprocedural specification of the desired behavior of a computer program. This specification is augmented by ISFI until computations to accomplish this behavior can be derived, and then compilable code is generated. ISFI´s graphical interface (IGI) permits input, modification, and exploration of the specification, including the part added by ISFI in the process of solving the programming problem. This interface supports the special requirements of an automatic programming system, the needs of programmers debugging any large complex computer system, the normal requirements of an interactive user interface, and the potential graphics to aid the visual thinking process of humans. The ways in which IGI addresses these issues are described and some enhancements are suggested