diff options
Diffstat (limited to 'vm0/README.md')
| -rw-r--r-- | vm0/README.md | 27 |
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) |
