Deciding Asynchronous Hyperproperties for Recursive Programs.

Jens Oliver Gutsfeld Markus Müller-Olm Christoph Ohrem

Published in: CoRR (2022)

Keyphrases

recursive programs
program synthesis
logic programs
transformation rules
logic programming
relational databases
software development