A Proposal for European-American Collaboration on Semantics-Based Program Manipulation

9221774 Talcott文化的交融和启发对研究非常重要。研究主题，基于语义的程序操作，具有强大的潜力，使程序开发更自动化的基础上。大西洋两岸活跃的这个领域的研究团体都很小，几乎所有人都听说过彼此的观点。更长期、更直接的接触是有用的，也是必要的，它可以开辟看待老问题的新方法，并提出新的应用和研究问题。该奖项将支持国际合作，以加强已有的研究联系，增加思想和人员的交流，并促进六个欧洲和八个美国机构中具有密切相关研究兴趣的大学研究小组之间的协同作用。它利用了技术专长的多样性，如果没有如此激烈的互动，这是不可能的。预计通过在社区内更广泛地使用，结果将更广泛地可获得。从具有不同专业知识和共同目标的研究人员的相互作用中，可以预期新兴技术的更快发展。＊＊＊

9221774 Talcott Cultural cross-fertilization and inspiration are very important for research. The research theme, Semantics-Based Program Manipulation, has a strong potential to put program development on a more automated basis. This area's active research communities on each side of the Atlantic are sufficiently small that nearly all have heard of each other's viewpoints. Longer and more direct contacts are useful and needed, to open new ways of looking at old problems, and suggest new applications and problems for study. This award would support an international collaboration that would strengthen already-existing research contacts, increase exchange of ideas and personnel, and promote synergy among university research groups with closely related research interests at six European and eight American institutions. It takes advantage of a diversity of technical expertise in a way impossible without such an intense interaction. It is expected to result in wider accessibility of results initially through wider use within the community. More rapid development of emerging technology is anticipated from the interaction of researchers with diverse expertise and common goals. ***