The purpose of this problem is to develop a CESK machine for the
ISWIM*s language from problem set 6. Your CESK machine must
use the store to safe-keep all values.
Encode your CESK machine in Redex.
cesk function, which uses the CESK machine to
ISWIM*s programs to answers.
Formulate a conjecture about the relationship between
(solution for problem set 6, imported from 8provided.rkt) and
cesk as a metafunction. Test the conjecture manually and with
If testing finds a counter-example to your conjecture, formulate the
counter-example as a failing test case and explain the failure with a
one-line comment. Then fix those parts of your solution that broke so that
the test case passes.
Fix up your
cek function from problem
set 8 (task 2), formulate a conjecture about the relationship between
cek, and test the conjecture with