Realization and Extension of Abstract Operation Contracts for Program Logic.

Published in: CoRR (2015)

Keyphrases

modal logic
proof theoretic
logical operations
logic programming
multi valued
high level
linear time temporal logic
neural network
automated reasoning
static analysis
epistemic logic
program execution
proof theory
supply chain
functional programs
low level
sound and complete axiomatization