Received: from csa.bu.edu (kanishka@csa [128.197.12.3]) by cs.bu.edu (8.12.2/8.12.2) with ESMTP id i8H0QwdD019266 for <kfoury@cs.bu.edu>; Thu, 16 Sep 2004 20:26:58 -0400 (EDT) Received: from localhost (kanishka@localhost) by csa.bu.edu (8.10.1/8.10.1) with ESMTP id i8H0Quf17112 for <kfoury@cs.bu.edu>; Thu, 16 Sep 2004 20:26:56 -0400 (EDT) X-Authentication-Warning: csa.bu.edu: kanishka owned process doing -bs Date: Thu, 16 Sep 2004 20:26:56 -0400 (EDT) From: Kanishka Gupta <kanishka@cs.bu.edu> X-Sender: kanishka@csa.bu.edu To: "A.J. Kfoury" <kfoury@cs.bu.edu> Subject: Question on HW1 Message-ID: <Pine.SOL.4.20.0409162021490.16978-100000@csa.bu.edu> Content-Type: TEXT/PLAIN; charset=US-ASCII Content-Length: 353 Status: RO X-Mozilla-Status: 8001 X-Mozilla-Status2: 00000000 X-UIDL: 411f69ec00000968
Dear Prof. Kfoury,
I have a question on Problem 3 (Excercise 3.5.18). The course web-page
says that we have to change the evaluation (to incorporate the
specified orfer of if-then-else) for the small step semantics of figure
3-2 in page 41. But the figure does not have any conditional
statements! Am I missing something?
Thank you,
Kanishka Gupta
This archive was generated by hypermail 2b29 : Fri Nov 19 2004 - 17:00:43 EST