欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Prova
来自开放百科 - 灰狐
（版本间的差异）
(以内容'{{top news}} {{SeeWikipedia}} Prova Rule Language 是一个基于Java的编程语言。 Prova 是一种经济，高效的反应式代理和事件处理的规则语...'创建新页面) |
2010年10月1日 (五) 00:31的版本
|
您可以在Wikipedia上了解到此条目的英文信息 Prova Thanks, Wikipedia. |
Prova Rule Language 是一个基于Java的编程语言。
Prova 是一种经济，高效的反应式代理和事件处理的规则语言，结合规则，声明和函数式编程风格。它是为分布式企业服务总线和OSGi环境而设计。
链接
分享您的观点
