Keidar 与 Shapiro 提出意志规约到 GLP 应用的抽象级联
热点事件持续更新
Keidar 与 Shapiro 提出意志规约到 GLP 应用的抽象级联
1 篇报道1 个报道来源5 小时前更新
先了解这件事
AI 综述
Idit Keidar 与 Ehud Shapiro 在 arXiv 论文（v2）中针对由人与智能手机组成的分布式系统，提出从抽象规约到可运行应用的抽象级联，并证明其向下到基础语言 GLP 的正确性。 该工作的抽象层是以参与者机器状态为前置条件、由人的意志守护的多智能体原子事务规约；级联包括通信意志代理（CVA，由发起方两阶段提交实现简单守护的意志规约）、带意志过程的 vGLP 及其 GLP 实现。作者在社交图谱、社交网络和货币三个草根平台上演示了该方法，编译器把社交图谱和货币规约推导为以脚本化人物运行的 GLP 程序。
AI 根据报道生成 · 4 小时前更新
最新进展10月16日 12:00
意志引导式事务的形式化语义：从意志规约到 GLP 的智能手机应用推导级联报道时间线
沿着报道，了解事件的不同侧面。
10月16日
- arXiv · cs.AI意志引导式事务的形式化语义：从意志规约到 GLP 的智能手机应用推导级联
论文针对由人与智能手机组成的分布式系统，发展了一条抽象级联，把以参与者机器状态为前置条件、由人的意志守护的多智能体原子事务规约，正确地逐层推导到基础语言 GLP。级联包括通信意志代理（CVA，由发起方两阶段提交实现简单守护的意志规约）、带意志过程的 vGLP 及其 GLP 实现。作者在社交图谱、社交网络和货币三个草根平台上演示了该方法，编译结果以脚本化人物运行 GLP 程序。
本事件热度走势
- 可比范围当前
- 9
- 可比范围峰值
- 910月16日 14:00
- 近 24 小时变化
- –
02.557.510
14:0015:0016:0017:00
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。