Machine-Checkable Correctness Proofs for Intra-procedural Dataflow Analyses.

Alexandru Salcianu Konstantine Arkoudas

Published in: Electron. Notes Theor. Comput. Sci. (2005)

Keyphrases

data sets
batch processing
parallel computing
data flow
comparative analysis
equational theories
case study
object oriented
graph transformation
theorem proving
theorem prover
mathematical proofs
formal proofs
flowshop
bit rate
source code
expert systems
website
artificial intelligence