ClemsonRSRG / RESOLVE
RESOLVE (REusable SOftware Language with VErification) is a specification and programming language designed for verifying correctness of object oriented programs.
☆24Updated 2 months 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 2 weeks ago
- An exercise in programming language design and implementation.☆20Updated 3 years ago
- An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.☆14Updated 2 years ago
- Compiler and tools for the L programming language☆72Updated 9 months ago
- Parser, code model, navigable browser and VM for the SOM Smalltalk dialect☆27Updated 2 years ago
- Convert Java bytecode to firm IR☆18Updated 7 years ago
- The semantics of Java in K☆19Updated 3 years ago
- SOM++ - C++ implementation of the Simple Object Machine Smalltalk☆12Updated 2 months ago
- ☆10Updated 8 years ago
- prototype parser run-time, back-end for different kinds of parser generators, including rascal.☆50Updated 9 months ago
- A reporting project on the performance of self-optimizing interpreters☆16Updated 9 years ago
- Software Language Engineering Body of Knowledge☆48Updated 4 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆29Updated 3 years ago
- Spreadsheet-like programming on all your devices. http://object.network/onex-app.html☆14Updated last year
- ☆34Updated 4 years ago
- Software Language Processing Suite☆45Updated 3 years ago
- Restructor Prototype☆21Updated 7 years ago
- L42 main project☆26Updated 2 months ago
- An interpreter for the D3-level syntax of ATS3/Xanadu☆11Updated 3 years ago
- Tool and library implementing patience diff☆21Updated 2 months ago
- CIAO is a C++ implementation of the OMG's LwCCM standard.☆11Updated 4 years ago
- ☆71Updated 4 years ago
- PySOM - The Simple Object Machine Smalltalk implemented in Python☆26Updated 7 months ago
- Fast Bytecode Analysis☆15Updated 9 years ago
- A textual language for binary data.☆37Updated 2 years ago
- A simple cross-platform OCaml code editor built for top-level evaluation.☆64Updated last year
- SWI-Prolog 2-Way interface to Commmon Language Interface☆13Updated 8 years ago
- Whole Platform Language Workbench☆27Updated 8 months ago
- Poplog☆21Updated 14 years ago
- Pruning of blanks from an ASCII stream - musings in AMD64 and ARM64☆10Updated 4 years ago