Sten Arthur Laane

Results 1 repositories owned by Sten Arthur Laane

SIMP-abstract-machine

25
Stars
0
Forks
Watchers

Abstract machine for formal semantics of SIMP (Simple Imperative Language)