Technical Opinion: The Emperor with No Clothes
Examining the software problem from a scientific standpoint.
Henry F. Ledgard
Advertisement
Author Archives
A sample set of Cobol programming standards is offered. These standards constrain code to be developed in a “structured” form for both data and control…
A genealogy of control structures
The issue of program control structures has had a history of heated controversy. To put this issue on a solid footing, this paper reviews numerous theoretical results on…
Production systems: or can we do better than BNF
Since the development of BNF, the definition of the syntax of programming languages has been almost universally associated with context-free requirements. Yet numerous…
A model for type checking: with an application to ALGOL 60
Most current programming languages treat computation over different classes of objects (e.g. numbers, strings, labels and functions). For correct compilation and…
Shape the Future of Computing
ACM encourages its members to take a direct hand in shaping the future of the association. There are more ways than ever to get involved.
Get Involved