La lógica medieval de Asia Oriental ofrece una solución al doble free en concurrencia

Reconstructing Concurrency Invariants Through Medieval East Asian Logic

Un análisis reinterpreta los principios de visibilidad y destrucción de recursos de la lógica estructural de Asia Oriental (siglos XI-XIV) para resolver la reclamación concurrente de memoria. A partir de los métodos Qian, Kun, Kan y Li, se derivan invariantes de estado que evitan el doble free y el use-after-free, demostrando que la separación entre punteros visibles y liberación de memoria ya estaba implícita en estos marcos algorítmicos.