A highly interactive programming system (IOTA) is developed that supports hierarchical and modular programdevelopment with abstraction mechanisms. By exploiting abstraction mechanisms, IOTA provides a ''truly...
详细信息
A highly interactive programming system (IOTA) is developed that supports hierarchical and modular programdevelopment with abstraction mechanisms. By exploiting abstraction mechanisms, IOTA provides a ''truly modular'' environment, in which modules are constructed, debugged, verified, and compiled in a module-by-module manner. Such an environment requires system management of the information about ongoing programdevelopment, in the form of module databases. Consequently, further problems emerge as to how to modify the information efficiently and consistently. The IOTA system consists of 5 major subsystems - Developer, Debugger, Verifier, Prover, and Executor - that are integrated into a highly interactive system over a modulebase that maintains all information needed for each subsystem to work. Design objectives for modular programming are discussed by focusing on such issues as: 1. information management, 2. interactive construction and modification of modules, 3. separate processing, 4. specification and verification, and 5. supports for cooperative program development.
暂无评论