CS 3304
Homework Assignment 1

Given: July 1, 1997 Due: July 8, 1997

The point value of each problem is shown in [ ]. The assignment must be received by the beginning of class on July 8, 1997. See syllabus for late policy.

When the problem asks for an explanation, give a clearly written justification of your answer.

[4] 1.

Chapter 2, Problem 18. You are asked whether a programming language should be designed by a committee or by a single master architect. Give at least two pros and cons for each approach. Then give your opinion and justify it.

[6] 2.

While reading Chapter 2, locate 8 characteristics that a programming language may have. List each characteristic along with the first programming language that had the characteristic and the designer(s) of that language.

[6] 3.

Chapter 3, Problem 2, parts c and d.

[6] 4.

Chapter 3, Problem 4.

[6] 5.

Chapter 3, Problem 6.

[6] 6.

Chapter 3, Problem 9.

[6] 7.

Chapter 3, Problem 12, part f.

[6] 8.

Chapter 3, Problem 14.

[8] 9.

Derive the weakest precondition for the following loop and the given postcondition:

 B<>while   ¯a > b

				do   ¯a := a + 1

						 ¯b := b + 2

		 {a + b = c}

Assume that a, b, and c are integer variables. Also argue that execution of the loop always terminates.

[6] 10.

Chapter 3, Problem 15, parts d.

About this document ...

This document was generated using the LaTeX2HTML translator Version 96.1 (Feb 5, 1996) Copyright © 1993, 1994, 1995, 1996, Nikos Drakos, Computer Based Learning Unit, University of Leeds.

The command line arguments were:
latex2html -split 0 -t CS 3304 Homework Assignment 1 homework1.tex.

The translation was initiated by cs3304sm class account on Mon Jun 30 14:11:13 EDT 1997