ClemsonRSRG / RESOLVE
RESOLVE (REusable SOftware Language with VErification) is a specification and programming language designed for verifying correctness of object oriented programs.
☆24Updated 3 weeks ago
Alternatives and similar repositories for RESOLVE:
Users that are interested in RESOLVE are comparing it to the libraries listed below
- Generic immutable recursive data representation API targeted at source code models and more.☆35Updated 3 weeks ago
- ☆54Updated 8 years ago
- Tool and library implementing patience diff☆23Updated this week
- Spreadsheet-like programming on all your devices. http://object.network/onex-app.html☆14Updated this week
- Software Language Engineering Body of Knowledge☆48Updated 5 years ago
- prototype parser run-time, back-end for different kinds of parser generators, including rascal.☆51Updated last year
- An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.☆15Updated 2 years ago
- An interpreter for the D3-level syntax of ATS3/Xanadu☆11Updated 3 years ago
- AnyDSL Runtime Library☆22Updated last week
- IFA is a library for Interative Flow Analysis of computer programs. This software is for compiler developers and program analysis resea…☆13Updated last month
- Fast Bytecode Analysis☆15Updated 9 years ago
- Modernized Sisal Interpreter☆28Updated 6 years ago
- Pillar compiler, Pillar runtime, garbage collector.☆23Updated 2 years ago
- SOM++ - C++ implementation of the Simple Object Machine Smalltalk☆12Updated last month
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆30Updated this week
- Compiler and tools for the L programming language☆72Updated 11 months ago
- CIAO is a C++ implementation of the OMG's LwCCM standard.☆11Updated 4 years ago
- LVC verified compiler☆57Updated 6 years ago
- Convert Java bytecode to firm IR☆18Updated 8 years ago
- Restructor Prototype☆21Updated 7 years ago
- Cache Oblivious Lookahead Arrays☆27Updated 11 years ago
- CSOM - C implementation of the Simple Object Machine Smalltalk☆11Updated 3 years ago
- A compiler for an Ada-like language☆29Updated last week
- A C compatible and C++ like programming language that focuses on extensiblilty and giving the programmer control over how high-level cons…☆30Updated 3 years ago
- ☆10Updated 9 years ago
- Parser, code model, navigable browser and VM for the SOM Smalltalk dialect☆29Updated 2 years ago
- Rehearsal: A Configuration Verification Tool for Puppet☆11Updated 5 years ago
- Quick experiment to see how expensive safety is in C, for research☆12Updated 6 years ago
- We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2☆26Updated 8 years ago
- A Java implementation of the Shen programming language☆28Updated 5 years ago