No Program Synthesis article or book gives a procedure for creating programs.variables using 13 convoluted steps with no explanation as to how those steps were determined.
Every video is a person writing on the blackboard rather than running a program and showing its method for creating a particular program.
An actual example is very rare and on the occasion that one is claimed there is no step by step explanation of how it was created.
Wikipedia is well known for its high quality and completeness in covering technical subjects. https://en.wikipedia.org/wiki/Program_synthesis gives "program" x<y ? y : x but requires a rule that contains program p ? s : t and substitution for its
Isn't that stupid?
C-B
Sysop: | Keyop |
---|---|
Location: | Huddersfield, West Yorkshire, UK |
Users: | 365 |
Nodes: | 16 (2 / 14) |
Uptime: | 87:01:29 |
Calls: | 7,778 |
Files: | 12,911 |
Messages: | 5,750,178 |