EAGER: Exploratory Research on Gradual Programming

EAGER：渐进式编程的探索性研究

• 批准号: 0939991
• 负责人: Jeremy Siek
• 金额: $ 8.17万
• 依托单位: University of Colorado at Boulder
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2009
• 资助国家: 美国
• 起止时间: 2009-08-01 至 2011-07-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0939991&HistoricalAwards=false
• 关键词: EAGER; Exploratory; Research; Gradual; Programming

This EAGER grant explores early concepts of a new approach to computer programming. The semantic gap between what the programmer intends and what the code actually means significantly impedes efforts to improve programmer productivity, software reliability, and execution efficiency. To address the semantic gap, the project radically rethinks how to develop software. A new programming model, methodology, and system for ?gradual programming? will support the development of programs and programming language semantics in parallel. The vision advocates developing programs in a family of languages with varying semantics. Then, part of the development process involves nailing down the precise semantics of the program. A key issue involves the tradeoffs between expressiveness of a programming language and the ability to build tools capable of statically checking for programming errors. Such a vision is not without significant challenges and possible pitfalls, such as maintaining performance, and entrusting issues of programming language design to programmers. The project will study the sources of the semantic gap in the Java programming language to understand the problem better and articulate the approach more fully.

这项EAGER资助探索了计算机编程新方法的早期概念。程序员的意图和代码的实际含义之间的语义差距严重阻碍了提高程序员生产力、软件可靠性和执行效率的努力。 为了解决语义鸿沟，该项目从根本上重新思考如何开发软件。一个新的编程模型，方法和系统？渐进式编程？将支持并行开发程序和编程语言语义。 该愿景提倡用具有不同语义的语言家族开发程序。然后，开发过程的一部分涉及确定程序的精确语义。 一个关键问题涉及到编程语言的表达能力和构建能够静态检查编程错误的工具的能力之间的权衡。 这样的愿景并非没有重大的挑战和可能的陷阱，例如保持性能，并将编程语言设计的问题委托给程序员。 该项目将研究Java编程语言中语义差距的来源，以更好地理解问题并更全面地阐述方法。