An assertional proof theory for multi-threaded control flow in the object-based core of Java

Java基于对象核心中多线程控制流的断言证明理论

• 批准号: 5330420
• 负责人: Professor Dr. Willem-Paul de Roever
• 金额: --
• 依托单位: Institut für Informatik
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 2001
• 资助国家: 德国
• 起止时间: 2000-12-31 至 2001-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/5330420?language=en
• 关键词: assertional; proof; theory; multi; threaded

No abstract available

没有可用的摘要