Problem Set 5
Topic Standard Reductions, Typing Derivations
Purpose The goal of this problem set is to formulate a standard
reduction relation and explore its properties, and to get some experience with typing derivations.
Problem 1 Add a standard (left-to-right) reduction relation to your Redex model of DADL. Name the relation ->dd-std.
Formulate a redex-check conjecture that relates traverse from
Problem Set 3 to the standard reduction relation.
Include the same solution for problem 2 of Problem Set 3 that you used for
Problem Set 4.
Problem 2 See here. Solutions to this problem should be submitted on paper at the beginning of class on 2/27.
Deliverable Email a tar.gz bundle to my CCS email address whose name
combines the last names of the pair in alphabetical order. The tar bundle
must contain a single directory—with the same name as the tar ball—with
a README.txt file and a 5.rkt Redex file.
The README.txt file must start with the following lines:
;; NameOfPartner1, NameOfPartner2
;; firstname.lastname@example.org, email@example.com
appropriately instantiated of course. Also separate the Redex code copied
from problem set 3 with a line of the shape ";; " followed by 77 "="; for
sub-problems of problem set 5 use "-". Each gives you a width of 80
chars. Stick to this line width for all of your code; if you also follow
DrRacket’s indentation rules, it ensures some basic readability.