summaryrefslogtreecommitdiff
path: root/vm0/README.md
diff options
context:
space:
mode:
Diffstat (limited to 'vm0/README.md')
-rw-r--r--vm0/README.md27
1 files changed, 0 insertions, 27 deletions
diff --git a/vm0/README.md b/vm0/README.md
deleted file mode 100644
index fc89429..0000000
--- a/vm0/README.md
+++ /dev/null
@@ -1,27 +0,0 @@
-# vm0
-
-vm0 is a virtual machine executing directly the syntax tree.
-
-```mermaid
-graph LR
-s[ ] --> |source| a(scanner)
---> |tokens| b(parser)
---> |AST| c(vm)
-subgraph vm0
- c
-end
-style s height:0px;
-```
-
-The execution is performed by walking the AST and evaluating each
-visited node.
-
-
-## Motivation
-
-- have a reference execution model for each defined language
-- usable for compilation time evaluation
-- to modelize similar VMs (i.e. gnovm)
-- to validate and compare with other VMs (once it is itself validated)
-- could serve as a basis for AST based symbolic execution (to be
- investigated)