On the Composition of Well-Structured Programs
ACM Computing Surveys (CSUR)
Program design by informal English descriptions
Communications of the ACM
An experimental evaluation of data type conventions
Communications of the ACM
On the criteria to be used in decomposing systems into modules
Communications of the ACM
Mechanisms for compile-time enforcement of security
POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
PASCAL user manual and report
Programming with abstract data types
Proceedings of the ACM SIGPLAN symposium on Very high level languages
Detecting software errors before execution
Detecting software errors before execution
ADA as a program description language (PDL): a project software management perspective
ACM SIGAda Ada Letters
Principles of Program Design
| Hi-index | 0.00 |
The linguistic requirements for a program design language that can be used profitably in all stages of the software lifecycle are investigated. What its processor and related tools must be able to do are identified. It is observed that no existing program design language meets all the requirements. Two particular deficiencies are noted in extant program design languages, namely the lack of parameterization and data-structuring. However, some ideas are obtained from an existing program design language, Software Development Processor (SDP). It provides a suitable way of providing parameterization and data-structuring. Extensions of SDP required for a suitable Adad-based program design language are detailed.