About

University project, prolog application that interprets simple imperative language and then detects whether is it safe to run this code in more than one thread.

Stars

Watchers

Forks