PaSTTeL is a new parallel framework that unifies termination and non-termination analysis for lasso programs through concurrent strategy execution and modular design.
Proceedings of the 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages , pages =
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
PaSTTeL: Parallel analysiS framework for Termination and non-Termination of Lasso programs
PaSTTeL is a new parallel framework that unifies termination and non-termination analysis for lasso programs through concurrent strategy execution and modular design.