kframework / java-semanticsLinks
The semantics of Java in K
☆19Updated 4 years ago
Alternatives and similar repositories for java-semantics
Users that are interested in java-semantics are comparing it to the libraries listed below
Sorting:
- GenProg: heuristic, GP-based automatic program repair for C.☆100Updated 4 years ago
- Kodkod solver for relational logic☆80Updated 2 years ago
- C Language Analysis in Rascal☆27Updated last month
- Language-independent, search-based program repair -- just your cup of tea! ☕☆30Updated last year
- An advanced automated reasoning tool for memory consistency model specifications.☆25Updated 4 years ago
- Java bytecode generator for sound and precise partial program analysis☆24Updated 4 years ago
- Generic immutable recursive data representation API targeted at source code models and more.☆37Updated last week
- A compiler for automatically re-targeting sequential Java code to Apache Spark.☆50Updated 2 years ago
- Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…☆30Updated 10 years ago
- ☆40Updated 6 years ago
- Incremental Program Analysis Framework☆93Updated 4 years ago
- Tree-based Autofolding Software Summarization Algorithm☆43Updated 9 years ago
- Polyglot Extensible Compiler Framework for Java☆114Updated 4 years ago
- Software Language Engineering Body of Knowledge☆48Updated 5 years ago
- GramTest: A tool for Grammar based Test case generation☆88Updated 2 years ago
- Type checking ifdef variability☆79Updated 4 years ago
- This repository contains the Maude 2 interpreter source tree.☆43Updated 8 years ago
- Graal is a Java toolkit for querying knowledge bases within the framework of existential rules, aka Datalog+/-. See Graal's homepage:☆50Updated 3 years ago
- ☆34Updated 5 years ago
- Hierarchical Delta Debugging Framework☆59Updated last month
- ☆19Updated 8 years ago
- An abstract-interpretation based static analyzer written in Scala.☆33Updated 3 years ago
- This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives fro…☆168Updated this week
- ☆71Updated 5 years ago
- Spoofax runtime☆159Updated 8 months ago
- Semantic program repair system for C programs☆101Updated 3 years ago
- An attribute grammar-based programming language for composable language extensions☆68Updated 3 weeks ago
- A tool for analyzing LLVM bitcode using Datalog.☆101Updated 5 years ago
- Static Analyzer and Verifier☆51Updated last year
- SPARK 2014 repository for the Why3 verification platform.☆34Updated last week