EasyChair Smart SlideUser guide
Conference: NSAD2019 (Workshop on Numerical and Symbolic Abstract Domains, 2019)

This page shows all presentations from this conference published in EasyChair Smart Slide.

Combination of Boxes and PolyhedraAbstractions for Constraint Solving

Combination of Boxes and PolyhedraAbstractions for Constraint Solving

Ghiles Ziat, Alexandre Maréchal, Marie Pelleau, Antoine Miné and Charlotte Truchet

Flow Insensitive Relational Static Analysis

Flow Insensitive Relational Static Analysis

Solène Mirliaz and David Pichardie

An abstract domain for objects in dynamic programming languages

An abstract domain for objects in dynamic programming languages

Vincenzo Arceri, Michele Pasqua and Isabella Mastroeni

Some thoughts on the design of abstract domains

Some thoughts on the design of abstract domains

Enea Zaffanella

Presentations in this collection: 4
Copyright © 2002 – 2026 EasyChair