An Assessment of Techniques for Proving Program Correctness
ACM Computing Surveys (CSUR)
Communications of the ACM
Flow diagrams, turing machines and languages with only two formation rules
Communications of the ACM
ACM '73 Proceedings of the ACM annual conference
The current state of proving programs correct
ACM '72 Proceedings of the ACM annual conference - Volume 1
On conventions for systems of numerical representation
ACM '72 Proceedings of the ACM annual conference - Volume 2
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
REDUCE 2: A system and language for algebraic manipulation
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
Hi-index | 0.00 |
It is my opinion that a new programming language is needed for applied scientific computing. Since there are so many languages already available one must address the question as to why another is needed. If one grants that a new one is in fact needed, then one must outline the functional specifications and/or the procedure for inventing the requisite language. The purpose of this article is to stimulate thought on the matter.