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

欧美基于语义的程序操作合作的提案

• 批准号: 9221774
• 负责人: Carolyn Talcott
• 金额: $ 3万
• 依托单位: Stanford University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1994
• 资助国家: 美国
• 起止时间: 1994-09-15 至 1997-11-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9221774&HistoricalAwards=false
• 关键词: Proposal; European; American; Collaboration; Semantics

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

9221774塔尔科特文化的交叉施肥和灵感是非常重要的研究。 研究主题，基于语义的程序操作，有很强的潜力，把程序开发更自动化的基础上。 大西洋两岸活跃的这一领域的研究团体规模很小，几乎所有人都听说过彼此的观点。 更长时间和更直接的接触是有益的，也是必要的，以便开辟看待老问题的新途径，并提出新的应用和问题供研究。 该奖项将支持国际合作，以加强现有的研究联系，增加思想和人员交流，并促进在六个欧洲和八个美国机构具有密切相关研究兴趣的大学研究小组之间的协同作用。它利用了技术专长的多样性，如果没有如此激烈的互动，这是不可能的。 预计这将首先通过在社区内更广泛地使用，使人们更容易获得成果。 通过具有不同专业知识和共同目标的研究人员的相互作用，预计新兴技术将得到更迅速的发展。 ***