Login / Signup
Verification of high-level transformations with inductive refinement types.
Ahmad Salim Al-Sibahi
Thomas P. Jensen
Aleksandar S. Dimovski
Andrzej Wasowski
Published in:
GPCE (2018)
Keyphrases
</>
high level
low level
database
real world
machine learning
model checking
inductive learning
real time
information retrieval
programming language
databases
neural network
domain knowledge
knowledge representation
inductive logic programming
concept learning