Workshop on Higher-Order Operational Techniques in Semantics (HOOTS II): Stanford, CA; December 8-12, 1997

语义学高阶运算技术研讨会 (HOOTS II)：斯坦福，加利福尼亚州；

• 批准号: 9714102
• 负责人: Carolyn Talcott
• 金额: $ 0.51万
• 依托单位: Stanford University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1997
• 资助国家: 美国
• 起止时间: 1997-09-01 至 1999-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9714102&HistoricalAwards=false
• 关键词: Workshop; Higher; Order; Operational; Techniques

9714102 This project sponsors a Workshop on Higher-Order Operational Techniques in Semantics (HOOTS II) held at Stanford during December 8-12, 1997. The workshop provides an opportunity for researchers working on various techniques based on operational semantics for reasoning about higher-order programs to work together to gain an in-depth understanding of the full spectrum of existing techniques, including those outside their immediate area of expertise. The workshop builds on the preliminary exchange of ideas promoted by HOOTS I, which took place at the Isaac Newton Institute for Mathematical Sciences in Cambridge, England, October 1995. The structure is that of a working meeting rather than a forum for presenting technical papers and includes a mix of activities. The workshop will result in progress towards a richer and more elegant framework for operational techniques to a wider range of languages using combined expertise of the participants in diverse areas of specialization. ***

9714102本项目赞助了1997年12月8-12日在斯坦福大学举行的语义高阶运算技术研讨会（HOOTS II）。研讨会为研究基于高阶程序推理的操作语义的各种技术的研究人员提供了一个机会，使他们能够共同努力，深入了解现有技术的全部范围，包括他们直接专业领域之外的技术。讲习班建立在1995年10月在英国剑桥艾萨克·牛顿数学科学研究所举行的HOOTS I所促进的初步思想交流的基础上。它的结构是一个工作会议，而不是一个发表技术论文的论坛，并包括各种活动。研讨会将利用与会者在不同专业领域的综合专业知识，为更广泛的语言提供更丰富、更优雅的操作技术框架。* * *