Incrementalizing Lattice-Based Program Analyses in Datalog

CímIncrementalizing Lattice-Based Program Analyses in Datalog
Közlemény típusaConference Paper
Kiadás éve2018
SzerzőkSzabó, T., Bergmann, G., Erdweg, S., and Völter, M.
Konferencia neveConference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 2018)
Kiadás dátuma11/2018
KiadóACM
Konferencia helyszíneBoston, MA, USA
Refereed DesignationRefereed
PDF: 
application/pdf iconFull text

Nyelvek

  • English
  • Magyar

Belépés

Navigáció