EAGER: Reconceiving Scripting Language Design

EAGER:重新构思脚本语言设计

基本信息

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

项目摘要

Scripting languages such as Python, Javascript, and Ruby have carved out an important niche: rapid development of solutions to small and medium sized problems. Unfortunately, scripting languages today also have significant shortcomings: type errors arise only at runtime, making it harder to isolate bugs; there are no declared type interfaces, forcing libraries to use informally-described interfaces; and runtime performance is poor compared to statically-typed languages. The main cause of these problems is the lack of a static type system.This project is preliminary work on a new scripting language that addresses this problem by developing a statically-typed scripting language from scratch, aiming to retain the flexibility of existing scripting languages while also solving the fundamental problems of difficult debugging and poor runtime performance. The PI's approach is based on subtype constraint type inference algorithms, which are very flexible and do not require type declarations.
Python、JavaScript和Ruby等脚本语言已经开辟了一个重要的利基市场:快速开发中小型问题的解决方案。 不幸的是,今天的脚本语言也有明显的缺点:类型错误只在运行时出现,使得更难隔离bug;没有声明类型接口,迫使库使用非正式描述的接口;与静态类型语言相比,运行时性能很差。 造成这些问题的主要原因是缺乏静态类型系统。本项目是针对这一问题的新脚本语言的初步工作,通过从头开始开发静态类型脚本语言,旨在保留现有脚本语言的灵活性,同时解决调试困难和运行时性能差的根本问题。 PI的方法是基于子类型约束类型推理算法,它非常灵活,不需要类型声明。

项目成果

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

Scott Smith其他文献

On the correlation functions associated with polynomials of the diffusion operator
关于与扩散算子多项式相关的相关函数
Neural Responses to Mechanical Stimulation are Sensitized by Insulin in Thin Muscle Afferents and Dorsal Root Ganglion Neurons
薄肌传入神经和背根神经节中的胰岛素使机械刺激的神经反应敏感
  • DOI:
  • 发表时间:
    2018
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Norio Hotta;Kimiaki Katanosaka;Kazue Mizumura;Jere Mitchell;Scott Smith;Masaki Mizuno
  • 通讯作者:
    Masaki Mizuno
Southern Great Plains (SGP) Aerosol Observing System (AOS) Instrument Handbook
南部大平原 (SGP) 气溶胶观测系统 (AOS) 仪器手册
  • DOI:
  • 发表时间:
    2021
  • 期刊:
  • 影响因子:
    0
  • 作者:
    J. Uin;B. Pnnl;Scott Smith
  • 通讯作者:
    Scott Smith
ST Wavefront Sensing and Control
ST 波前传感和控制
  • DOI:
  • 发表时间:
    2007
  • 期刊:
  • 影响因子:
    0
  • 作者:
    L. Feinberg;B. Dean;D. Aronstein;C. Bowers;Bill Hayden;R. Lyon;R. Shiri;Scott Smith;Scott Acton;Larkin Carey;A. Contos;E. Sabatke;J. Schwenker;D. Shields;Timothy W. Towel
  • 通讯作者:
    Timothy W. Towel
EFFECTS OF ALTERNATING CURRENT ELECTRICAL STIMULATION ON THE CELLULAR CHEMISTRY AND PROLIFERATION OF C2C12 MUSCLE CELLS
交流电刺激对 C2C12 肌细胞的细胞化学和增殖的影响
  • DOI:
  • 发表时间:
    2016
  • 期刊:
  • 影响因子:
    0
  • 作者:
    K. M. Koh;D. Nawarathna;D. Ewert;T. Gustad;Scott Smith;K. Hou
  • 通讯作者:
    K. Hou

Scott Smith的其他文献

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

{{ truncateString('Scott Smith', 18)}}的其他基金

GARDE: Design Projects to Enable Veteran Reintegration in an Educational System
GARDE:设计项目以帮助退伍军人重新融入教育系统
  • 批准号:
    1401507
  • 财政年份:
    2014
  • 资助金额:
    $ 15万
  • 项目类别:
    Standard Grant
REU Site: Summer Research Experiences in Wireless Sensor Networks - Design and Applications
REU 网站:无线传感器网络夏季研究经验 - 设计和应用
  • 批准号:
    1005106
  • 财政年份:
    2010
  • 资助金额:
    $ 15万
  • 项目类别:
    Continuing Grant
Collaborative Research: Integrating Asynchronous Digital Design into the Undergraduate Computer Engineering Curriculum throughout the Nation
合作研究:将异步数字设计纳入全国本科计算机工程课程
  • 批准号:
    0717572
  • 财政年份:
    2007
  • 资助金额:
    $ 15万
  • 项目类别:
    Standard Grant
Integrating Asynchronous Digital Design and Testing into the Undergraduate Computer Engineering Curriculum
将异步数字设计和测试融入本科计算机工程课程
  • 批准号:
    0536343
  • 财政年份:
    2006
  • 资助金额:
    $ 15万
  • 项目类别:
    Standard Grant
Gearing for Success: Scholar-Leaders in Mathematics and Computing
为成功做好准备:数学和计算领域的学者领袖
  • 批准号:
    0324131
  • 财政年份:
    2003
  • 资助金额:
    $ 15万
  • 项目类别:
    Standard Grant
MRI: Acquisition of Immersive WorkWall System for Campus-wide Visualization Research
MRI:购买沉浸式工作墙系统用于校园范围内的可视化研究
  • 批准号:
    0079557
  • 财政年份:
    2000
  • 资助金额:
    $ 15万
  • 项目类别:
    Standard Grant
Type Systems for Secure Programming
用于安全编程的类型系统
  • 批准号:
    9988491
  • 财政年份:
    2000
  • 资助金额:
    $ 15万
  • 项目类别:
    Continuing Grant
Types for Software Systems
软件系统的类型
  • 批准号:
    9619843
  • 财政年份:
    1997
  • 资助金额:
    $ 15万
  • 项目类别:
    Continuing Grant
Collaborative Research: Reasoning About Open Systems
协作研究:关于开放系统的推理
  • 批准号:
    9312433
  • 财政年份:
    1995
  • 资助金额:
    $ 15万
  • 项目类别:
    Standard Grant
Semantic Tools for Realistic Programming Languages
现实编程语言的语义工具
  • 批准号:
    9301340
  • 财政年份:
    1994
  • 资助金额:
    $ 15万
  • 项目类别:
    Continuing Grant

相似海外基金

Reconceiving Engagement with International Law in a Populist Era
在民粹主义时代重新考虑国际法
  • 批准号:
    DP220101584
  • 财政年份:
    2022
  • 资助金额:
    $ 15万
  • 项目类别:
    Discovery Projects
Reconceiving Extraterritorial Jurisdiction: From Formality to Function
重新认识域外管辖权:从形式到功能
  • 批准号:
    499582385
  • 财政年份:
    2022
  • 资助金额:
    $ 15万
  • 项目类别:
    Publication Grants
Reconceiving early detection of melanoma
重新考虑黑色素瘤的早期检测
  • 批准号:
    nhmrc : 2001517
  • 财政年份:
    2021
  • 资助金额:
    $ 15万
  • 项目类别:
    Clinical Trials and Cohort Studies Grants
Reconceiving Exhibit Design for Public Engagement with Science
重新构思公众参与科学的展览设计
  • 批准号:
    1811063
  • 财政年份:
    2018
  • 资助金额:
    $ 15万
  • 项目类别:
    Standard Grant
Reconceiving the queer public sphere: an interdisciplinary analysis of same-sex couple domesticity
重新构想酷儿公共领域:对同性伴侣家庭生活的跨学科分析
  • 批准号:
    FT110100642
  • 财政年份:
    2012
  • 资助金额:
    $ 15万
  • 项目类别:
    ARC Future Fellowships
Reconceiving Australian federalism: fundamental values, comparative models and constitutional interpretation
重新构想澳大利亚联邦制:基本价值观、比较模式和宪法解释
  • 批准号:
    FT100100469
  • 财政年份:
    2011
  • 资助金额:
    $ 15万
  • 项目类别:
    ARC Future Fellowships
Reconceiving Machine Learning
重新认识机器学习
  • 批准号:
    DP1095725
  • 财政年份:
    2010
  • 资助金额:
    $ 15万
  • 项目类别:
    Discovery Projects
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了