3 papers
cs.PL2025
Range Algebra for Safe Array Splits
Aleksandar Perisic
We present a language-agnostic range algebra that derives correct index intervals for splitting arrays and implementing binary search, eliminating off-by-one and empty-range bugs.…
cs.SE2025
Retrograde Program Analysis: A Practical Tutorial
Aleksandar Perisic
Retrograde analysis reads programs from the end to the beginning: treat statements as constraints on prior states, propagate sets of states backward, and compare the reachable inpu…
physics.gen-ph2025
The Existence and Role of Quantum-State Noise
Aleksandar Perisic
The key observation about quantum reality is that it often appears as if, at some moment, the probability of a quantum event becomes a definite outcome for us. A careful analysis s…