Symbolic synthesis of knowledge-based program implementations

基于知识的程序实现的符号综合

• 批准号: DP120102489
• 负责人: Prof Ron van der Meyden
• 金额: $ 23.68万
• 依托单位: The University of New South Wales
• 依托单位国家: 澳大利亚
• 项目类别: Discovery Projects
• 财政年份: 2012
• 资助国家: 澳大利亚
• 起止时间: 2012-03-07 至 2016-12-31
• 项目状态: 已结题
• 来源: https://dataportal.arc.gov.au/RGS/Web/Grants/DP120102489
• 关键词: Symbolic; synthesis; knowledge; based; program

Systems with concurrent streams of activity are ubiquitous in computer hardware and software designs, but are conceptually complex, and fraught with faults and inefficiency. The project aims to address these difficulties by automating aspects of system design, to relieve the designer of the need to reason about complex patterns of information flow.

具有并发活动流的系统在计算机硬件和软件设计中无处不在，但是在概念上是复杂的，并且充满了故障和低效率。该项目旨在通过自动化系统设计来解决这些困难，以减轻设计人员对复杂信息流模式的推理需求。