Login / Signup

Conditional Lambda-Theories and the Verification of Static Properties of Programs

Mitchell WandZheng-Yu Wang
Published in: Inf. Comput. (1994)
Keyphrases
  • symbolic execution
  • imperative programs
  • database systems
  • theoretical framework
  • computer programs