stand-in-language icon indicating copy to clipboard operation
stand-in-language copied to clipboard

Published 20 hours ago • verified publisher icon sfultong

Formal description of operational semantics

Open cocreature opened this issue 6 years ago • 0 comments

It would be nice to have a formal description (in the form of some text document) of the operational semantics of SIL that can be used as a reference instead of having to look at the interpreters and compilers scattered throughout the codebase.

cocreature avatar Jun 22 '18 13:06 cocreature