Formal reasoning about layered monadic interpreters.

Irene Yoon Yannick Zakowski Steve Zdancewic

Published in: Proc. ACM Program. Lang. (2022)

Keyphrases

datalog programs
deductive databases
formal model
datalog queries
formal theory
formal specification
description language
spatial reasoning
qualitative reasoning
learning algorithm
query language
formal analysis
causal reasoning
formal language