Resource-Aware Soundness for Big-Step Semantics.

Riccardo Bianchini Francesco Dagnino Paola Giannini Elena Zucca

Published in: Proc. ACM Program. Lang. (2023)

Keyphrases

formal semantics
bayesian networks
logic programming
decision trees
post processing
image sequences
semantic representation