CRII: SHF: Systematic Construction of Teaching Language Progressions for Embedded Domain-Specific Languages

CRII:SHF:嵌入式领域特定语言教学语言进程的系统构建

基本信息

  • 批准号:
    2348408
  • 负责人:
  • 金额:
    $ 17.5万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Standard Grant
  • 财政年份:
    2024
  • 资助国家:
    美国
  • 起止时间:
    2024-04-15 至 2026-03-31
  • 项目状态:
    未结题

项目摘要

The project explores the development of teaching language progressions for Embedded Domain-Specific Languages (EDSLs), focusing on making programming more accessible to novice learners. It addresses the challenging transition from basic programming to advanced EDSLs. The project's novelties are its approach to simplify EDSLs into starter versions, gradually introducing complexity, and its methodology to construct these teaching languages by repurposing existing EDSL components. The project's impacts are significant, aiming to democratize programming education and enhance learners' grasp of complex programming languages, ultimately contributing to a more inclusive and skilled programming community.In a more technical scope, the project employs a structured approach to create two tailored teaching EDSLs (tEDSLs), specifically for algebraic pattern matching and constraint logic programming. These tEDSLs are designed to evolve in complexity, aligning with the learners' growing proficiency. The investigator will conduct a pilot study with novice students to evaluate the effectiveness of these tEDSLs, assessing both learning outcomes and engagement levels. This endeavor is expected to yield significant advances in programming language design and computer science education, fostering an easier transition for learners to master expert-level EDSLs and potentially shaping future pedagogical strategies in programming education.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.
该项目探索嵌入式领域特定语言(EDSL)教学语言进展的开发,重点是让新手学习者更容易编程。它解决了从基本编程到高级EDSL的挑战性过渡。该项目的新颖之处在于它将EDSL简化为入门版本的方法,逐渐引入复杂性,以及通过重新利用现有EDSL组件来构建这些教学语言的方法。该项目的影响是显著的,旨在使编程教育民主化,提高学习者对复杂编程语言的掌握,最终有助于建立一个更具包容性和技能的编程社区。在更技术的范围内,该项目采用结构化的方法创建两个量身定制的教学EDSL(tEDSL),专门用于代数模式匹配和约束逻辑编程。这些tEDSL的目的是在复杂性的演变,与学习者不断增长的熟练程度。研究者将对新手学生进行一项试点研究,以评估这些tEDSL的有效性,评估学习成果和参与度。这一奋进有望在编程语言设计和计算机科学教育方面取得重大进展,促进学习者更容易地过渡到掌握专家级EDSL,并可能塑造未来编程教育的教学策略。该奖项反映了NSF的法定使命,并被认为值得通过使用基金会的智力价值和更广泛的影响审查标准进行评估来支持。

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)

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

{{ 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 }}

Jason Hemann其他文献

A Summer Stem Outreach Program Run By Graduate Students: Successes, Challenges, And Recommendations For Implementation
由研究生开展的夏季干外展计划:成功、挑战和实施建议
  • DOI:
    10.51355/jstem.2018.40
  • 发表时间:
    2018
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Daniel B Schwab;L. W. Cole;Karna M Desai;Jason Hemann;K. R. Hummels;Adam V. Maltese
  • 通讯作者:
    Adam V. Maltese

Jason Hemann的其他文献

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

相似国自然基金

天然超短抗菌肽Temporin-SHf衍生多肽的构效分析与抗菌机制研究
  • 批准号:
  • 批准年份:
    2024
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
衔接蛋白SHF负向调控胶质母细胞瘤中EGFR/EGFRvIII再循环和稳定性的功能及机制研究
  • 批准号:
    82302939
  • 批准年份:
    2023
  • 资助金额:
    30 万元
  • 项目类别:
    青年科学基金项目
EGFR/GRβ/Shf调控环路在胶质瘤中的作用机制研究
  • 批准号:
    81572468
  • 批准年份:
    2015
  • 资助金额:
    60.0 万元
  • 项目类别:
    面上项目

相似海外基金

Collaborative Research: SHF: Small: LEGAS: Learning Evolving Graphs At Scale
协作研究:SHF:小型:LEGAS:大规模学习演化图
  • 批准号:
    2331302
  • 财政年份:
    2024
  • 资助金额:
    $ 17.5万
  • 项目类别:
    Standard Grant
Collaborative Research: SHF: Small: LEGAS: Learning Evolving Graphs At Scale
协作研究:SHF:小型:LEGAS:大规模学习演化图
  • 批准号:
    2331301
  • 财政年份:
    2024
  • 资助金额:
    $ 17.5万
  • 项目类别:
    Standard Grant
Collaborative Research: SHF: Medium: Differentiable Hardware Synthesis
合作研究:SHF:媒介:可微分硬件合成
  • 批准号:
    2403134
  • 财政年份:
    2024
  • 资助金额:
    $ 17.5万
  • 项目类别:
    Standard Grant
CAREER: SHF: Bio-Inspired Microsystems for Energy-Efficient Real-Time Sensing, Decision, and Adaptation
职业:SHF:用于节能实时传感、决策和适应的仿生微系统
  • 批准号:
    2340799
  • 财政年份:
    2024
  • 资助金额:
    $ 17.5万
  • 项目类别:
    Continuing Grant
Collaborative Research: SHF: Small: Efficient and Scalable Privacy-Preserving Neural Network Inference based on Ciphertext-Ciphertext Fully Homomorphic Encryption
合作研究:SHF:小型:基于密文-密文全同态加密的高效、可扩展的隐私保护神经网络推理
  • 批准号:
    2412357
  • 财政年份:
    2024
  • 资助金额:
    $ 17.5万
  • 项目类别:
    Standard Grant
SHF: Small: Taming Huge Page Problems for Memory Bulk Operations Using a Hardware/Software Co-Design Approach
SHF:小:使用硬件/软件协同设计方法解决内存批量操作的大页面问题
  • 批准号:
    2400014
  • 财政年份:
    2024
  • 资助金额:
    $ 17.5万
  • 项目类别:
    Standard Grant
Collaborative Research: SHF: Medium: Enabling Graphics Processing Unit Performance Simulation for Large-Scale Workloads with Lightweight Simulation Methods
合作研究:SHF:中:通过轻量级仿真方法实现大规模工作负载的图形处理单元性能仿真
  • 批准号:
    2402804
  • 财政年份:
    2024
  • 资助金额:
    $ 17.5万
  • 项目类别:
    Standard Grant
Collaborative Research: SHF: Medium: Tiny Chiplets for Big AI: A Reconfigurable-On-Package System
合作研究:SHF:中:用于大人工智能的微型芯片:可重新配置的封装系统
  • 批准号:
    2403408
  • 财政年份:
    2024
  • 资助金额:
    $ 17.5万
  • 项目类别:
    Standard Grant
SHF: SMALL: A New Semantics for Type-Level Programming in Haskell
SHF:SMALL:Haskell 中类型级编程的新语义
  • 批准号:
    2345580
  • 财政年份:
    2024
  • 资助金额:
    $ 17.5万
  • 项目类别:
    Standard Grant
SHF: Small: QED - A New Approach to Scalable Verification of Hardware Memory Consistency
SHF:小型:QED - 硬件内存一致性可扩展验证的新方法
  • 批准号:
    2332891
  • 财政年份:
    2024
  • 资助金额:
    $ 17.5万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了