Multiple Interpretations of Domain-Specific Languages
特定领域语言的多种解释
基本信息
- 批准号:9970980
- 负责人:
- 金额:$ 32.5万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Continuing Grant
- 财政年份:1999
- 资助国家:美国
- 起止时间:1999-09-15 至 2003-02-28
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
9970980 Launchbury, John Oregon Graduate InstituteMultiple Interpretations of Domain-specific LanguagesRecently, domain-specific languages (DSLs) have become a popular topic of research. Their promise is in their expressiveness. The programmer becomes concerned with specifying what computation is to be performed, and not with low level detail such as storage, or the order in which to perform computation. When a DSL is defined, the designer will have a primary interpretation in mind. For hardware description languages, for example, the primary interpretation may be a description of how individual gates and primitive circuits are to be wired together. However, DSLs also often have secondary interpretations. Again, a hardware description language may have simulators that provide it with a different semantics: an executionsemantics, which allow for testing circuits before they are committed to silicon. For these two distinct meanings to be useful, they must be coherent in some precise sense, perhaps expressed by a commuting diagram. This research investigates the principles and practice of multiple interpretations of DSLs. The expected outcomes include techniques for providing multiple coherent interpretations to DSLs; application of these techniques in the context of Hawk, a domain-specific language for specifying microprocessor microarchitectures; and a demonstration of the value of multiple interpretations by obtaining new results in microarchitecture verification.
9970980 Launchbury,John 俄勒冈州研究生院领域特定语言的多种解释近年来,领域特定语言(DSL)已成为一个热门的研究课题。他们的承诺是在他们的表达。程序员开始关心指定要执行什么计算,而不是低级细节,如存储或执行计算的顺序。当定义DSL时,设计人员将在脑海中有一个主要的解释。例如,对于硬件描述语言,主要解释可以是对各个门和原始电路如何连接在一起的描述。然而,领域特定语言通常也有次要的解释。同样,硬件描述语言可能有模拟器,为它提供不同的语义:执行语义,允许在将电路提交给硅之前对其进行测试。要使这两个不同的意义有用,它们必须在某种精确的意义上是一致的,也许可以用一个交换图来表达。本研究探讨了领域特定语言的多重解释的原则和实践。预期的成果包括技术提供多个连贯的解释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 }}
John Launchbury其他文献
John Launchbury的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('John Launchbury', 18)}}的其他基金
CISE Postdoctoral Research Associateships in Experimental Computer Science - Verifying Implementations of Model Checking Algorithms
CISE 实验计算机科学博士后研究奖学金 - 验证模型检查算法的实现
- 批准号:
0072761 - 财政年份:2000
- 资助金额:
$ 32.5万 - 项目类别:
Standard Grant
CISE PostDoc: Verification of Microprocessor Microarchitecture
CISE 博士后:微处理器微架构验证
- 批准号:
9805542 - 财政年份:1998
- 资助金额:
$ 32.5万 - 项目类别:
Standard Grant
Glacial Variables: Towards Fully Automatic Run-Time Code Generation
Glacial Variables:迈向全自动运行时代码生成
- 批准号:
9610075 - 财政年份:1997
- 资助金额:
$ 32.5万 - 项目类别:
Standard Grant
相似海外基金
Elucidating the Foundations of Slavoj Zizek's Thought: Focusing on his interpretations of Hegel and Lacan
阐明斯拉沃热·齐泽克的思想基础:聚焦他对黑格尔和拉康的解读
- 批准号:
23H00573 - 财政年份:2023
- 资助金额:
$ 32.5万 - 项目类别:
Grant-in-Aid for Scientific Research (B)
Reliable post hoc interpretations of deep learning in genomics
基因组学深度学习的可靠事后解释
- 批准号:
10638753 - 财政年份:2023
- 资助金额:
$ 32.5万 - 项目类别:
EAGER: End-to-End Learning of Paradoxes and Interpretations for Data Storytelling
EAGER:悖论的端到端学习和数据讲故事的解释
- 批准号:
2331065 - 财政年份:2023
- 资助金额:
$ 32.5万 - 项目类别:
Standard Grant
Augmented Score-CAM: High resolution visual interpretations for deep neural networks
Augmented Score-CAM:深度神经网络的高分辨率视觉解释
- 批准号:
558679-2021 - 财政年份:2022
- 资助金额:
$ 32.5万 - 项目类别:
Alexander Graham Bell Canada Graduate Scholarships - Doctoral
A Study of History of Ideas on the Interpretations of Shijing during the Sengoku Period Focusing on the Sengoku Bamboo Slips Owned by Anhui University
以安徽大学所藏战国简牍为中心的战国时代《诗经》阐释思想史研究
- 批准号:
22K00051 - 财政年份:2022
- 资助金额:
$ 32.5万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
P2C2: Testing Interpretations of the Oxygen Isotopic Composition of Asian Cave Calcite at Abrupt, Millennial, and Orbital Timescales
P2C2:在突变、千年和轨道时间尺度上测试亚洲洞穴方解石氧同位素组成的解释
- 批准号:
2202913 - 财政年份:2022
- 资助金额:
$ 32.5万 - 项目类别:
Standard Grant
A study of the impact of diversity of interpretations and collaboration within stakeholders on market creation
研究利益相关者内部的解释多样性和协作对市场创建的影响
- 批准号:
22K01762 - 财政年份:2022
- 资助金额:
$ 32.5万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Women and Wanderer: Postcolonial (Re)interpretations of Travel and Travel Writing
妇女与流浪者:旅行和旅行写作的后殖民(重新)解释
- 批准号:
2738833 - 财政年份:2022
- 资助金额:
$ 32.5万 - 项目类别:
Studentship
Classify balance functions among community-dwelling older adults based on structural and clinical interpretations
根据结构和临床解释对社区老年人的平衡功能进行分类
- 批准号:
22K11154 - 财政年份:2022
- 资助金额:
$ 32.5万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Interpretations and Actions towards Trustworthy Graph Neural Networks
对可信赖图神经网络的解释和行动
- 批准号:
DGECR-2022-00418 - 财政年份:2022
- 资助金额:
$ 32.5万 - 项目类别:
Discovery Launch Supplement