Logical bytecode reduction.

Christian Gram Kalhauge Jens Palsberg

Published in: PLDI (2021)

Keyphrases

smart card
virtual machine
source code
real world
information retrieval
databases
logical reasoning
data sets
artificial intelligence
expert systems
data reduction
logical framework
java card
logical representation