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.
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 without arguments starts an interactive REPL.
./rhotic -f examples/sum.rv runs the sum example.