SHF: Small: A Mechanism for Extending A Programming Language with Interactive Syntax
SHF: Small: A Mechanism for Extending A Programming Language with Interactive Syntax
批准号:
2007686
负责人:
Matthias Felleisen
金额:
$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.
期刊论文(3)
专著(0)
科研奖励(0)
会议论文
Injecting Language Workbench Technology into Mainstream Languages
将Language Workbench技术注入主流语言
DOI:
--
发表时间:
2023
期刊:
Open access series in informatics
影响因子:
--
作者:
[Ballantyne, Michael and]
通讯作者:
Ballantyne, Michael and
Adding interactive visual syntax to textual code
向文本代码添加交互式视觉语法
DOI:
10.1145/3428290
发表时间:
2020
期刊:
Proceedings of the ACM on Programming Languages
影响因子:
--
作者:
[Andersen, Leif, Ballantyne, Michael, Felleisen, Matthias]
通讯作者:
Felleisen, Matthias
Macros for domain-specific languages
特定领域语言的宏
DOI:
10.1145/3428297
发表时间:
2020
期刊:
Proceedings of the ACM on Programming Languages
影响因子:
--
作者:
[Ballantyne, Michael, King, Alexis, Felleisen, Matthias]
通讯作者:
Felleisen, Matthias
SHF: Small: Programming, and Reasoning about, Actors that Share State
-
批准号:2315884
-
项目类别:Standard Grant
-
资助金额:$54.0万
-
财政年份:2023
-
负责人:Matthias Felleisen
-
依托单位:
SHF: Small: Beyond Behavioral Software Contracts
-
批准号:2116372
-
项目类别:Standard Grant
-
资助金额:$49.86万
-
财政年份:2021
-
负责人:Matthias Felleisen
-
依托单位:
CRI: CI-SUSTAIN: Racket on Alternative Platforms
-
批准号:1823244
-
项目类别:Continuing Grant
-
资助金额:$99.94万
-
财政年份:2018
-
负责人:Matthias Felleisen
-
依托单位:
SHF: Large: Gradual Typing Across the Spectrum
-
批准号:1518844
-
项目类别:Standard Grant
-
资助金额:$220.0万
-
财政年份:2015
-
负责人:Matthias Felleisen
-
依托单位:
CI-EN: Collaborative: Run Your Research with Redex
-
批准号:1405881
-
项目类别:Standard Grant
-
资助金额:$20.0万
-
财政年份:2014
-
负责人:Matthias Felleisen
-
依托单位:
SHF: Small: Collaborative Research: Compiler Coaching
-
批准号:1421412
-
项目类别:Standard Grant
-
资助金额:$31.64万
-
财政年份:2014
-
负责人:Matthias Felleisen
-
依托单位:
SHF: Medium: Collaborative Research: Semantics Engineering for Scripting Languages
-
批准号:1064922
-
项目类别:Standard Grant
-
资助金额:$40.65万
-
财政年份:2011
-
负责人:Matthias Felleisen
-
依托单位:
SHF: Small: Collaborative Research: Modular ACL2
-
批准号:1016418
-
项目类别:Standard Grant
-
资助金额:$29.94万
-
财政年份:2010
-
负责人:Matthias Felleisen
-
依托单位:
CI-ADDO-EN: Infrastructure for the Production of Languages
-
批准号:0855140
-
项目类别:Continuing Grant
-
资助金额:$66.0万
-
财政年份:2009
-
负责人:Matthias Felleisen
-
依托单位:
Collaborative Proposal: Integrating Theorem Proving into the Software Engineering Curriculum
-
批准号:0632872
-
项目类别:Standard Grant
-
资助金额:$7.55万
-
财政年份:2007
-
负责人:Matthias Felleisen
-
依托单位:
CRI: Language-Oriented Programming in PLT Scheme
-
批准号:0551486
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2006
-
负责人:Matthias Felleisen
-
依托单位:
SoD-HCER: Collaborative Research: Using Market Forces to Improve the Design of Software
-
批准号:0613805
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:2006
-
负责人:Matthias Felleisen
-
依托单位:
Interface-Oriented Programming
-
批准号:0540818
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:2006
-
负责人:Matthias Felleisen
-
依托单位:
Collaborative Research: Well-Founded Behavioral Software Contracts
-
批准号:0429595
-
项目类别:Standard Grant
-
资助金额:$16.94万
-
财政年份:2004
-
负责人:Matthias Felleisen
-
依托单位:
Collaborative Research: Robust Interactive Web Services
-
批准号:0306269
-
项目类别:Standard Grant
-
资助金额:$13.69万
-
财政年份:2003
-
负责人:Matthias Felleisen
-
依托单位:
Computing Education for Every Student in Secondary Schools
-
批准号:0010064
-
项目类别:Continuing Grant
-
资助金额:$189.6万
-
财政年份:2001
-
负责人:Matthias Felleisen
-
依托单位:
Modular Program Analyses for Higher-Order Programming Languages
-
批准号:9619756
-
项目类别:Continuing grant
-
资助金额:$0.0万
-
财政年份:1997
-
负责人:Matthias Felleisen
-
依托单位:
The Expressive Power of Programming Languages
-
批准号:8917022
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:1990
-
负责人:Matthias Felleisen
-
依托单位:
A Semantic Foundation for Program Optimization
-
批准号:8807520
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:1988
-
负责人:Matthias Felleisen
-
依托单位:
国内基金
海外基金
登录
查看更多内容
昼夜节律性small RNA在血斑形成时间推断中的法医学应用研究
-
批准号:
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2024
-
负责人:
-
依托单位:
tRNA-derived small RNA上调YBX1/CCL5通路参与硼替佐米诱导慢性疼痛的机制研究
-
批准号:
-
项目类别:省市级项目
-
资助金额:10.0万元
-
批准年份:2022
-
负责人:张祥忠
-
依托单位:
Small RNA调控I-F型CRISPR-Cas适应性免疫性的应答及分子机制
-
批准号:32000033
-
项目类别:青年科学基金项目
-
资助金额:24.0万元
-
批准年份:2020
-
负责人:林平
-
依托单位:
Small RNAs调控解淀粉芽胞杆菌FZB42生防功能的机制研究
-
批准号:31972324
-
项目类别:面上项目
-
资助金额:58.0万元
-
批准年份:2019
-
负责人:高学文
-
依托单位:
变异链球菌small RNAs连接LuxS密度感应与生物膜形成的机制研究
-
批准号:81900988
-
项目类别:青年科学基金项目
-
资助金额:21.0万元
-
批准年份:2019
-
负责人:毛梦莹
-
依托单位:
肠道细菌关键small RNAs在克罗恩病发生发展中的功能和作用机制
-
批准号:31870821
-
项目类别:面上项目
-
资助金额:56.0万元
-
批准年份:2018
-
负责人:陈江宁
-
依托单位:
基于small RNA 测序技术解析鸽分泌鸽乳的分子机制
-
批准号:31802058
-
项目类别:青年科学基金项目
-
资助金额:26.0万元
-
批准年份:2018
-
负责人:麻慧
-
依托单位:
Small RNA介导的DNA甲基化调控的水稻草矮病毒致病机制
-
批准号:31772128
-
项目类别:面上项目
-
资助金额:60.0万元
-
批准年份:2017
-
负责人:吴建国
-
依托单位:
基于small RNA-seq的针灸治疗桥本甲状腺炎的免疫调控机制研究
-
批准号:81704176
-
项目类别:青年科学基金项目
-
资助金额:20.0万元
-
批准年份:2017
-
负责人:赵继梦
-
依托单位:
水稻OsSGS3与OsHEN1调控small RNAs合成及其对抗病性的调节
-
批准号:91640114
-
项目类别:重大研究计划
-
资助金额:85.0万元
-
批准年份:2016
-
负责人:何祖华
-
依托单位: