Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Nicola, Mihai"'
Many temporal safety properties of higher-order programs go beyond simple event sequencing and require an automaton register (or "accumulator") to express, such as input-dependency, event summation, resource usage, ensuring equal event magnitude, com
Externí odkaz:
http://arxiv.org/abs/2408.02791