memory-safe-language software on GitHub

Software OPEN SOURCE

A formalization of properties of a simple imperative, memory-safe language.
Share - Bookmark