09/11/2017
Computer Science: program analysis, compilation.This last decade was the occasion to see the rise of static analyses that are now no longer reserved for critical embedded systems (airplanes, subways, rockets, etc.). They are now more widely available (...)