Compiler Analysis of Imperative, Object-oriented Type Signatures for Program Development, Users Assistance, and Program Testing

用于程序开发、用户帮助和程序测试的命令式、面向对象类型签名的编译器分析

• 批准号: 9711531
• 负责人: Ron Cytron
• 金额: $ 5.93万
• 依托单位: Washington University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1997
• 资助国家: 美国
• 起止时间: 1997-09-15 至 2000-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9711531&HistoricalAwards=false
• 关键词: Compiler; Analysis; Imperative; Object; oriented

This project aims to analyze imperative, object-oriented programs for type signature information, which can help automate several programming tasks that are currently performed manually. Type signatures summarize the behavior of a program's methods, functions, or procedures; while such information has been used to advantage in the functional programming language community, little has been done to investigate how popular, object-oriented languages could benefit from use of type signatures. The research will improve the quality and efficiency of software navigation and reuse; software testing and demonstration; and construction of graphical and non-graphical user interfaces. Novel aspects include use of data flow analysis to refine and improve the precision of type signatures extracted from imperative languages and analysis of method call-sequences that accomplish or approximate a given type signature.

这个项目的目的是分析命令式的，面向对象的程序的类型签名信息，这可以帮助自动化目前手动执行的几个编程任务。类型签名总结了程序的方法、函数或过程的行为;虽然这些信息已经在函数式编程语言社区中得到了利用，但很少有人研究流行的面向对象语言如何从类型签名的使用中受益。该研究将提高软件导航和重用的质量和效率;软件测试和演示;以及图形和非图形用户界面的构建。 新的方面包括使用数据流分析来细化和提高从命令式语言中提取的类型签名的精度，以及分析完成或近似给定类型签名的方法调用序列。