Constant Propagation in CRIL by Bidirectional Data Flow Analysis-Reference-Cited by-同舟云学术

Constant Propagation in CRIL by Bidirectional Data Flow Analysis

Published:2024 Issue:0 Volume:32 Page:552-564
ISSN:1882-6652
Container-title:Journal of Information Processing
language:en
Short-container-title:Journal of Information Processing

Author:

Oguchi Shunya¹,Yuen Shoji¹

Affiliation:

1. Graduate School of Informatics, Nagoya University

Publisher

Information Processing Society of Japan

Link

https://www.jstage.jst.go.jp/article/ipsjjip/32/0/32_552/_pdf

Reference22 articles.

1. [1] Cservenka, M.H.: Design and Implementation of Dynamic Memory Management in a Reversible Object-Oriented Programming Language, CoRR, Vol.abs/1804.05097 (2018).

2. [2] Cservenka, M.H., Glück, R., Haulund, T. and Mogensen, T.AE.: Data Structures and Dynamic Memory Management in Reversible Languages, Reversible Computation - 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings, Lecture Notes in Computer Science, Vol.11106, pp.269-285, Springer (online), DOI: 10.1007/978-3-319-99498-7_19 (2018).

3. [3] Danos, V. and Krivine, J.: Reversible Communicating Systems, CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings, Lecture Notes in Computer Science, Vol.3170, pp.292-307, Springer (online), DOI: 10.1007/978-3-540-28644-8_19 (2004).

4. [4] Deworetzki, N. and Gail, L.: Optimization of Reversible Control Flow Graphs, Reversible Computation - 15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023, Proceedings, Kutrib, M. and Meyer, U. (Eds.), Lecture Notes in Computer Science, Vol.13960, pp.57-72, Springer (online), DOI: 10.1007/978-3-031-38100-3_5 (2023).

5. [5] Deworetzki, N., Kutrib, M., Meyer, U. and Ritzke, P.: Optimizing Reversible Programs, RC 2022, Lecture Notes in Computer Science, Vol.13354, pp.224-238, Springer (online), DOI: 10.1007/978-3-031-09005-9_16 (2022).