Homework assignment for Programming Languages cse 3302
Download 3.18 Kb.
|
| Homework assignment for Programming Languages CSE 3302
There are three homework questions based on the assigned reading posted/linked on the website. You must answer any TWO of them and you may answer the third question for EXTRA CREDIT. Please indicate at the beginning of your answer which question is to be counted as extra credit. Homework must be submitted electronically, typed, to Dr. T no later than Thursday May 5th at 2:00 pm to tiernan@cse.uta.edu 1. Compare and contrast the ALGOL-58 report and the ALGOL-60 report discussing at least the following points: how syntax is conveyed and represented in both reports, designational expressions in both reports, descriptions of statements in both, compound statements, switch, and procedures. 2. For the Hoare paper, describe in your own words what purpose the author sees for ‘proving’ program correctness and then give his basic axiom and rules, in your own words, for creating such a proof. Also discuss whether program proving is language dependent or language independent. 3. In Dykstra’s letter, how does he logically/mathematically demonstrate the difficulties of using a goto? What other rationale does he give aside from his logic approach and who else does he cite as contributing to his point of view about the user of the goto? Download 3.18 Kb. Share with your friends:
|