Data

Tools

Indexes

Applications

Experiments

Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: language-semantics

ltcmelo/psychec

A compiler frontend for the C programming language

Language: C++ - Size: 11.1 MB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 550 - Forks: 40

sdasgup3/learning-K

K Learning Experience

Language: Makefile - Size: 97.7 KB - Last synced at: 3 months ago - Pushed at: over 5 years ago - Stars: 2 - Forks: 1

sdasgup3/PLDI20-Artifact-Evaluation

Artifact Evaluation, PLDI'20

Size: 710 KB - Last synced at: 5 months ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

nandadeepd/programming-scala

Small scale scala compiler and interpreter

Language: Scala - Size: 7.72 MB - Last synced at: 11 months ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 1

Related Keywords
language-semantics 4 formal-semantics 2 graph-matching 1 llvm-ir 1 mcsema 1 pldi 1 reproducing-bugs 1 reverse-engineering 1 symbolic-execution-engine 1 symbolic-summaries 1 translation-validation 1 validation 1 verification-conditions 1 verification-queries 1 virtualbox 1 x86-64 1 compilers 1 lexical-analysis 1 programming-languages 1 reductions 1 scala 1 c 1 c-language 1 clanguage 1 compiler 1 compiler-frontend 1 parser 1 parsing 1 parsing-library 1 program-analysis 1 static-analysis 1 type-inference 1 k 1 k-framework 1 kframework 1 rewrite-rules 1 semantics 1 compiler-optimization 1 detecting-bugs 1 evaluation 1