diff options
| author | Shinya Sato <shinnya.sato@gmail.com> | 2022-10-22 16:36:06 +0900 |
|---|---|---|
| committer | Shinya Sato <shinnya.sato@gmail.com> | 2022-10-22 16:36:06 +0900 |
| commit | 77981e1fdbdc1a9edc50d3e7058a2e73918d9965 (patch) | |
| tree | ee5e778f13a2a757f3c3d5c3f0af30b28e7d314e | |
| parent | db2619f275b539e5189c397bfabba9b078ce3721 (diff) | |
| download | inpla-77981e1fdbdc1a9edc50d3e7058a2e73918d9965.tar.gz inpla-77981e1fdbdc1a9edc50d3e7058a2e73918d9965.zip | |
Update README.md
| -rw-r--r-- | README.md | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -12,7 +12,7 @@ Inpla is a multi-threaded parallel interpreter of interaction nets. Once you wri  -- **Comparison in execution time** with other implementations: **Haskell** (GHC version 8.10.7), **OCaml** (ocamlopt, the native-code compiler, version 4.08.1), **Standard ML of New Jersey** v110.74 (interpreter mode) and **Python** 3.8.5 in execution time. These programs are written to have the same algorithms as much as possible, though only the Ackermann function in Inpla is optimised to interaction nets computing because it is not too competitive. +- **Comparison in execution time** with other implementations: **Haskell** (GHC version 8.10.7), **OCaml** (ocamlopt, the native-code compiler, version 4.08.1), **Standard ML of New Jersey** v110.74 (interpreter mode) and **Python** 3.8.5 in execution time. | | Haskell | OCaml | SML | Python | Inpla8 | Inpla8r | @@ -27,7 +27,7 @@ Inpla is a multi-threaded parallel interpreter of interaction nets. Once you wri - - The above table contains execution time in second on average of ten times execution by using Linux PC (Core i7-9700 (8 threads, no Hyper-threading), 16GB memory). The fastest one is shown with bold style. Scripts for the comparison table are in the `comparison` directory. + - The above table contains execution time in second on average of ten times execution by using Linux PC (Core i7-9700 (8 threads, no Hyper-threading), 16GB memory). The fastest one is shown with bold style. Scripts for the comparison table are in the `comparison` directory. These are written to have the same algorithms as much as possible, though only the Ackermann function in Inpla is optimised to interaction nets computing because it is not too competitive. - Inpla8 and Inpla8r mean 8 threads without/with [reuse-annotated](./Gentle_introduction_Inpla.md#reuse-annotations) execution, respectively. |