2 papers
cs.PL2026
QDSV: A Semantic Problem Representation and Multi-Backend Execution Framework for Quantum-Oriented Computation
Jaime Alexander Jimenez Lozano, Sebastian Jimenez Giraldo
Predicate-based computation over state spaces separates a problem specification from the backend that realizes it. Building on the model introduced in arXiv:2606.15027, this paper…
cs.PL2026
A Predicate-Based Model for Computation over State Spaces
Jaime Alexander Jimenez Lozano, Sebastian Jimenez Giraldo
Many mainstream programming interfaces represent computation procedurally, as sequences of instructions, control-flow constructs, and explicit execution steps. However, several imp…