Scholarlink

We formalize Agha, Mason, Smith, and Talcott’s actor language (AMST) [2] using the Athena proof assistant [3]. Since Athena is a dual deduction and computation language, we can both rigorously prove formal properties of actor systems, as well as synthesize executable actor code from the theory.

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

The AMST Language: Formal Verification and Execution of Actor Systems

  • 章节

  • 发表日期：

    2026年

查看全文
  • Carlos A. Varela

摘要

We formalize Agha, Mason, Smith, and Talcott’s actor language (AMST) [2] using the Athena proof assistant [3]. Since Athena is a dual deduction and computation language, we can both rigorously prove formal properties of actor systems, as well as synthesize executable actor code from the theory.