language-semantics

There are 1 repository under language-semantics topic.

ltcmelo / psychec
A compiler frontend for the C programming language
c type-inference compiler parser c-language clanguage static-analysis compiler-frontend parsing parsing-library program-analysis language-semantics
Language:C++ 501
sdasgup3 / learning-K
K Learning Experience
kframework k semantics formal-semantics language-semantics k-framework rewrite-rules
Language:Makefile 2
nandadeepd / programming-scala
Small scale scala compiler and interpreter
scala programming-languages lexical-analysis compilers reductions language-semantics
Language:Scala
sdasgup3 / PLDI20-Artifact-Evaluation
Artifact Evaluation, PLDI'20
llvm-ir mcsema symbolic-execution-engine symbolic-summaries verification-queries virtualbox x86-64 language-semantics reverse-engineering translation-validation validation compiler-optimization graph-matching formal-semantics verification-conditions detecting-bugs pldi evaluation reproducing-bugs