Edison -80, a superset of the programming language Edison , was implemented on an Intel development system. It aims at providing software designers with a programming environment, which combines the benefits of abstra...
详细信息
Edison -80, a superset of the programming language Edison , was implemented on an Intel development system. It aims at providing software designers with a programming environment, which combines the benefits of abstraction of high-level languages with those of machine-orientation and is powerful enough to support the development of nontrivial system software with a spectrum of facilities, including parallel processing. Modifications (e.g., the separate compilation facility) are introduced into Edison -80 to make it more powerful than the original. In spite of being an interpreted language, the resulting Edison -80 object code is down-loadable and compatible with the existing compiled languages on the system, so that they can be linked together and run on user systems. Experiences of implementation will be reported.
A highly interactive programming system is presented which supports hierarchical and modular program development with abstraction mechanisms. By taking advantage of abstraction mechanisms, the system provides a "...
详细信息
A highly interactive programming system is presented which supports hierarchical and modular program development with abstraction mechanisms. By taking advantage of abstraction mechanisms, the system provides a "truly modular" environment, in which modules are constructed, debugged, verified, and compiled in a module-by-module fashion. Such an environment naturally requires system management of the information concerning ongoing program development, in the form of module databases. As a result, further problems arise as to how to modify the information in efficient and consistent ways. This paper discusses design objectives for modular programming systems by focusing on such issues as information management, interactive construction and modification of modules, separate processing, specification and verification, and supports for cooperative program development.
This study explored the parameter-related misconceptions of two college students enrolled in an introductory programming course. Both students appeared to conceive a direct procedureto- procedure linkage, with the con...
详细信息
A system is described which inputs EBNF syntax equations as text, checks them and builds a corresponding syntax graph representation. An EBNF parser, with full error recovery, is included. The system is designed using...
详细信息
A system is described which inputs EBNF syntax equations as text, checks them and builds a corresponding syntax graph representation. An EBNF parser, with full error recovery, is included. The system is designed using the principles of modular decomposition and data abstraction, and is presented as a case study in the application of these principles to program design. The system is programmed in Pascal-plus, and has been used as a basis for the automatic generation of parsers.
A procedure is proposed for optimizing devices or systems by “plugging in” existing library software modules that have been developed for optimization of components. The component modules are nested into a primary s...
详细信息
We present a modular approach to implementing dynamic algorithm switching for parallel scientific software. By using a compositional framework based on function call interception techniques, our proposed method transp...
详细信息
We present a modular approach to implementing dynamic algorithm switching for parallel scientific software. By using a compositional framework based on function call interception techniques, our proposed method transparently integrates algorithm switching code with a given program without directly modifying the original code structure. Through fine-grained control of algorithmic behavior of an application at the level of functions, our approach supports design and implementation of application-specific switching scenarios in a modular way. Our approach encourages algorithm switching to dynamically perform at the loop end of a parallel simulation, where cooperating processes in concurrent execution typically synchronize and intermediate computation results are consistent. In this way, newly added switching operations do not cause race conditions that may produce unreliable computation results in parallel simulations. By applying our method to a real-world scientific application and adapting its algorithmic behavior to the properties of input problems, we demonstrate the applicability and effectiveness of our approach to constructing efficient parallel simulations.
A modular simulation program of absorption heat pumps, refrigerators and air conditioners is developed under Mathematica (A (R)). The modular approach is an easier way to simulate various complex configurations. A com...
详细信息
A modular simulation program of absorption heat pumps, refrigerators and air conditioners is developed under Mathematica (A (R)). The modular approach is an easier way to simulate various complex configurations. A comparative study between the simulator's results-temperatures, pressures, refrigerant concentrations, heat duties, flow rates, overall heat transfer parameters and coefficient of performance (COP)-and experimental measurements shows a favorable agreement. The usefulness of the present program in performance analysis of thermodynamic cycles is thus established.
暂无评论