Write a Blog >>

Registered user since Sun 19 Jan 2020

Name:Isabel Garcia-Contreras
Country:Spain
Affiliation:IMDEA Software Institute
Research interests:Static Analysis, Abstract interpretation, Logic Programming

Contributions

POPL 2020 Abstract Extensionality: On the Properties of Incomplete Abstract Interpretations
Show activities from other conferences

POPL 2020-profile
View general profile