Precise Fixpoint-Based Analysis of Programs with Thread-Creation and Procedures.

Peter Lammich Markus Müller-Olm

Published in: CONCUR (2007)

Keyphrases

fixpoint
deductive databases
logic programs
data analysis
machine learning
artificial intelligence
horn clauses
datalog programs