Non-Termination Proving: 100 Million LoC and Beyond

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Vanegue, Julien, Villard, Jules, O'Hearn, Peter, Raad, Azalea
Format:	Preprint
Published:	2025
Subjects:	Programming Languages Computation and Language Software Engineering D.3; F.3
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet

https://arxiv.org/abs/2509.05293