Work

On fast large-scale program analysis in Datalog

Year: 2016

Type: conference-paper

DOI: 10.1145/2892208.2892226

Authors: Bernhard Scholz, Herbert Jordan, Pavle Subotić, Till Westmann

Institutions: Oracle (United States), University College London

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2299299451

FWCI: 5.22

Cites: 41

Cited by: 134

Related to: 10