A weakly reversible Forth virtual machine supporting backtracking and related features, Used to support research into the semantics and programming structures of weakly reversible languages.

Features

  • 127 page manual plus interactive documentation for ANS Forth.
  • Support for weakly reversible programs with reverse execution via return threading.
  • Nucleus definitions are meta-compiled to Linux (AT&T) assembler, facilitating linkage with C library code.
  • Inter language (C and Forth) calls and parameter passing in both directions.
  • Nucleus definitions may be written in Forth or in our integrated structured assembler.
  • Incremental definitions compile directly to optimised machine code.
  • Source code browsing.
  • Floating point, locals, λ expressions (functional programming), sets package.
  • Immutable reference semantics and automatic garbage collection on reverse execution.
  • Unicode support.

Project Activity

See All Activity >

Follow WRVM

WRVM Web Site

Other Useful Business Software
Next-Gen Encryption for Post-Quantum Security | CLEAR by Quantum Knight Icon
Next-Gen Encryption for Post-Quantum Security | CLEAR by Quantum Knight

Lock Down Any Resource, Anywhere, Anytime

CLEAR by Quantum Knight is a FIPS-140-3 validated encryption SDK engineered for enterprises requiring top-tier security. Offering robust post-quantum cryptography, CLEAR secures files, streaming media, databases, and networks with ease across over 30 modern platforms. Its compact design, smaller than a single smartphone image, ensures maximum efficiency and low energy consumption.
Learn More
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of WRVM!

Additional Project Details

Registered

2016-02-03
Report inappropriate content