Implementing Continuation based language in GCC
Shinji Kono, Kento Yogi

TL;DR
This paper presents a new implementation of a continuation-based C language compiler integrated with GCC 4.2.3, enabling seamless mixing of continuation-based programming with standard C across multiple architectures.
Contribution
It introduces a GCC-based CbC compiler that supports full C capabilities, allowing mixed programming paradigms and broad architecture compatibility.
Findings
Successful implementation on various architectures
Enabling mixed C and CbC programming
Demonstrated practical experiments with CbC
Abstract
We have implemented C like Continuation based programming language. Continuation based C, CbC was implemented using micro-C on various architecture, and we have tried several CbC programming experiments. Here we report new implementation of CbC compiler based on GCC 4.2.3. Since it contains full C capability, we can use CbC and C in a mixture.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsFormal Methods in Verification · Logic, programming, and type systems · Software Testing and Debugging Techniques
