No run yet.
Block-based MiniJava workbench
B-MJ is a laboratory for Java's reference model. Build a MiniJava program as blocks, then step it on a heap machine to watch references, frames, and garbage collection as they happen.
Its steppers include Call-by-Structure, Call-by-Value, CESK execution, an A-vs-B model comparison, and a substitution rewriter. Workspaces use .bml; MiniJava source can be opened or exported.
.bml
Choose a file name
This example
Your workspace already has blocks. Replace them with this example, or merge the example alongside them?
