Work

A Machine-Learning Algorithm with Disjunctive Model for Data-Driven Program Analysis

Year: 2019

Type: article

Source: ACM Transactions on Programming Languages and Systems

DOI: 10.1145/3293607

Authors: Minseok Jeon, Sehun Jeong, Sungdeok Cha, Hakjoo Oh

Institution: Korea University

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funders: Samsung, Institute for Information and Communications Technology Promotion

OpenAlex ID: W2950121745

FWCI: 2.449

Cites: 55

Cited by: 27

Related to: 10