Abstract
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. >
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callMore From: IEEE Transactions on Systems, Man, and Cybernetics
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
