Sciweavers

22 search results - page 1 / 5

» sas 2005

20

SAS
2005
Springer

117views Formal Methods» more SAS 2005»

The PER Model of Abstract Non-interference

14 years 1 months ago

The PER Model of Abstract Non-interference

Download www.soi.city.ac.uk

Sebastian Hunt, Isabella Mastroeni

claim paper

Read More »

17

SAS
2005
Springer

92views Formal Methods» more SAS 2005»

Exploiting Sparsity in Polyhedral Analysis

14 years 1 months ago

Exploiting Sparsity in Polyhedral Analysis

Download www.cs.kent.ac.uk

Axel Simon, Andy King

claim paper

Read More »

20

SAS
2005
Springer

84views Formal Methods» more SAS 2005»

Locality-Based Abstractions

14 years 1 months ago

Locality-Based Abstractions

Download www.ulb.ac.be

Javier Esparza, Pierre Ganty, Stefan Schwoon

claim paper

Read More »

14

SAS
2005
Springer

99views Formal Methods» more SAS 2005»

A Relational Abstraction for Functions

14 years 1 months ago

A Relational Abstraction for Functions

Download www.irisa.fr

Bertrand Jeannet, Denis Gopan, Thomas W. Reps

claim paper

Read More »

20

SAS
2005
Springer

96views Formal Methods» more SAS 2005»

Widening Operators for Weakly-Relational Numeric Abstractions

14 years 1 months ago

Widening Operators for Weakly-Relational Numeric Abstractions

Download www.cs.unipr.it

Roberto Bagnara, Patricia M. Hill, Elena Mazzi, En...

claim paper

Read More »

« Prev « First page 1 / 5 Last » Next »