The Cornell program synthesizer: a syntax-directed programming environment
Communications of the ACM
Queries and views of programs using a relational database system
Queries and views of programs using a relational database system
The PegaSys System: pictures as formal documentation of large programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
SODOS—a software documentation support environment: its use
ICSE '85 Proceedings of the 8th international conference on Software engineering
A graphical programming environment in Ada
WADAS '86 Proceedings of the third annual Washington Ada symposium on Ada: Ada use in focus : practical lessons in perspective
PegaSys: A system for graphical explanation of program designs
SLIPE '85 Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments
Implementing relational views of programs
SDE 1 Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
The user-definable interface project
ACM SIGSOFT Software Engineering Notes
Journal of Systems and Software
| Hi-index | 0.00 |
We are designing a software development system that implements “what you see is what you get” for programming. The system, called OMEGA, allows software to be displayed, processed, and modified, using pictorial representations to convey the structure and levels of abstraction of the program. OMEGA takes advantage of the interactive user interface to provide syntax-free input, user selectable display format, and incremental semantic analysis. By distinguishing input specification from output display, and exploiting interaction in semantic analysis, we are able to unify the different abstraction mechanisms present in traditional programming environments.