External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 3

PDF

Bibliographies

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Incrementalizing lattice-based program analyses in Datalog

Tamás Szabó, Gábor Bergmann, Sebastian Erdweg, Markus Voelter. Incrementalizing lattice-based program analyses in Datalog. Proceedings of the ACM on Programming Languages, 2(OOPSLA), 2018. [doi]

Authors

Tamás Szabó

This author has not been identified. Look up 'Tamás Szabó' in Google

Gábor Bergmann

This author has not been identified. Look up 'Gábor Bergmann' in Google

Sebastian Erdweg

Identified as Sebastian Erdweg

Markus Voelter

This author has not been identified. It may be one of the following persons: Look up 'Markus Voelter' in Google
runs on