Constraint-Type Statements in Programming Languages

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.

CACM October, 1964 

Wilkes, M. V.

CA641012 JB March 9, 1978  4:42 PM

990	5	990
990	5	990
990	5	990
1781	5	990
1945	5	990
2341	5	990
823	6	990
123	6	990
196	6	990
914	6	990
915	6	990
917	6	990
919	6	990
984	6	990
989	6	990
990	6	990
990	6	990
990	6	990
1007	6	990
1012	6	990
1046	6	990
1084	6	990
1098	6	990
1122	6	990
1131	6	990
1138	6	990
1139	6	990
1139	6	990
1140	6	990
1141	6	990
1149	6	990
1198	6	990
1200	6	990
1215	6	990
1223	6	990
1223	6	990
1265	6	990
1265	6	990
1303	6	990
1323	6	990
1336	6	990
1358	6	990
1366	6	990
1396	6	990
1421	6	990
1455	6	990
1460	6	990
1462	6	990
1463	6	990
1467	6	990
1468	6	990
1468	6	990
1466	6	990
1477	6	990
1477	6	990
1487	6	990
1491	6	990
1491	6	990
1496	6	990
1496	6	990
1531	6	990
1535	6	990
1565	6	990
1601	6	990
1602	6	990
1613	6	990
1614	6	990
1626	6	990
1641	6	990
1787	6	990
1788	6	990
205	6	990
224	6	990
249	6	990
288	6	990
316	6	990
381	6	990
398	6	990
11	6	990
404	6	990
410	6	990
463	6	990
464	6	990
483	6	990
483	6	990
3184	6	990
3184	6	990
3188	6	990
584	6	990
584	6	990
600	6	990
669	6	990
680	6	990
680	6	990
691	6	990
763	6	990
763	6	990
799	6	990