SHF: Small: Collaborative Research: Semantic Foundations for Hole-Driven Development

SHF：小型：协作研究：空洞驱动开发的语义基础

• 批准号: 1817145
• 负责人: R Benjamin Shapiro
• 金额: $ 25万
• 依托单位: University of Colorado at Boulder
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2018
• 资助国家: 美国
• 起止时间: 2018-10-01 至 2021-09-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1817145&HistoricalAwards=false
• 关键词: SHF; Small; Collaborative; Research; Semantic; SHF; Small; Collaborative; Research; Semantic

Software developers today spend much of their time editing programs that are missing pieces or that contain transient errors of various sorts. Conventional language definitions are silent about programs with "holes" like these. As a result, current development tools resort to ad hoc heuristics that fail to provide precise, accurate feedback about the program exactly when the developer needs it most. To tackle the problem of programs with holes directly, the project's novelties are to provide (1) a principled mathematical characterization of programs with holes, and (2) an open source development environment called Hazel designed from the ground up to support hole-driven development. The project's impacts are that (1) Hazel will initially target CS instructors, students, and domain scientists working in STEM fields, all of whom stand to benefit from more precise, live feedback throughout the development process; and (2) the theoretical foundations and prototype will inform the design of other software development environments both in research and industry, much like programming language theory has had a major impact on programming language and compiler design in the past decades.By applying the rigorous methodology of programming language theory to problems in programming environment design, the project will open up substantial new research directions for semanticists and tool designers alike. This project has several related specific aims that support the practice and (currently under-developed) theory of interactive software development. These aims are connected by a common technical device: Typed Holes. Specifically, the project will develop (1) a static semantics for typed holes, (2) a dynamic semantics for live programming with typed holes, (3) a semantics for structured edit actions that insert typed holes automatically, and (4) a mechanism that uses typed holes to support programming by direct manipulation of graphical user interfaces inside the program editor.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.

当今，软件开发人员花费大量时间编辑缺少作品或包含各种瞬态错误的程序。传统的语言定义对具有这样的“孔”的程序保持沉默。结果，当前的开发工具诉诸于临时启发式方法，这些启发式方法无法在开发人员最需要的情况下准确地提供有关该程序的精确，准确的反馈。为了直接解决程序问题，该项目的新颖性是为（1）提供带有孔的程序的原则数学表征，以及（2）一个名为Hazel的开源开发环境，称为Hazel，从地面设计，以支持孔驱动驱动驱动的开发。该项目的影响是（1）Hazel最初将针对在STEM领域工作的CS讲师，学生和领域科学家，所有这些科学家都将在整个开发过程中受益于更精确的实时反馈； （2）理论基础和原型将为研究和行业中其他软件开发环境的设计提供信息，就像编程语言理论一样，在过去几十年中对编程语言和编译器设计对编程语言和编译器设计产生了重大影响。通过将编程语言理论的严格方法论应用于编程环境中的问题上，计划环境设计中，该项目将为更重要的新研究方向提供针对儿子设计师和工具设计师的实质性新研究方向。该项目具有几个相关的特定目的，可以支持交互式软件开发的实践和（当前不发达的）理论。这些目标是通过通用技术设备连接的：打字孔。具体而言，该项目将开发（1）用于打字孔的静态语义，（2）用于实时编程的动态语义，用于实时编程的动态语义，（（3）用于结构化编辑动作的语义，可自动插入键入孔的结构性编辑动作，以及使用类型的漏洞来支撑编程的机制，并通过直接支撑图形的用户统计范围来支撑图形的统计数据，并依次统计范围。值得通过基金会的智力优点和更广泛的影响审查标准来通过评估来支持。