Visualization of Procedural Abstraction

被引：1

作者：

Schaeckeler, Stefan ^{[1
]}

Shang, Weijia ^{[1
]}

Davis, Ruth ^{[1
]}

机构：

[1] Santa Clara Univ, Dept Comp Engn, Santa Clara, CA 95053 USA

来源：

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | 2009年 / 224卷

关键词：

Visualization of computational processes; Program visualization; Program understanding; Compiler understanding; Code compaction; Procedural abstraction; Post pass optimization;

D O I：

10.1016/j.entcs.2008.12.046

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

Visualizing impacts of an optimization pass helps to reason about, and to gain insight into, the inner workings of the optimization pass. In this paper, we visualize the impacts of two procedural abstraction passes. For this, we modified two procedural abstraction post pass optimizers to visualize for each the difference in machine code before and after optimization by drawing abstracted fragments in the original program. We then explain how the generated visualizations aid in better understanding the optimization passes.

引用

页码：27 / 39

页数：13

共 50 条

[1] Procedural Abstraction with Reverse Prefix Tees
Schaeckeler, Stefan
Shang, Weijia
CGO 2009: INTERNATIONAL SYMPOSIUM ON CODE GENERATION AND OPTIMIZATION, PROCEEDINGS, 2009, : 243 - 253
[2] High-School Students' Attitudes Regarding Procedural Abstraction
Bruria Haberman
Education and Information Technologies, 2004, 9 (2) : 131 - 145
[3] Position: Reusing in the Small: Promoting Procedural Abstraction in Scratch Communal Learning
Techapalokul, Peeratham
Tilevich, Eli
2019 IEEE BLOCKS AND BEYOND WORKSHOP (B&B), 2019, : 59 - 61
[4] Synchronized Shared Memory and Procedural Abstraction: Towards a Formal Semantics of Blech
Gretz, F.
Grosch, F-J
Mendler, M.
Scheele, S.
PROCEEDINGS OF THE 2020 FORUM FOR SPECIFICATION AND DESIGN LANGUAGES (FDL), 2020,
[5] Designing a Programming Game to Improve Children's Procedural Abstraction Skills in Scratch
P. Rose, Simon
Habgood, M. P. Jacob
Jay, Tim
JOURNAL OF EDUCATIONAL COMPUTING RESEARCH, 2020, 58 (07) : 1372 - 1411
[6] Synchronized Shared Memory and Black-box Procedural Abstraction: Toward a Formal Semantics of Blech
Gretz, Friedrich
Grosch, Franz-Josef
Mendler, Michael
Scheele, Stephan
ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2024, 23 (05)
[7] Visualization for Computer Program: A Survey
Zhang W.
Wen Z.
Pan J.
Chen W.
Jisuanji Fuzhu Sheji Yu Tuxingxue Xuebao/Journal of Computer-Aided Design and Computer Graphics, 2023, 35 (08): : 1139 - 1149
[8] Using visualization for architectural localization and extraction
Jerding, D
Rugaber, S
PROCEEDINGS OF THE FOURTH WORKING CONFERENCE ON REVERSE ENGINEERING, 1997, : 56 - 65
[9] A PROCEDURAL INTERFACE FOR PROGRAM DIRECTING
SOSIC, R
SOFTWARE-PRACTICE & EXPERIENCE, 1995, 25 (07) : 767 - 787
[10] Clone detection via structural abstraction
Evans, William S.
Fraser, Christopher W.
Ma, Fei
SOFTWARE QUALITY JOURNAL, 2009, 17 (04) : 309 - 330

← 1 2 3 4 5 →