SIMP-abstract-machine icon indicating copy to clipboard operation
SIMP-abstract-machine copied to clipboard

verified publisher icon StenAL
→

Metadata

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

Results 1 SIMP-abstract-machine issues
Sort by recently updated
recently updated
newest added

FYI: I added some nice printing features in my fork...

2 comment

Hi @StenAL, FYI: Hi, I added some nice print features in my fork. It now prints in SIMP syntax, and exports to a nice markdown table. It is intended for...

DrOteonu-Nanquanu avatar DrOteonu-Nanquanu

← Metadata

25
Stars
0
Forks
Watchers

Owner

verified publisher icon StenAL

Metadata

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

Back