CI-ADDO-EN: Infrastructure for the Production of Languages
CI-ADDO-EN: Infrastructure for the Production of Languages
批准号:
0855140
负责人:
Matthias Felleisen
金额:
$66.0万
依托单位:
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
2009
资助国家:
美国
项目状态:
已结题
起止时间:
2009-09-01 至 2014-08-31
中文摘要
为了回应用户的强烈需求,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
-
依托单位:
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
-
依托单位:
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
-
依托单位:
海外基金