Verification of Java Bytecode using Analysis and Transformation of Logic Programs

Elvira Albert Miguel Gómez-Zamalloa Laurent Hubert German Puebla

Published in: CoRR (2010)

Keyphrases

logic programs
logic programming
computational properties
answer set programming
answer sets
normal logic programs
artificial intelligence
general purpose
stable models
prolog programs
integrity constraints
normal form