A mechanized formalization of GraphQL.

Tomás Díaz Federico Olmedo Éric Tanter

Published in: CPP (2020)

Keyphrases

knowledge representation
formal model
data analysis
operational semantics
data mining
domain knowledge
description logics
formal analysis
logical language