Login / Signup

Applying Answer Set Programming to Points-to Analysis of Object-Oriented Language.

Bo YangMingyi ZhangYing Zhang
Published in: ICIC (1) (2011)
Keyphrases
  • answer set programming
  • logic programming
  • logic programs
  • answer sets
  • database