6.945 | Spring 2009 | Graduate

Adventures in Advanced Symbolic Programming

Assignments

Problem Set 7: Supporting Files

Description:

Supporting files for a problem set on the generate and test technique, backtracking mechanisms, linguistically implicit search, continuations, continuations as non-local exits, continuations for backtracking, continuations and dynamic contexts, dynamic contexts and within-continuation, AMB, depth-first and breadth-first, and less deterministic non-determinism.

Resource Type:
Assignments
file
5 kB
Problem Set 7: Supporting Files

Course Info

As Taught In
Spring 2009
Level
Learning Resource Types
Problem Sets
Projects