conftrace_

linear dynamic logic

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

high-level programming language (1) dynamic logic (1) execution history (1) situation calculus (1) program verification (1)

Papers

ElGolog: A High-Level Programming Language with Memory of the Execution History AAAI 2020