Constraint-type statements in programming languages
- 1 October 1964
- journal article
- Published by Association for Computing Machinery (ACM) in Communications of the ACM
- Vol. 7 (10) , 587-588
- https://doi.org/10.1145/364888.364967
Abstract
A proposal is made for including in a programming language statements which imply relations between variables but which are not explicit assignment statements. The compiler sets up a Newtonian iteration making use for the purpose of a routine for formal differentiation.Keywords
This publication has 1 reference indexed in Scilit:
- Recursive functions of symbolic expressions and their computation by machine, Part ICommunications of the ACM, 1960