文件名称:japi:pi 演算的 Java 实现
文件大小:1.11MB
文件格式:ZIP
更新时间:2024-07-30 18:41:00
Java
贾皮 Japi 是多元 pi 演算的 Java 实现。 微积分包括典型的 pi 微积分组合子,例如并行组合、非确定性选择、复制以及至关重要的限制。 此实现将 lambda 演算嵌入到 Send 前缀中。 这允许代理将任意计算传递给另一个。 用法 要构建,请cd进入存储库的根目录并运行: ./build 要清理构建,请运行: ./build clean 要调用解释器,首先构建,然后运行: ./japi my_src_file 源文件的语法如下所示: P, Q ::= X < E> . P # Send prefix, n <= 0 | X ( Y_1, Y_2, ... Y_n ) . P # Receive prefix, n <= 0 | [ P_1 | P_2 | ... P_n ]
【文件预览】:
japi-master
----japi(70B)
----LICENSE(34B)
----src()
--------interpreter()
--------main()
--------syntax()
--------utils()
--------parser()
----examples()
--------lambda(109B)
--------test(191B)
--------polyadic(92B)
--------nonterminating(249B)
--------sums(190B)
----.gitignore(30B)
----lib()
--------java-cup-11b.jar(106KB)
--------java-cup-11b-runtime.jar(22KB)
--------jflex-1.6.0.jar(1MB)
----Makefile(598B)
----README.md(2KB)
----build(1KB)