aboutsummaryrefslogtreecommitdiff
path: root/README.md
diff options
context:
space:
mode:
authorShinya Sato <shinnya.sato@gmail.com>2021-09-24 16:56:39 +0900
committerShinya Sato <shinnya.sato@gmail.com>2021-09-24 16:56:39 +0900
commit2e68633ec01e99d829d586062d17af69bc26b84a (patch)
tree46ee8644de53222e3de5831d19afaf4276965461 /README.md
parent6b3075d90d945d5e7e8fd4d28284ffd99dbeb82e (diff)
downloadinpla-2e68633ec01e99d829d586062d17af69bc26b84a.tar.gz
inpla-2e68633ec01e99d829d586062d17af69bc26b84a.zip
Update README.md
Diffstat (limited to 'README.md')
-rw-r--r--README.md4
1 files changed, 2 insertions, 2 deletions
diff --git a/README.md b/README.md
index 022acc6..883e19a 100644
--- a/README.md
+++ b/README.md
@@ -4,14 +4,14 @@
## What is Inpla
-Inpla is a multi-threaded parallel interpreter of interaction nets. Once you write programs for sequential execution, it also works in multi-threaded parallel execution. Each thread is managed on each core with Posix-thread library.
+Inpla is a multi-threaded parallel interpreter of interaction nets. Once you write programs for sequential execution, it works also in multi-threaded parallel execution. Each thread is managed on each CPU-core with POSIX-thread library.
![speedup-ratio](pic/benchmark_reuse.png)
### Feature of Version 0.4.1
- Integer numbers can be written the same as one of the first-class objects.
-- Interaction rules can re-allocate heaps of the rule agents for agents in nets. This re-allocation is specified by modifications such as (\*L), (\*R), called reuse annotation [1], to agents in nets. This annotation can improve execution performance in parallel.
+- Interaction rules can re-allocate heaps of the rule agents to agents in nets. This re-allocation is specified by modifications such as (\*L), (\*R), called reuse annotation [1], to agents in nets. This re-allocation can improve execution performance in parallel.
- Wead Head Normal Form reduction strategy is supported. It turns on by invoked with ```-w``` option.
- Nested guards in conditional rules are supporeted.
- Comparison with other interpreters: Standard ML v110.74 (SML) and Python v3.8.5 (Python) in execution time. (We are planing to have benchmark of Haskell, C, as well in future.)