6.945 | Spring 2009 | Graduate

Adventures in Advanced Symbolic Programming

Assignments

Problem Set 7

Description:

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

Course Info

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