Deciding Asynchronous Hyperproperties for Recursive Programs.

Jens Oliver Gutsfeld Markus Müller-Olm Christoph Ohrem

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

Keyphrases

recursive programs
program synthesis
logic programs
transformation rules
logic programming
case study
prior knowledge