On Coevaluation Behavior and Equivalence
Coevaluation, the coinductive interpretation of standard big-step evaluation rules, is a
concise form of semantics, with the same number of rules as in evaluation, which intends to …
concise form of semantics, with the same number of rules as in evaluation, which intends to …
[PDF][PDF] Semántica natural como marco de verificación de compiladores en Coq
ÁFZ Chávez - 2021 - ru.dgb.unam.mx
En la literatura dedicada a la verificación de compiladores en asistentes de demostración,
usualmente se emplean formalizaciones ad-hoc, es decir, aquellas en las que se utiliza más …
usualmente se emplean formalizaciones ad-hoc, es decir, aquellas en las que se utiliza más …