MAIDAY is a programming environment that provides methodological assistance. It supports a definitional language in which the user defines objects instead of manipulating variables as in typical programming languages....
详细信息
ISBN:
(纸本)9780818605284
MAIDAY is a programming environment that provides methodological assistance. It supports a definitional language in which the user defines objects instead of manipulating variables as in typical programming languages. In this paper we present the heart of the system: the editor EDME. Editing commands operate only upon the logical structure of the algorithm rather than upon its abstract tree structure. This logical structure is concrete and stratified into four levels. On each level the user manipulates the elements of the next lower level without having access to their internal structure. EDME also provides a carefully designed user interface. Information is displayed by a multi-window screen. The system helps the user in three ways. Syntax errors are corrected or revealed, context-sensitive constraints are validated and a programming methodology is encouraged. We hope to provide automatic guidance about algorithm creation in the future. The current implementation provides a means of experimentation as we investigate the planning processes involved in creating algorithms.
The proliferation of papers on programming methodology focus on the program development process but only hint at the form of the final program. This paper distinguishes between the development process and the program ...
详细信息
The portable programming language (PPL) is one of a number of recently designed programming languages that enable the user to define new types by giving their representations and operations in terms of those of previo...
详细信息
暂无评论