Login / Signup

Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs.

Johann BliebergerBernd BurgstallerBernhard Scholz
Published in: Ada-Europe (2000)
Keyphrases
  • flow analysis
  • symbolic data
  • complex data
  • information flow
  • symbolic data analysis
  • numerical data
  • forensic analysis
  • data sets
  • principal component analysis
  • interval data
  • static analysis
  • optimal solution