Artifact

JoelYYoung/RecTopo Software

Authors Jiawei Yang , Xiao Cheng , Bor-Yuh Evan Chang , Xiapu Luo , Yulei Sui

Part of: Collection: Supplementary Materials
License: GNU Affero General Public License v3.0 or later
Publication Date: 2025-06-25

Document Identifiers

DOI: 10.4230/artifacts.23656
URN: urn:nbn:de:0030-drops-236562

Author Details

Jiawei Yang

The Hong Kong Polytechnic University, Hong Kong

Xiao Cheng

University of New South Wales, Sydney, Australia

Bor-Yuh Evan Chang

University of Colorado Boulder, Boulder, CO, USA
Amazon, Boulder, CO, USA

Xiapu Luo

The Hong Kong Polytechnic University, Hong Kong

Yulei Sui

University of New South Wales, Sydney, Australia

Content

Software (Source Code): https://github.com/JoelYYoung/RecTopo

Version/Status

Content created at: 2025-04-26
Status: Active (at the time of publication 2025-06-25)

Cite As Get BibTex

https://doi.org/10.4230/artifacts.23656

Description

Source code for paper "Taming and Dissecting Recursions through Interprocedural Weak Topological Ordering"

Subject Classification

Programming Languages

C++

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

Metadata Views

Questions / Remarks / Feedback

X

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail

© 2023-2025 Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact