Evaluation with the CES Machine (aka. Modern SECD Machnine:
یک سال پیش منتشر شده
تعداد بازدید: 179
کد پروژه: 389732
شرح پروژه
Evaluation with the CES Machine (aka. Modern SECD Machnine:
Implement an evaluator for the extended lambda calculus!
This involves the following steps:
- Turning (extended) lambda terms into De Bruijn notation
- Compiling De Bruijn terms into CES machine code (see attached document)
- Writing the CES machine: its step function and running code on the machine. (You may want a debugging mode!)
- Writing five example programs (including some recursive ones! e.g factorial) in the extended lambda calculus.
You are expected to work with the lambda calculus extended by:
- Built in Booleans: True and False together with an conditional construct (if ... then ... else ...)
- Built in basic arithmetic: addition, multiplication, and comparison of integers.
این پروژه شامل 1 فایل مهم است، لطفا قبل از ارسال پیشنهاد حتما نسبت به بررسی این فایل اقدام فرمایید.
مهارت ها و تخصص های مورد نیاز
بودجه
300,000 تومان تا 750,000 تومان
مهلت برای انجام
7روز
وضعیت مناقصه
بسته
درباره کارفرما
عضویت یک سال پیش
