https://cordis.europa.eu/project/id/101095951
Program Intelligence, Declaratively and Symbolically | PINDESYM | Project | Fact Sheet | HORIZON |...
The automatic understanding of programs, in insightful, high-level terms, has long been a dream of computer science. The area of static program analysis has...
project fact sheetprogramintelligencehorizon