abstract interpretation-based framework

116

ESOP
2004
Springer

75views Programming Languages» more ESOP 2004»

15 years 10 months ago

We present an Abstract Interpretation-based framework for automatically analyzing programs containing digital ﬁlters. Our framework allows reﬁning existing analyses so that the...

Jérôme Feret

claim paper

Read More »

213

Voted

POPL
2004
ACM

110views Programming Languages» more POPL 2004»

An abstract interpretation-based framework for software watermarking

16 years 5 months ago

Download www.di.ens.fr

Patrick Cousot, Radhia Cousot

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Sciweavers