kframework / java-semantics
The semantics of Java in K
☆19Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for java-semantics
- Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…☆30Updated 8 years ago
- An advanced automated reasoning tool for memory consistency model specifications.☆20Updated 2 years ago
- Language-independent, search-based program repair -- just your cup of tea! ☕☆28Updated 4 months ago
- JVM Abstracting Abstract Machine☆25Updated 5 years ago
- ☆10Updated 3 years ago
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Updated 5 years ago
- Eclipse plugin that synthesizes real Java code☆26Updated 10 years ago
- ☆19Updated 7 years ago
- Supplementary files for SSFT 2015 summer school☆11Updated 5 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Updated 7 years ago
- An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.☆14Updated 2 years ago
- Generic immutable recursive data representation API targeted at source code models and more.☆36Updated 2 weeks ago
- SWI-Prolog 2-Way interface to Commmon Language Interface☆12Updated 7 years ago
- Regular Expressions and Lexing with DFAs☆9Updated 6 months ago
- Applicative logic meta-programming using Clojure's core.logic against an Eclipse workspace.☆42Updated 3 years ago
- This repository contains the Maude 2 interpreter source tree.☆43Updated 6 years ago
- LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM☆26Updated 2 years ago
- Symbolic execution engine for toy language.☆51Updated 6 years ago
- This is a clone of an SVN repository at svn://svn.forge.objectweb.org/svnroot/sat4j/maven/trunk. It had been cloned by http://svn2github.…☆9Updated 7 years ago
- A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs☆12Updated 6 years ago
- Kodkod solver for relational logic☆74Updated last year
- ☆34Updated 4 years ago
- ☆48Updated 8 years ago
- Software Language Engineering Body of Knowledge☆46Updated 4 years ago
- Formal semantics of LLVM IR in K☆43Updated 9 years ago
- Static Analyzer and Verifier☆46Updated last month
- Tree-based Autofolding Software Summarization Algorithm☆42Updated 8 years ago
- jSMTLIB is an open source implementation of SMT-LIB in Java, as a command-line tool, an Eclipse plugin, and an API, with interfaces to ma…☆26Updated 2 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆25Updated 5 years ago
- Optimizing Abstract Abstract Machines☆30Updated 7 years ago