Discover kframework/cink-semantics Open Source project

Stars
2
Language
Created about 11 years ago
Updated over 9 years ago

kframework

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Cink is a kernel of the C++ language we used to experiment with K. The language is used an example for teaching classes and is referred in several research papers.

c-semantics

Semantics of C in K

305

k-legacy

The K tools (deprecated, see README)

Java

146

X86-64-semantics

Semantics of x86-64 in K

Assembly

140

javascript-semantics

KJS: A Complete Formal Semantics of JavaScript

JavaScript

llvm-semantics

Formal semantics of LLVM IR in K

LLVM

vyper-semantics

KVyper: Semantics of Vyper in K

Python

solidity-semantics

Semantics of Solidity in K

Shell

haskell-core-semantics

Haskell's Core in K.

Haskell

java-semantics

The semantics of Java in K

Java

p4-semantics

Formal Semantics of P4 in K

matching-logic-prover

SMT

semantic-approaches

A comprehensive experiments-based survey on various approaches to program semantics.

Haskell

k-in-k

Defining the semantics of K in K

Python

jvm-semantics

Semantics of the Java Virtual Machine.

Java

kweb

Online extensible IDE for the K Framework and other formal verification projects. Example deployment at http://kframework.org/kweb/

boogie-semantics

kale

orc-semantics

kat

homebrew-k

aadl-semantics

Formal semantics of AADL in K

rust-metamath

A Rust Implementation of Metamath

Rust

alk-semantics

An executable algorithmic language. The algorithms are executed over abstract data types like arrays, structures, cons lists (viewed as abstractions of simple linked lists).

kframework/cink-semantics

kframework

Reviews

Repository Details

More Repositories