Work

AutoAlias: Automatic Variable-Precision Alias Analysis for Object-Oriented Programs

Year: 2019

Type: article

Source: SN Computer Science

DOI: 10.1007/s42979-019-0012-1

Authors: Victor Rivera, Bertrand Meyer

Institutions: Innopolis University, ETH Zurich, Politecnico di Milano

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

Funder: Innopolis University

OpenAlex ID: W2888215327

FWCI:

Cites: 26

Cited by: 2

Related to: 10