Sign in

An Efficient, Parametric Fixpoint Algorithm for Analysis of Java Bytecode.

Mario Méndez-LojoJorge A. NavasManuel V. Hermenegildo
Published in: Electron. Notes Theor. Comput. Sci. (2007)
Keyphrases
  • fixpoint
  • databases
  • logic programs
  • artificial intelligence
  • data structure
  • programming language
  • matching algorithm