Skip to content

Implementation of the operational semantics of a recursive language

Notifications You must be signed in to change notification settings

Mafaldarc/REC-operational-semantics

Repository files navigation

REC-operational-semantics

Implementation of the call-by-value operational semantics of a recursive language REC

command syntax: interp [list-of-variables] [list-of-functions] program

Test examples:

example1.txt if (z) then x+y else 0

example2.txt Recursive function f1(x) = f(x)+1

example3.txt Function f2(f(1(x)) = 1 that illustrates call-by-value function evaluation

example4.txt Fibonnaci fib(x) = fib(x-1) + fib(x-2)

About

Implementation of the operational semantics of a recursive language

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published