Principles of Embedded Language Design

嵌入式语言设计原理

基本信息

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

项目摘要

9404786 Hudak This project is in the area of programming language design and implementation. The project will develop new methodologies and tools for the design and implementation of domain specific languages (DSL). The project will apply the following ideas to the embedded language design. Extensible Language Design. Since a large portion of every language design effort is concerned with the design of the syntax, and other minor issues such as conditional statements, boolean and arithmetic operators, the project will investigate the use of generic syntax for the design of DSL's. The idea is to extend the generic syntax in a modular fashion to meet the needs of specific domains. Rapid DSL Realization Using Partial Evaluation. In order to develop DSL compilers quickly, the project will explore the use of partial evaluations. Although the resulting compilers will be less efficient than hand-crafted compilers, they will be constructed quickly and automatically, and they are provably correct with respect to the interpreter specifications. First-Class Tools. The project will apply the methodologies developed by the PI for specifying language tools such as debuggers and profilers, to the development of tools for DSL. ***
9404786 Hudak这个项目是在编程语言的设计和实施领域。该项目将开发用于设计和实现领域特定语言(DSL)的新方法和工具。本项目将把以下思想应用到嵌入式语言的设计中。 可扩展语言设计。由于每种语言设计工作的很大一部分都与语法的设计以及其他小问题(如条件语句、布尔和算术运算符)有关,因此该项目将研究在DSL设计中使用通用语法。其思想是以模块化的方式扩展通用语法,以满足特定领域的需求。 使用部分求值的快速DSL实现。为了快速开发DSL编译器,该项目将探索部分求值的使用。 虽然最终的编译器将比手工编译器效率低,但它们将被快速自动地构造,并且它们在解释器规范方面是可证明正确的。 一流的工具。该项目将应用PI开发的用于指定语言工具(如调试器和分析器)的方法来开发DSL工具。 ***

项目成果

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

Paul Hudak其他文献

Denotational semantics of a para-functional programming language

Paul Hudak的其他文献

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

{{ truncateString('Paul Hudak', 18)}}的其他基金

Collaborative Research: CSR/EHS: Building Physically Safe Embedded Systems
合作研究:CSR/EHS:构建物理安全的嵌入式系统
  • 批准号:
    0720682
  • 财政年份:
    2007
  • 资助金额:
    $ 22.5万
  • 项目类别:
    Continuing Grant
Functional Hybrid Modeling
功能混合建模
  • 批准号:
    0306046
  • 财政年份:
    2003
  • 资助金额:
    $ 22.5万
  • 项目类别:
    Standard Grant
ITR: Dance, a Programming Language for the Control of Humanoid Robots
ITR:舞蹈,一种用于控制人形机器人的编程语言
  • 批准号:
    0325690
  • 财政年份:
    2003
  • 资助金额:
    $ 22.5万
  • 项目类别:
    Standard Grant
ITR: A Framework for Rapid Development of Reliable Robotics Software
ITR:快速开发可靠机器人软件的框架
  • 批准号:
    0205542
  • 财政年份:
    2002
  • 资助金额:
    $ 22.5万
  • 项目类别:
    Standard Grant
Principles of Functional Reactive Programming
函数式反应式编程原理
  • 批准号:
    9900957
  • 财政年份:
    1999
  • 资助金额:
    $ 22.5万
  • 项目类别:
    Standard Grant
Building Evolutionary Software Through Modular Executable Specifications and Incremental Derivations
通过模块化可执行规范和增量推导构建进化软件
  • 批准号:
    9633390
  • 财政年份:
    1996
  • 资助金额:
    $ 22.5万
  • 项目类别:
    Continuing Grant
Enhancing Geographic Education with Data Visualization and GIS Technology
利用数据可视化和 GIS 技术加强地理教育
  • 批准号:
    9650346
  • 财政年份:
    1996
  • 资助金额:
    $ 22.5万
  • 项目类别:
    Standard Grant
Software Support for the Yale Haskell Implentation
对 Yale Haskell 实现的软件支持
  • 批准号:
    9104987
  • 财政年份:
    1991
  • 资助金额:
    $ 22.5万
  • 项目类别:
    Standard Grant
Principles and Applications of Partial Evaluation
部分评估的原理和应用
  • 批准号:
    9104043
  • 财政年份:
    1991
  • 资助金额:
    $ 22.5万
  • 项目类别:
    Standard Grant
The Operational Semantics of Parallel Functional Programs
并行函数程序的操作语义
  • 批准号:
    8809919
  • 财政年份:
    1988
  • 资助金额:
    $ 22.5万
  • 项目类别:
    Continuing Grant

相似国自然基金

Embedded Internet体系结构及应用研究
  • 批准号:
    69873007
  • 批准年份:
    1998
  • 资助金额:
    10.0 万元
  • 项目类别:
    面上项目

相似海外基金

CRII: SHF: Systematic Construction of Teaching Language Progressions for Embedded Domain-Specific Languages
CRII:SHF:嵌入式领域特定语言教学语言进程的系统构建
  • 批准号:
    2348408
  • 财政年份:
    2024
  • 资助金额:
    $ 22.5万
  • 项目类别:
    Standard Grant
Interaction of language frequencies and working memory for Japanese embedded clause processing
日语嵌入子句处理的语言频率和工作记忆的相互作用
  • 批准号:
    18F18004
  • 财政年份:
    2018
  • 资助金额:
    $ 22.5万
  • 项目类别:
    Grant-in-Aid for JSPS Fellows
Applying the programming language Ruby for embedded system development and implementation of high performance VM
应用Ruby编程语言进行嵌入式系统开发及高性能VM的实现
  • 批准号:
    25330065
  • 财政年份:
    2013
  • 资助金额:
    $ 22.5万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
RI: Small: Natural Language-Based Human Instruction for Task Embedded Robots
RI:小型:基于自然语言的任务嵌入式机器人人类指令
  • 批准号:
    1218932
  • 财政年份:
    2012
  • 资助金额:
    $ 22.5万
  • 项目类别:
    Standard Grant
Model and formal verification of the C language for secure construction of embedded software
嵌入式软件安全构建的C语言模型与形式化验证
  • 批准号:
    24500051
  • 财政年份:
    2012
  • 资助金额:
    $ 22.5万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Doctoral Dissertation Research Improvement Grant: First Language Acquisition of English Main and Embedded Questions
博士论文研究改进补助金:英语主要问题和嵌入问题的第一语言习得
  • 批准号:
    1023165
  • 财政年份:
    2010
  • 资助金额:
    $ 22.5万
  • 项目类别:
    Standard Grant
Memory Management Techniques for Embedded System Language Runtimes
嵌入式系统语言运行时的内存管理技术
  • 批准号:
    22700026
  • 财政年份:
    2010
  • 资助金额:
    $ 22.5万
  • 项目类别:
    Grant-in-Aid for Young Scientists (B)
Scripting Language Interpreter for Embedded systems
嵌入式系统的脚本语言解释器
  • 批准号:
    21700024
  • 财政年份:
    2009
  • 资助金额:
    $ 22.5万
  • 项目类别:
    Grant-in-Aid for Young Scientists (B)
THE EMERGENCE OF SYNTACTIC EMBEDDED STRUCTURE IN THE HISTORY OF ENGLISH : WHAT DOES THIS MEAN IN TERMS OF LANGUAGE EVOLUTION THEORY?
英语史上句法嵌入结构的出现:这对语言进化理论意味着什么?
  • 批准号:
    18520392
  • 财政年份:
    2006
  • 资助金额:
    $ 22.5万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Management of extensible markup language (XML) Web services in mobile and embedded environments
移动和嵌入式环境中可扩展标记语言 (XML) Web 服务的管理
  • 批准号:
    304951-2004
  • 财政年份:
    2004
  • 资助金额:
    $ 22.5万
  • 项目类别:
    Postdoctoral Fellowships
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了