A Logic for Locally Complete Abstract Interpretations.

Roberto Bruni Roberto Giacobazzi Roberta Gori Francesco Ranzato

Published in: LICS (2021)

Keyphrases

multi valued
data sets
low level
computational properties
abductive reasoning
real time
knowledge base
logic programs
higher level
logic programming
modal logic
state machine
proof theory