am steps. In proving facts about the program, we might use assertions (there is much such work being done today). In explaining it we might have further natural language text. I am interested in finding ways of representing what we know about programming, and about a particular program in a much… … i PRINT DESCRIPTION OF NEXT EVENT Figure 4.2 Flow chart for the schedule program.
Winograd, Terry · Stanford univ ca dept of computer science · Artificial intelligence · Computer programming · Natural language · Programming languages · Reasoning · Semantics · Speech recognition · Syntax
Internet Archive · Defense Technical Information Center · Public domain (US government work). Free to use for anything.
