Adding papers in abstract interpretation, abstract machines, binary deci...

...sion trees, constrainth andling rules, constraint logic programming, continuations, datalog from swannodette's collection.