Formal Metatheory of Second-Order Abstract Syntax.

Marcelo Fiore Dmitrij Szamozvancev

Published in: CoRR (2022)

Keyphrases

operational semantics
higher order
precisely defined
high level
machine processable
higher level
formal model
multiscale
data structure
search algorithm
machine learning
formal methods
data mining
formal languages
low level
formal specification
data sets
real time