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

9714102这个项目赞助了1997年12月8日至12日在斯坦福大学举行的语义学高级操作技巧讲习班(第二期)。研讨会为研究基于操作语义的各种技术的研究人员提供了一个机会，以便对更高级别的程序进行推理，从而共同努力，深入了解现有技术的全部范围，包括他们直接专业领域之外的技术。该讲习班建立在1995年10月在英国剑桥的艾萨克·牛顿数学科学研究所举行的HOOTS I促进的初步思想交流的基础上。这种结构是工作会议的结构，而不是提交技术文件的论坛，包括各种活动。讲习班将利用学员在不同专业领域的综合专门知识，为更广泛的语文业务技术制定更丰富、更优雅的框架。***

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. ***