系统地获得高级语言支持的指令集

ACM-SE 20 Pub Date : 1982-04-01 DOI:10.1145/503896.503910
P. Bose, B. R. Rau, M. Schlansker
{"title":"系统地获得高级语言支持的指令集","authors":"P. Bose, B. R. Rau, M. Schlansker","doi":"10.1145/503896.503910","DOIUrl":null,"url":null,"abstract":"Conventional machine-languages (instruction sets) were not designed with high-level languages (HLLs) in mind. The resulting semantic gap is known to cause significant inefficiencies in program representation and execution time. Direct interpretation of HLLs is not the solution, because it is too complex and inefficient. The alternative is to precede the interpretation phase by a compilation phase in which the HLL is translated to a \"suitable\" intermediate representation which is directly interpretable. Such a directly interpretable language (DIL) can qualify as an instruction set for supporting the source HLL, since it is feasible to construct an interpreter for this language. In this paper, we present our approach to the problem of designing well-matched, space-time efficient DILs. The problem is approached by examining HLLs and DILs in a common interpretive environment.A systematic, top-down DIL design methodology is presented. A set of ten transformations on the source HLL grammar is used to derive the target DIL grammar. The DIL obtained in this manner is not unique, and its nature depends on the choices made along the way. The spectrum of DILs, exhibiting various space-time characteristics, is discussed. A number of space and time measures to evaluate DILs are suggested, and are used to compare four DILs derived from a formally specified HLL.","PeriodicalId":184493,"journal":{"name":"ACM-SE 20","volume":"280 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1982-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"Systematically derived instruction sets for high-level language support\",\"authors\":\"P. Bose, B. R. Rau, M. Schlansker\",\"doi\":\"10.1145/503896.503910\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Conventional machine-languages (instruction sets) were not designed with high-level languages (HLLs) in mind. The resulting semantic gap is known to cause significant inefficiencies in program representation and execution time. Direct interpretation of HLLs is not the solution, because it is too complex and inefficient. The alternative is to precede the interpretation phase by a compilation phase in which the HLL is translated to a \\\"suitable\\\" intermediate representation which is directly interpretable. Such a directly interpretable language (DIL) can qualify as an instruction set for supporting the source HLL, since it is feasible to construct an interpreter for this language. In this paper, we present our approach to the problem of designing well-matched, space-time efficient DILs. The problem is approached by examining HLLs and DILs in a common interpretive environment.A systematic, top-down DIL design methodology is presented. A set of ten transformations on the source HLL grammar is used to derive the target DIL grammar. The DIL obtained in this manner is not unique, and its nature depends on the choices made along the way. The spectrum of DILs, exhibiting various space-time characteristics, is discussed. A number of space and time measures to evaluate DILs are suggested, and are used to compare four DILs derived from a formally specified HLL.\",\"PeriodicalId\":184493,\"journal\":{\"name\":\"ACM-SE 20\",\"volume\":\"280 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1982-04-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"ACM-SE 20\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1145/503896.503910\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"ACM-SE 20","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/503896.503910","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 1

摘要

传统的机器语言(指令集)在设计时没有考虑到高级语言(hls)。由此产生的语义差距已知会导致程序表示和执行时间的显著低效率。直接解释hls不是解决方案,因为它太复杂且效率低下。另一种方法是在解释阶段之前进行编译阶段,在编译阶段中,将HLL转换为“合适的”可直接解释的中间表示。这种直接可解释语言(DIL)可以作为支持源HLL的指令集,因为可以为这种语言构造解释器。在本文中,我们提出了我们的方法来设计良好匹配的,时空有效的逻辑逻辑。这个问题是通过在一个通用的解释环境中检查hls和dls来解决的。提出了一种系统的、自顶向下的DIL设计方法。源HLL语法上的一组10个转换用于派生目标DIL语法。以这种方式获得的DIL不是唯一的,它的性质取决于在此过程中所做的选择。讨论了具有不同时空特征的DILs光谱。本文提出了一些空间和时间度量来评价dil,并用于比较从正式指定的HLL派生的四个dil。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
查看原文
分享 分享
微信好友 朋友圈 QQ好友 复制链接
本刊更多论文
Systematically derived instruction sets for high-level language support
Conventional machine-languages (instruction sets) were not designed with high-level languages (HLLs) in mind. The resulting semantic gap is known to cause significant inefficiencies in program representation and execution time. Direct interpretation of HLLs is not the solution, because it is too complex and inefficient. The alternative is to precede the interpretation phase by a compilation phase in which the HLL is translated to a "suitable" intermediate representation which is directly interpretable. Such a directly interpretable language (DIL) can qualify as an instruction set for supporting the source HLL, since it is feasible to construct an interpreter for this language. In this paper, we present our approach to the problem of designing well-matched, space-time efficient DILs. The problem is approached by examining HLLs and DILs in a common interpretive environment.A systematic, top-down DIL design methodology is presented. A set of ten transformations on the source HLL grammar is used to derive the target DIL grammar. The DIL obtained in this manner is not unique, and its nature depends on the choices made along the way. The spectrum of DILs, exhibiting various space-time characteristics, is discussed. A number of space and time measures to evaluate DILs are suggested, and are used to compare four DILs derived from a formally specified HLL.
求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
自引率
0.00%
发文量
0
期刊最新文献
EPA - HERL/RTP: a DBMS application using word processing Computer graphics animation of the Tellico Reservoir water temperature simulation Realization of a translator for Janus Synthesizing abstract data type specifications An alternate approach to formal parsing methods
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
已复制链接
已复制链接
快去分享给好友吧!
我知道了
×
扫码分享
扫码分享
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1