Logic-based program synthesis and transformation : 33rd international symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023 : proceedings

Veröffentlicht 2023

Lightweight Nontermination Inference with CHCs

von Kafle, Bishoksan
Veröffentlicht in SEFM (19. : 2021 : Online) Software engineering and formal methods (2021)