16 citations · 16 across the 2 of their papers we have counts for
2 papers
cs.PL2026
Towards Relating Ciao Assertions and LPTP Theorems
Marco Pérez, Pedro López-García, Jose F. Morales +2
Abstract interpretation-based verification is a central component of the Ciao Prolog system, enabling expressive specifications of properties of programs, predicates, and execution…
cs.PL2013★ 16 cited
Eventual Linear Ranking Functions
Roberto Bagnara, Fred Mesnard
Program termination is a hot research topic in program analysis. The last few years have witnessed the development of termination analyzers for programming languages such as C and…