Login / Signup

Abstraction Analysis and Certified Flow and Context Sensitive Points-to Relation for Distributed Programs.

Mohamed A. El-Zawawy
Published in: ICCSA (4) (2012)
Keyphrases
  • context sensitive
  • high level
  • data points
  • language model
  • graph grammars
  • information retrieval
  • multi class
  • language modeling
  • context free