课题基金 / 基金详情

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

CI-ADDO-EN: Infrastructure for the Production of Languages
CI-ADDO-EN:语言生产的基础设施
批准号:
0855140
负责人:
Matthias Felleisen
金额:
$66.0万
依托单位:
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
2009
资助国家:
美国
项目状态:
已结题
起止时间:
2009-09-01 至 2014-08-31

项目摘要

项目成果

Matthias Felleisen的其他基金

相似基金

相关文献

中文摘要
翻译
为了回应用户的强烈需求,PLT基础设施项目旨在为PLT计划的软件基础设施配备四个关键组件。目标一是减少PLT方案目标代码的运行时间;pi打算通过添加一个即时编译器来实现这一点。第二个目标要求增强将外部代码嵌入PLT Scheme的能力,反之亦然;该计划要求实现一个动态外部函数接口,允许程序员以增量的方式开发和嵌入C代码。该项目的第三个目标是将软件库的web存储库直接集成到编程语言中。目标四是为教育用户(初中、高中、大学和一些研究生课程)提供额外的教学图书馆;为此,pi正在设计一个框架,用于将特殊用途的函数式语言插入PLT Scheme框架。
英文摘要
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.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
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
  • 依托单位:
SHF: Small: A Mechanism for Extending A Programming Language with Interactive Syntax
  • 批准号:
    2007686
  • 项目类别:
    Standard Grant
  • 资助金额:
    $44.99万
  • 财政年份:
    2020
  • 负责人:
    Matthias Felleisen
  • 依托单位:
CRI: CI-SUSTAIN: Racket on Alternative Platforms
  • 批准号:
    1823244
  • 项目类别:
    Continuing Grant
  • 资助金额:
    $99.94万
  • 财政年份:
    2018
  • 负责人:
    Matthias Felleisen
  • 依托单位:
海外基金