Sign in
Transforming Big-Step to Small-Step Semantics Using Interpreter Specialisation.
John P. Gallagher
Manuel V. Hermenegildo
José F. Morales
Pedro López-García
Published in:
LOPSTR (2023)
Keyphrases
</>
multi step
computer vision
small number
post processing
databases
genetic algorithm
database systems
data mining
artificial intelligence
feature selection
decision making
mobile robot
logic programming
formal semantics