most citedThe optical architecture of a heterogenous quantum network deployed in production facilities

2 citations

researchers with a paper here
collaborating institutions
Showing cs.PLShow all

1 paper · 1 filter

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…