#

language-semantics

Here are 4 public repositories matching this topic...

ltcmelo / psychec

A compiler frontend for the C programming language

c parser parsing compiler static-analysis program-analysis type-inference parsing-library compiler-frontend c-language clanguage language-semantics

Updated Jan 1, 2025
C++

sdasgup3 / learning-K

K Learning Experience

semantics formal-semantics k kframework rewrite-rules k-framework language-semantics

Updated Mar 5, 2020
Makefile

nandadeepd / programming-scala

Small scale scala compiler and interpreter

scala programming-languages lexical-analysis compilers reductions language-semantics

Updated Feb 19, 2019
Scala

sdasgup3 / PLDI20-Artifact-Evaluation

Artifact Evaluation, PLDI'20

validation virtualbox x86-64 reverse-engineering evaluation formal-semantics symbolic-execution-engine compiler-optimization graph-matching llvm-ir pldi verification-conditions language-semantics translation-validation mcsema symbolic-summaries verification-queries detecting-bugs reproducing-bugs

Updated Apr 18, 2020

Improve this page

Add a description, image, and links to the language-semantics topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the language-semantics topic, visit your repo's landing page and select "manage topics."