University of Virginia, Department of Computer Science
CS655: Programming Languages, Spring 2001

Calendar | Challenges | Lectures | Manifests | Problem Sets | Projects | Resources | Syllabus

Universal Languages

Show that Mini-Scheme is or is not a Universal Programming Language.

Mini-Scheme was described (informally) in Lecture 2:

Note: Weilin Zhong pointed out that in the original lecture, I forgot to include + as an expression. I suspect the inclusion or non-inclusion of + does not effect Mini-Scheme's status as a Universal Programming Language. For the challenge problem, you may use either Mini-Scheme as originally defined (without +), or as corrected (with +).

CS 655 University of Virginia
Department of Computer Science
CS 655: Programming Languages
David Evans