CI-ADDO-EN: Infrastructure for the Production of Languages

CI-ADDO-EN:语言生产的基础设施

基本信息

  • 批准号:
    0855140
  • 负责人:
  • 金额:
    $ 66万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Continuing Grant
  • 财政年份:
    2009
  • 资助国家:
    美国
  • 起止时间:
    2009-09-01 至 2014-08-31
  • 项目状态:
    已结题

项目摘要

In response to a strong demand from its users, the PLT infrastructure project aims to equip the PLT Scheme software infrastructure with four key components. Objective one is to reduce the running time of PLT Scheme object code; the PIs intend to accomplish this with the addition of a just- in-time compiler. The second objective calls for an enhanced ability to embed foreign code into PLT Scheme and vice versa; the plan calls for the implementation of a dynamic foreign function interface that allows programmers to develop and embed C code in an incremental manner. The project's third objective is to integrate a web repository for software libraries directly into the programming language. Objective four is to assist educational users (middle schools, high schools, colleges, and some graduate courses) with additional teaching libraries; to this end, the PIs are designing a framework for plugging special-purpose functional languages into the PLT Scheme framework.
为了满足用户的强烈需求,PLT基础设施项目旨在为PLT计划软件基础设施配备四个关键组件。目标之一是减少PLT Scheme目标代码的运行时间; PI打算通过添加即时编译器来实现这一点。第二个目标要求增强将外来代码嵌入PLT Scheme的能力,反之亦然;该计划要求实现一个动态的外来函数接口,允许程序员以增量方式开发和嵌入C代码。该项目的第三个目标是将软件库的Web存储库直接集成到编程语言中。第四个目标是帮助教育用户(初中、高中、大学和一些研究生课程)增加教学库;为此,PI正在设计一个框架,用于将专用函数语言插入PLT Scheme框架。

项目成果

期刊论文数量(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 }}

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
  • 资助金额:
    $ 66万
  • 项目类别:
    Standard Grant
SHF: Small: Beyond Behavioral Software Contracts
SHF:小型:超越行为软件合同
  • 批准号:
    2116372
  • 财政年份:
    2021
  • 资助金额:
    $ 66万
  • 项目类别:
    Standard Grant
SHF: Small: A Mechanism for Extending A Programming Language with Interactive Syntax
SHF:小型:一种用交互式语法扩展编程语言的机制
  • 批准号:
    2007686
  • 财政年份:
    2020
  • 资助金额:
    $ 66万
  • 项目类别:
    Standard Grant
CRI: CI-SUSTAIN: Racket on Alternative Platforms
CRI:CI-SUSTAIN:替代平台上的喧嚣
  • 批准号:
    1823244
  • 财政年份:
    2018
  • 资助金额:
    $ 66万
  • 项目类别:
    Continuing Grant
SHF: Large: Gradual Typing Across the Spectrum
SHF:大:跨范围的逐步打字
  • 批准号:
    1518844
  • 财政年份:
    2015
  • 资助金额:
    $ 66万
  • 项目类别:
    Standard Grant
CI-EN: Collaborative: Run Your Research with Redex
CI-EN:协作:使用 Redex 进行研究
  • 批准号:
    1405881
  • 财政年份:
    2014
  • 资助金额:
    $ 66万
  • 项目类别:
    Standard Grant
SHF: Small: Collaborative Research: Compiler Coaching
SHF:小型:协作研究:编译器指导
  • 批准号:
    1421412
  • 财政年份:
    2014
  • 资助金额:
    $ 66万
  • 项目类别:
    Standard Grant
SHF: Medium: Collaborative Research: Semantics Engineering for Scripting Languages
SHF:媒介:协作研究:脚本语言的语义工程
  • 批准号:
    1064922
  • 财政年份:
    2011
  • 资助金额:
    $ 66万
  • 项目类别:
    Standard Grant
SHF: Small: Collaborative Research: Modular ACL2
SHF:小型:协作研究:模块化 ACL2
  • 批准号:
    1016418
  • 财政年份:
    2010
  • 资助金额:
    $ 66万
  • 项目类别:
    Standard Grant
Collaborative Proposal: Integrating Theorem Proving into the Software Engineering Curriculum
协作提案:将定理证明融入软件工程课程
  • 批准号:
    0632872
  • 财政年份:
    2007
  • 资助金额:
    $ 66万
  • 项目类别:
    Standard Grant

相似海外基金

Collaborative Research: CI-ADDO-EN: Research Repository for Model-Driven Software Development (REMODD)
协作研究:CI-ADDO-EN:模型驱动软件开发研究存储库 (REMODD)
  • 批准号:
    1305381
  • 财政年份:
    2013
  • 资助金额:
    $ 66万
  • 项目类别:
    Standard Grant
Collaborative Research: CI-ADDO-EN: Making Internet Routing Data Accessible To All
合作研究:CI-ADDO-EN:让所有人都能访问互联网路由数据
  • 批准号:
    1305404
  • 财政年份:
    2013
  • 资助金额:
    $ 66万
  • 项目类别:
    Standard Grant
CI-ADDO-EN: Collaborative Research: Enhancing the srcML Infrastructure: A Mixed-Language Exploration, Analysis, and Manipulation Framework to Support Software Evolution
CI-ADDO-EN:协作研究:增强 srcML 基础设施:支持软件演进的混合语言探索、分析和操作框架
  • 批准号:
    1305292
  • 财政年份:
    2013
  • 资助金额:
    $ 66万
  • 项目类别:
    Standard Grant
Collaborative Research: CI-ADDO-EN: Making Internet Routing Data Accessible To All
合作研究:CI-ADDO-EN:让所有人都能访问互联网路由数据
  • 批准号:
    1305218
  • 财政年份:
    2013
  • 资助金额:
    $ 66万
  • 项目类别:
    Standard Grant
CI-ADDO-EN: Smart Home in a Box: Creating a Large Scale, Long Term Repository for Smart Environment Technologies
CI-ADDO-EN:盒子里的智能家居:为智能环境技术创建大规模、长期存储库
  • 批准号:
    1262814
  • 财政年份:
    2013
  • 资助金额:
    $ 66万
  • 项目类别:
    Standard Grant
CI-ADDO-EN: Infrastructure for the RF-Powered Computing Community
CI-ADDO-EN:射频驱动计算社区的基础设施
  • 批准号:
    1305072
  • 财政年份:
    2013
  • 资助金额:
    $ 66万
  • 项目类别:
    Standard Grant
CRI-CI-ADDO-EN: National File System Trace Repository
CRI-CI-ADDO-EN:国家文件系统跟踪存储库
  • 批准号:
    1305360
  • 财政年份:
    2013
  • 资助金额:
    $ 66万
  • 项目类别:
    Standard Grant
Collaborative Research: CI-ADDO-EN: Research Repository for Model-Driven Software Development (REMODD)
协作研究:CI-ADDO-EN:模型驱动软件开发研究存储库 (REMODD)
  • 批准号:
    1305358
  • 财政年份:
    2013
  • 资助金额:
    $ 66万
  • 项目类别:
    Standard Grant
CI-ADDO-EN: Collaborative Research: Enhancing the srcML Infrastructure: A Mixed-Language Exploration, Analysis, and Manipulation Framework to Support Software Evolution
CI-ADDO-EN:协作研究:增强 srcML 基础设施:支持软件演进的混合语言探索、分析和操作框架
  • 批准号:
    1305217
  • 财政年份:
    2013
  • 资助金额:
    $ 66万
  • 项目类别:
    Standard Grant
Collaborative Research: CI-ADDO-EN: Making Internet Routing Data Accessible To All
合作研究:CI-ADDO-EN:让所有人都能访问互联网路由数据
  • 批准号:
    1305346
  • 财政年份:
    2013
  • 资助金额:
    $ 66万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了