diff options
| author | Shinya Sato <shinnya.sato@gmail.com> | 2021-09-24 16:56:39 +0900 |
|---|---|---|
| committer | Shinya Sato <shinnya.sato@gmail.com> | 2021-09-24 16:56:39 +0900 |
| commit | 2e68633ec01e99d829d586062d17af69bc26b84a (patch) | |
| tree | 46ee8644de53222e3de5831d19afaf4276965461 /README.md | |
| parent | 6b3075d90d945d5e7e8fd4d28284ffd99dbeb82e (diff) | |
| download | inpla-2e68633ec01e99d829d586062d17af69bc26b84a.tar.gz inpla-2e68633ec01e99d829d586062d17af69bc26b84a.zip | |
Update README.md
Diffstat (limited to '')
| -rw-r--r-- | README.md | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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.  ### 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.) |
