3 papers
cs.PL2026
A Flow Extension to Coroutine Types for Deadlock Detection in Go
Qiqi Jason Gu, Lixue Liu, Wei Ke
Coroutines, as an abstract programming construct, are a generalization of functions that can suspend execution part- way for later resumption. Coroutine Types are behavioral types…
cs.SE2024
Typing Requirement Model as Coroutines
Qiqi Gu, Wei Ke
Model-Driven Engineering (MDE) is a technique that aims to boost productivity in software development and ensure the safety of critical systems. Central to MDE is the refinement of…
cs.PL2023
Typing Composable Coroutines
Qiqi Gu, Wei Ke
Coroutine, as a powerful programming construct, is widely used in asynchronous applications to replace thread-based programming or the callback hell. Using coroutines makes code mo…