Discover kframework/alk-semantics Open Source project

Stars
1
Language
Created about 11 years ago
Updated over 10 years ago

kframework

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

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

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

cink-semantics

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.

rust-metamath

A Rust Implementation of Metamath

Rust

kframework/alk-semantics

kframework

Reviews

Repository Details

More Repositories