Problem Set 5

Programming Language Standard Reductions

Purpose The goal of this problem set is to formulate a standard reduction relation and to explore its properties.

Problem 1 Add a standard reduction relation to your Redex model of DADL and a general reduction relation. Name the relation ->dd-standard.

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.

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

;; email@of.partner1.com, email@of.partner2.org

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.

← prev up next →

	General Information
	Blog
	Texts
	Writing
	Presentations
	Schedule
	Project
	Problem Sets
	Working with Redex

	Problem Set 1
	Problem Set 2
	Problem Set 3
	Problem Set 4
	Problem Set 5
	Problem Set 6
	Problem Set 7
	Problem Set 8