An Algorithm for Structuring Flowgraphs
Journal of the ACM (JACM)
The Cornell program synthesizer: a syntax-directed programming environment
Communications of the ACM
BIGMAC II: A FORTRAN language augmentation tool
ICSE '81 Proceedings of the 5th international conference on Software engineering
Static analysis of the synchronization structure of concurrent programs
Static analysis of the synchronization structure of concurrent programs
Interface control and incremental development in the PIC environment
ICSE '85 Proceedings of the 8th international conference on Software engineering
Hi-index | 0.00 |
This paper describes a research project aimed at building and studying prototype environments for Mathematical Software. The project is aimed at gaining actual measurements and experiences that should help solidify knowledge about how to build effective environments. Towards this end some speculative ideas about environment file systems and command languages are presented, along with research plans for effectively evaluating these and other design notions.