kframework / javascript-semanticsLinks
KJS: A Complete Formal Semantics of JavaScript
☆89Updated 8 years ago
Alternatives and similar repositories for javascript-semantics
Users that are interested in javascript-semantics are comparing it to the libraries listed below
Sorting:
- The K tools (deprecated, see README)☆146Updated 7 years ago
- JaVerT2.0 - Compositional Symbolic Execution for JavaScript☆19Updated 5 years ago
- A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter☆201Updated last year
- Semantics and tools for JavaScript☆92Updated 3 years ago
- WASM builds of the Z3 SMT solver☆150Updated 5 years ago
- Lem semantic definition language☆144Updated 4 months ago
- Mostly Automated Synthesis of Correct-by-Construction Programs☆154Updated last month
- The Gillian Platform main repository☆87Updated 3 weeks ago
- Incremental Program Analysis Framework☆90Updated 4 years ago
- T2 Temporal Prover☆95Updated 7 years ago
- ECMAScript verification with SMT solvers☆124Updated last year
- A web server written in Coq.☆88Updated 9 years ago
- Semantics for ES5☆82Updated 9 years ago
- Formal semantics of LLVM IR in K☆47Updated 7 years ago
- History of Programming Languages, Spring 2017☆137Updated 7 years ago
- A Formal Semantics of WebAssembly in K☆82Updated last week
- Dependent JavaScript: A Typed Dialect☆87Updated 12 years ago
- Refinement Types for Scripting Languages☆69Updated 6 years ago
- PeaCoq is a pretty Coq, isn't it?☆105Updated 4 years ago
- An automated deductive program verifier.☆42Updated 2 years ago
- Synthesis of Heap-Manipulating Programs from Separation Logic☆127Updated 2 years ago
- A mechanisation of Wasm in Coq(Rocq)☆107Updated last month
- A CSS specification and reasoning engine☆96Updated 2 years ago
- Compile and run Constraint Handling Rules (CHR) in JavaScript☆105Updated last year
- The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric …☆115Updated last week
- ☆33Updated 10 years ago
- An Introduction to Redex with Abstracting Abstract Machines☆103Updated last year
- The symbolic execution engine powering the K Framework☆219Updated 3 weeks ago
- Datalog with support for SMT queries and first-order functional programming☆160Updated 2 weeks ago
- Proposal to add tail calls to WebAssembly☆114Updated 5 months ago