Incrementalizing Lattice-Based Program Analyses in Datalog

TitleIncrementalizing Lattice-Based Program Analyses in Datalog
Publication TypeConference Paper
Year of Publication2018
AuthorsSzabó, T., Bergmann, G., Erdweg, S., and Völter, M.
Conference NameConference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 2018)
Date Published11/2018
PublisherACM
Conference LocationBoston, MA, USA
Refereed DesignationRefereed
PDF: 
application/pdf iconFull text

Languages

  • English
  • Magyar

BME EduID Sign on

Login

User login