Encoding Agda Programs Using Rewriting.

Guillaume Genestier

Published in: FSCD (2020)

Keyphrases

automatic programming
magic sets
computer programs
query rewriting
databases
answer sets
encoding schemes
rewriting rules
fixpoint
programming environment
query answering
image coding
logic programming
logic programs
description logics
data structure
neural network