Login / Signup

Verification of Java Bytecode Using Analysis and Transformation of Logic Programs.

Elvira AlbertMiguel Gómez-ZamalloaLaurent HubertGermán Puebla
Published in: PADL (2007)
Keyphrases
  • logic programs
  • logic programming
  • answer sets
  • stable models
  • answer set programming
  • general purpose
  • computational properties
  • partial deduction
  • databases
  • object oriented
  • prolog programs
  • java bytecode