Sciweavers

22 search results - page 1 / 5

» sas 2005

10

SAS
2005
Springer

117views Formal Methods» more SAS 2005»

The PER Model of Abstract Non-interference

13 years 10 months ago

The PER Model of Abstract Non-interference

Download www.soi.city.ac.uk

Sebastian Hunt, Isabella Mastroeni

claim paper

Read More »

10

SAS
2005
Springer

92views Formal Methods» more SAS 2005»

Exploiting Sparsity in Polyhedral Analysis

13 years 10 months ago

Exploiting Sparsity in Polyhedral Analysis

Download www.cs.kent.ac.uk

Axel Simon, Andy King

claim paper

Read More »

13

SAS
2005
Springer

84views Formal Methods» more SAS 2005»

Locality-Based Abstractions

13 years 10 months ago

Locality-Based Abstractions

Download www.ulb.ac.be

Javier Esparza, Pierre Ganty, Stefan Schwoon

claim paper

Read More »

8

SAS
2005
Springer

99views Formal Methods» more SAS 2005»

A Relational Abstraction for Functions

13 years 10 months ago

A Relational Abstraction for Functions

Download www.irisa.fr

Bertrand Jeannet, Denis Gopan, Thomas W. Reps

claim paper

Read More »

12

SAS
2005
Springer

96views Formal Methods» more SAS 2005»

Widening Operators for Weakly-Relational Numeric Abstractions

13 years 10 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 »