SHF: Small: A Mechanism for Extending A Programming Language with Interactive Syntax

SHF:小型:一种用交互式语法扩展编程语言的机制

基本信息

  • 批准号:
    2007686
  • 负责人:
  • 金额:
    $ 44.99万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Standard Grant
  • 财政年份:
    2020
  • 资助国家:
    美国
  • 起止时间:
    2020-07-01 至 2024-06-30
  • 项目状态:
    已结题

项目摘要

Software developers write programs as linear text. At the moment, this way of programming is the dominant way of instructing computers in industry. While the computer does not care in which format instructions are entered, the format greatly matters to the developer who must read a program many months later to understand and improve the code. The problem is that a good amount of this linear program text describes geometric relationships among different pieces of the program's problem domain, say a piece of a map or a tabular arrangement of information. No effort on the part of a software developer can ever express such relationships in a textual way that makes them easy to decipher. The goal of this project is to demonstrate that form of textual-visual programming will greatly improve the communication between developers across time.The project develops a mechanism for supplementing textual programming languages with visual and interactive elements: miniature graphical user interfaces (GUIs). Using this mechanism, developers can create mini GUIs for specific problem domains such as, for example, two-dimension tables of conditional actions. Other developers add instances of these mini-GUIs to their code and interact with them to enter specific details. When the code is supposed to be run, the translator collaborates with these visual elements to render them as ordinary instructions. When the code is to be read, the visual nature expresses the geometric relationships much more directly than linear text. The project team will evaluate the mechanism across several dozen application areas.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.
软件开发人员将程序编写为线性文本。目前,这种编程方式是工业中指导计算机的主要方式。虽然计算机并不关心输入指令的格式,但格式对开发人员来说非常重要,他们必须在几个月后阅读程序以理解和改进代码。 问题是,大量的线性程序文本描述了程序问题域中不同部分之间的几何关系,比如一张地图或一个信息表格。软件开发人员的任何努力都不能以文本的方式表达这种关系,使它们易于破译。这个项目的目标是证明文本可视化编程的形式将极大地改善开发人员之间的沟通。该项目开发了一种机制,用于补充文本编程语言与可视化和交互元素:微型图形用户界面(GUI)。 使用这种机制,开发人员可以为特定的问题域创建迷你GUI,例如条件动作的二维表。其他开发人员将这些迷你GUI的实例添加到他们的代码中,并与它们交互以输入特定的细节。当代码应该运行时,翻译器与这些可视元素协作,将它们呈现为普通指令。当要阅读代码时,视觉性质比线性文本更直接地表达几何关系。该奖项反映了NSF的法定使命,并通过使用基金会的知识价值和更广泛的影响审查标准进行评估,被认为值得支持。

项目成果

期刊论文数量(3)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Injecting Language Workbench Technology into Mainstream Languages
将Language Workbench技术注入主流语言
Adding interactive visual syntax to textual code
向文本代码添加交互式视觉语法
Macros for domain-specific languages
特定领域语言的宏
{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

Matthias Felleisen其他文献

Making Hybrid Languages: A Recipe
制作混合语言:秘诀
  • DOI:
    10.48550/arxiv.2403.01335
  • 发表时间:
    2024
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Leif Andersen;Cameron Moy;Stephen Chang;Matthias Felleisen
  • 通讯作者:
    Matthias Felleisen
Gradual typing for first-class classes
一流课程的逐步打字
  • DOI:
    10.1145/2384616.2384674
  • 发表时间:
    2012
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Asumu Takikawa;T. Strickland;Christos Dimoulas;Sam Tobin;Matthias Felleisen
  • 通讯作者:
    Matthias Felleisen
Effectful Software Contracts (with Appendices)
有效的软件合同(含附录)
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Cameron Moy;Christos Dimoulas;Matthias Felleisen
  • 通讯作者:
    Matthias Felleisen
The design and implementation of typed scheme
类型化方案的设计与实现

Matthias Felleisen的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Matthias Felleisen', 18)}}的其他基金

SHF: Small: Programming, and Reasoning about, Actors that Share State
SHF:小:共享状态的参与者的编程和推理
  • 批准号:
    2315884
  • 财政年份:
    2023
  • 资助金额:
    $ 44.99万
  • 项目类别:
    Standard Grant
SHF: Small: Beyond Behavioral Software Contracts
SHF:小型:超越行为软件合同
  • 批准号:
    2116372
  • 财政年份:
    2021
  • 资助金额:
    $ 44.99万
  • 项目类别:
    Standard Grant
CRI: CI-SUSTAIN: Racket on Alternative Platforms
CRI:CI-SUSTAIN:替代平台上的喧嚣
  • 批准号:
    1823244
  • 财政年份:
    2018
  • 资助金额:
    $ 44.99万
  • 项目类别:
    Continuing Grant
SHF: Large: Gradual Typing Across the Spectrum
SHF:大:跨范围的逐步打字
  • 批准号:
    1518844
  • 财政年份:
    2015
  • 资助金额:
    $ 44.99万
  • 项目类别:
    Standard Grant
CI-EN: Collaborative: Run Your Research with Redex
CI-EN:协作:使用 Redex 进行研究
  • 批准号:
    1405881
  • 财政年份:
    2014
  • 资助金额:
    $ 44.99万
  • 项目类别:
    Standard Grant
SHF: Small: Collaborative Research: Compiler Coaching
SHF:小型:协作研究:编译器指导
  • 批准号:
    1421412
  • 财政年份:
    2014
  • 资助金额:
    $ 44.99万
  • 项目类别:
    Standard Grant
SHF: Medium: Collaborative Research: Semantics Engineering for Scripting Languages
SHF:媒介:协作研究:脚本语言的语义工程
  • 批准号:
    1064922
  • 财政年份:
    2011
  • 资助金额:
    $ 44.99万
  • 项目类别:
    Standard Grant
SHF: Small: Collaborative Research: Modular ACL2
SHF:小型:协作研究:模块化 ACL2
  • 批准号:
    1016418
  • 财政年份:
    2010
  • 资助金额:
    $ 44.99万
  • 项目类别:
    Standard Grant
CI-ADDO-EN: Infrastructure for the Production of Languages
CI-ADDO-EN:语言生产的基础设施
  • 批准号:
    0855140
  • 财政年份:
    2009
  • 资助金额:
    $ 44.99万
  • 项目类别:
    Continuing Grant
Collaborative Proposal: Integrating Theorem Proving into the Software Engineering Curriculum
协作提案:将定理证明融入软件工程课程
  • 批准号:
    0632872
  • 财政年份:
    2007
  • 资助金额:
    $ 44.99万
  • 项目类别:
    Standard Grant

相似国自然基金

昼夜节律性small RNA在血斑形成时间推断中的法医学应用研究
  • 批准号:
  • 批准年份:
    2024
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
tRNA-derived small RNA上调YBX1/CCL5通路参与硼替佐米诱导慢性疼痛的机制研究
  • 批准号:
    n/a
  • 批准年份:
    2022
  • 资助金额:
    10.0 万元
  • 项目类别:
    省市级项目
Small RNA调控I-F型CRISPR-Cas适应性免疫性的应答及分子机制
  • 批准号:
    32000033
  • 批准年份:
    2020
  • 资助金额:
    24.0 万元
  • 项目类别:
    青年科学基金项目
Small RNAs调控解淀粉芽胞杆菌FZB42生防功能的机制研究
  • 批准号:
    31972324
  • 批准年份:
    2019
  • 资助金额:
    58.0 万元
  • 项目类别:
    面上项目
变异链球菌small RNAs连接LuxS密度感应与生物膜形成的机制研究
  • 批准号:
    81900988
  • 批准年份:
    2019
  • 资助金额:
    21.0 万元
  • 项目类别:
    青年科学基金项目
基于small RNA 测序技术解析鸽分泌鸽乳的分子机制
  • 批准号:
    31802058
  • 批准年份:
    2018
  • 资助金额:
    26.0 万元
  • 项目类别:
    青年科学基金项目
肠道细菌关键small RNAs在克罗恩病发生发展中的功能和作用机制
  • 批准号:
    31870821
  • 批准年份:
    2018
  • 资助金额:
    56.0 万元
  • 项目类别:
    面上项目
Small RNA介导的DNA甲基化调控的水稻草矮病毒致病机制
  • 批准号:
    31772128
  • 批准年份:
    2017
  • 资助金额:
    60.0 万元
  • 项目类别:
    面上项目
基于small RNA-seq的针灸治疗桥本甲状腺炎的免疫调控机制研究
  • 批准号:
    81704176
  • 批准年份:
    2017
  • 资助金额:
    20.0 万元
  • 项目类别:
    青年科学基金项目
水稻OsSGS3与OsHEN1调控small RNAs合成及其对抗病性的调节
  • 批准号:
    91640114
  • 批准年份:
    2016
  • 资助金额:
    85.0 万元
  • 项目类别:
    重大研究计划

相似海外基金

Elucidation of the mechanism of regulation of HGF expression in small chemical compound-induced HGF-producing cells
阐明小化合物诱导的 HGF 产生细胞中 HGF 表达的调节机制
  • 批准号:
    23K11807
  • 财政年份:
    2023
  • 资助金额:
    $ 44.99万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Identifying and targeting a novel mechanism of chemotherapy-induced immunotherapeutic resistance in non-small cell lung cancer
识别和靶向非小细胞肺癌化疗引起的免疫治疗耐药的新机制
  • 批准号:
    10657188
  • 财政年份:
    2023
  • 资助金额:
    $ 44.99万
  • 项目类别:
Elucidation of the mechanism of nuclear localization of Nrf2 transcription factor by the small Maf proteins
阐明小 Maf 蛋白对 Nrf2 转录因子核定位的机制
  • 批准号:
    23K06409
  • 财政年份:
    2023
  • 资助金额:
    $ 44.99万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Molecular mechanism of the helminth expulsion by small intestinal epithelial tuft cells
小肠上皮簇细胞驱除蠕虫的分子机制
  • 批准号:
    23K14511
  • 财政年份:
    2023
  • 资助金额:
    $ 44.99万
  • 项目类别:
    Grant-in-Aid for Early-Career Scientists
The role of liquid-liquid phase separation in the mechanism of small RNA amplification
液-液相分离在小RNA扩增机制中的作用
  • 批准号:
    23H02412
  • 财政年份:
    2023
  • 资助金额:
    $ 44.99万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
Exploring the mechanism of "small meals" in thin young women focusing on brain insulin sensitivity.
探讨消瘦年轻女性“少食多餐”关注大脑胰岛素敏感性的机制。
  • 批准号:
    23K18424
  • 财政年份:
    2023
  • 资助金额:
    $ 44.99万
  • 项目类别:
    Grant-in-Aid for Challenging Research (Exploratory)
Mechanism of Action of Prion Protein-Lowering Small Molecules
降低朊病毒蛋白小分子的作用机制
  • 批准号:
    10637745
  • 财政年份:
    2023
  • 资助金额:
    $ 44.99万
  • 项目类别:
Analysis of the expression mechanism of small heat shock proteins in periodontal tissue regeneration
小热激蛋白在牙周组织再生中的表达机制分析
  • 批准号:
    23K16009
  • 财政年份:
    2023
  • 资助金额:
    $ 44.99万
  • 项目类别:
    Grant-in-Aid for Early-Career Scientists
Elucidation of the mechanism of Notch-mediated acquisition of interepithelial lymphocyte diversity in the small intestine using single-cell analysis technology
利用单细胞分析技术阐明Notch介导的小肠上皮间淋巴细胞多样性获取机制
  • 批准号:
    23K06585
  • 财政年份:
    2023
  • 资助金额:
    $ 44.99万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
AF: Small: Next Steps for Weitzman’s Pandora's Box Problem in Mechanism Design
AF:小:韦茨曼机制设计潘多拉魔盒问题的后续步骤
  • 批准号:
    2329431
  • 财政年份:
    2023
  • 资助金额:
    $ 44.99万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了