rhotic

Yet another semantics for R. A work in progress.

These semantics model a tiny subset of R, particularly its operations. The semantics are intended to be used in a program analysis, rather than to illustrate specific features of R.

As such, these semantics do not cover the "core" of R (e.g., the semantics of functions, variable scoping and binding, copy semantics, etc.), the call-by-need nature of R, or complex indexing operations.

Getting Started

Install opam. Then run the following:

opam switch create 4.12.0
git clone https://github.com/reactorlabs/rhotic.git
cd rhotic
make deps # install dependencies
make

Running rhotic

Running ./rhotic without arguments starts an interactive REPL.

./rhotic -f examples/sum.rv runs the sum example.