abstract interpretation-based framework

145

Voted

ESOP
2004
Springer

75views Programming Languages» more ESOP 2004»

16 years 12 days 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 »

254

click to vote

POPL
2004
ACM

110views Programming Languages» more POPL 2004»

An abstract interpretation-based framework for software watermarking

16 years 7 months ago

Download www.di.ens.fr

Patrick Cousot, Radhia Cousot

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Sciweavers