Filtyp
JavaDL is a domain-specific language (DSL) for writing static program analyses in a declarative logic programming style, based on Datalog. The key feature of this DSL is the ability to pattern-match on literal source code syntax and reason non-locally through declarative programming. Static program analyses generally suer from producing false positive alarms. This results in developers having to
Prefekten informerar • Nyheter på medarbetarfronten. Anette Salling, Frans Oddner, Lars Norén och Inari Johansson lämnar oss under sommaren. Stort tack för era insatser de år ni arbetade för oss. I skrivande stund har det blivit klart att Magnus Bjager blir vår nye utbildningsadministratör. Magnus har arbetat hos oss tidigare. Välkommen tillbaka. Magnus börjar 1/8. Två nya doktorander har antagits
https://www.soch.lu.se/internt/sites/soch.lu.se.internt/files/soch-infoblad-2016-06-16.pdf - 2026-07-21
