A formalisation of LEGv8 in Agda.

Santiago Arranz Olmos Martín Fernández Matías Steinberg Alejandro Gadea Emmanuel Gunther Miguel Pagano

Published in: SBLP (2020)

Keyphrases

formal analysis
object oriented
knowledge based systems
domain knowledge
video sequences
query processing
data management
domain independent
spatial databases
literature review