kframework/jvm-semantics kframework/jvm-semantics

  • Stars
    star
    5
  • Rank 2,861,937 (Top 57 %)
  • Language
    Java
  • Created about 11 years ago
  • Updated over 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
kframework/jvm-semantics
github

kframework

Reviews

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

Repository Details

Semantics of the Java Virtual Machine.

More Repositories

1

c-semantics

Semantics of C in K
C
305
star
2

k-legacy

The K tools (deprecated, see README)
Java
146
star
3

X86-64-semantics

Semantics of x86-64 in K
Assembly
140
star
4

javascript-semantics

KJS: A Complete Formal Semantics of JavaScript
JavaScript
85
star
5

llvm-semantics

Formal semantics of LLVM IR in K
LLVM
44
star
6

vyper-semantics

KVyper: Semantics of Vyper in K
Python
41
star
7

solidity-semantics

Semantics of Solidity in K
Shell
29
star
8

haskell-core-semantics

Haskell's Core in K.
Haskell
20
star
9

java-semantics

The semantics of Java in K
Java
19
star
10

p4-semantics

Formal Semantics of P4 in K
P4
18
star
11

matching-logic-prover

SMT
15
star
12

semantic-approaches

A comprehensive experiments-based survey on various approaches to program semantics.
Haskell
11
star
13

k-in-k

Defining the semantics of K in K
Python
11
star
14

kweb

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

boogie-semantics

Boogie
5
star
16

kale

kale backend
Scala
4
star
17

orc-semantics

Csound
4
star
18

kat

Standard ML
3
star
19

homebrew-k

K Homebrew tap
3
star
20

aadl-semantics

Formal semantics of AADL in K
2
star
21

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.
2
star
22

rust-metamath

A Rust Implementation of Metamath
Rust
2
star
23

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).
1
star