I have a term paper due in two days (5/17) on the following topic: "The use of sentential calculus in the automatic generation of code" I can not find Any information on the internet about this topic, so if anyone has heard of this and has a link to some information I would be very very happy