Work

Automatically deriving JavaScript static analyzers from specifications using Meta-level static analysis

Year: 2022

Type: conference-paper

Source: ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)

DOI: 10.1145/3540250.3549097

Authors: Jihyeok Park, Seungmin An, Sukyoung Ryu

Institution: Korea Advanced Institute of Science and Technology

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4308641912

FWCI: 1.559

Cites: 51

Cited by: 13

Related to: 10