Sign in
From Big-Step to Small-Step Semantics and Back with Interpreter Specialisation.
John P. Gallagher
Manuel V. Hermenegildo
Bishoksan Kafle
Maximiliano Klemen
Pedro López-García
José F. Morales
Published in:
VPT/HCVS@ETAPS (2020)
Keyphrases
</>
post processing
case study
neural network
artificial intelligence
image processing
domain knowledge
small number
preprocessing step