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
Grafana: The open and composable observability platform Icon
Grafana: The open and composable observability platform

Faster answers, predictable costs, and no lock-in built by the team helping to make observability accessible to anyone.

Grafana is the open source analytics & monitoring solution for every database.
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