Control Localization In Domain Specific Translation

ICSR-7 Proceedings of the 7th International Conference on Software Reuse: Methods, Techniques, and Tools(2002)

引用 2|浏览0
暂无评分
摘要
Domain specific languages (DSLs) excel at programming productivity because they provide large-grain composite data structures, e.g., a, graphics image) and large-grain operators for composition (e.g., image addition or convolution). As a result, extensive computations can be written as APL-like one-liners that are equivalent to tens or hundreds of lines of code (LOC) when written in a conventional language like Java. The problem with DSL specifications is that they de-localize the code components making unoptimized machine translations significantly slower than for the human optimized equivalent. Specifically, operations on DSL composites imply multiple control structures (e.g., loops) that process the individual elements of large-grain composites and those multiple, implicit control structures are distributed (i.e., de-localized) across the expression of operators and operands. Human programmers recognise the relation among these distributed control structures and merge them to minimise the redundancy of control. For example, merged control structures may perform several operations on several large-grain data structures in a single pass. This merging is the process of control localization. This paper discusses strategies for automating localization without large search spaces and outlines a domain specific example of transformation rules for localizing control. The example is based on the localization method in the Anticipatory Optimization Generator (AOG) system [3-8].
更多
查看译文
关键词
control localization,control structure,implicit control structure,localizing control,merged control structure,multiple control structure,large-grain composite,large-grain composite data structure,large-grain data structure,large-grain operator,Control Localization,Domain Specific Translation
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要