Formalizing non-interference for a simple bytecode language in Coq.

Florian Kammüller

Published in: Formal Aspects Comput. (2008)

Keyphrases

programming language
language learning
expert systems
database
data sets
neural network
general purpose
theorem prover
specification language