ACM Computing Surveys (CSUR)
Communications of the ACM
Abstraction and verification in Alphard: defining and specifying iteration and generators
Communications of the ACM
Communications of the ACM
A very high level programming language for data processing applications
Communications of the ACM
Exception handling: issues and a proposed notation
Communications of the ACM
PASCAL user manual and report
Report on the programming language Euclid
ACM SIGPLAN Notices
Hi-index | 0.00 |
The paper describes a language and supporting interactive system for use by the small businessman. To help the businessman-user understand and apply an application program expressed in the language, he can watch the application run in a single-step mode. If tailoring of the application program is necessary, the system guides the user by diagnosing inconsistencies in the modified program. The user controls production processing from the same user interface. In the first part of the paper, the language is described. Next some example user sessions are outlined. Finally the prototype implementation and some design issues are discussed.