kframework / java-semanticsLinks
The semantics of Java in K
☆19Updated 3 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.☆97Updated 3 years ago
- Kodkod solver for relational logic☆78Updated 2 years ago
- Language-independent, search-based program repair -- just your cup of tea! ☕☆29Updated last year
- The SearchRepair automated C program repair tool (see http://people.cs.umass.edu/~brun/pubs/pubs/Ke15ase.pdf)☆26Updated 6 years ago
- An advanced automated reasoning tool for memory consistency model specifications.☆23Updated 3 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 9 years ago
- VATA Tree Automata Library☆32Updated last year
- Source code for the Naturalize project☆56Updated 9 years ago
- ☆71Updated 5 years ago
- GramTest: A tool for Grammar based Test case generation☆88Updated last year
- An LLVM IR Editor plugin for Eclipse☆52Updated 11 years ago
- Formal semantics of LLVM IR in K☆47Updated 7 years ago
- Static Analyzer and Verifier☆48Updated 10 months ago
- A tool for analyzing LLVM bitcode using Datalog.☆101Updated 4 years ago
- ☆52Updated 9 years ago
- a Java front-end for Sketch synthesis tool☆20Updated 7 months ago
- This repository contains the Maude 2 interpreter source tree.☆43Updated 7 years ago
- Tree-based Autofolding Software Summarization Algorithm☆42Updated 9 years ago
- Hierarchical Delta Debugging Framework☆59Updated 8 months ago
- ☆34Updated 4 years ago
- Generic immutable recursive data representation API targeted at source code models and more.☆37Updated 3 weeks ago
- Type checking ifdef variability☆78Updated 3 years ago
- Implementation of "Warren's Abstract Machine: A Tutorial Reconstruction" by Hassan Aït-Kaci.☆28Updated 8 years ago
- Python term rewriting☆30Updated 12 years ago
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆51Updated 5 years ago
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Updated 5 years ago
- Semantic program repair system for C programs☆100Updated 2 years ago
- CoMingle: Distributed Logic Programming for Decentralized Mobile Ensembles☆33Updated 8 years ago
- Evidence-based dynamic analysis: a fast checker for memory errors.☆21Updated 8 years ago
- Eclipse plugin that synthesizes real Java code☆26Updated 11 years ago