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
Gen AI apps are built with MongoDB Atlas Icon
Gen AI apps are built with MongoDB Atlas

The database for AI-powered applications.

MongoDB Atlas is the developer-friendly database used to build, scale, and run gen AI and LLM-powered apps—without needing a separate vector database. Atlas offers built-in vector search, global availability across 115+ regions, and flexible document modeling. Start building AI apps faster, all in one place.
Start Free
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