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
- DOI:
10.1007/bf01414441 - 发表时间:
1986-04-01 - 期刊:
- 影响因子:0.900
- 作者:
Paul Hudak - 通讯作者:
Paul Hudak
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
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
Enhancing Geographic Education with Data Visualization and GIS Technology
利用数据可视化和 GIS 技术加强地理教育
- 批准号:
9650346 - 财政年份:1996
- 资助金额:
$ 22.5万 - 项目类别:
Standard Grant
Building Evolutionary Software Through Modular Executable Specifications and Incremental Derivations
通过模块化可执行规范和增量推导构建进化软件
- 批准号:
9633390 - 财政年份:1996
- 资助金额:
$ 22.5万 - 项目类别:
Continuing 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