Skip to content

Latest commit

 

History

History
19 lines (12 loc) · 832 Bytes

README.md

File metadata and controls

19 lines (12 loc) · 832 Bytes

PLT-canvas

Computer exploration of different PLT/Compiler concepts.

Compiler

  1. SimpleC Compiler A detailed implementation of a compiler, and an interpreter for a small subset of the C programming languages, as detailed in the link. The compiles compiles to a simple VM implemented there.
  2. Descensus A collection of hand written recursive descent parsers for some grammars. Simple grammars (textbook examples), grammars of toy programming languages, grammars for real programming languages, both acedemic ones and industrial ones (those categories are not exclusive).

Functional Languages Implementation

Software Verification

Static Analysis

Semantics

Proof Assistants