Login / Signup

Visibly Pushdown Kleene Algebra and Its Use in Interprocedural Analysis of (Mutually) Recursive Programs.

Claude BolducBéchir Ktari
Published in: RelMiCS (2009)
Keyphrases
  • artificial intelligence
  • data analysis
  • object oriented databases