Search Sciweavers | Sciweavers

3342 search results - page 36 / 669

» Automating Abstract Interpretation

126

click to vote

IANDC
2010

78views more IANDC 2010»

An efficient simulation algorithm based on abstract interpretation

15 years 3 months ago

Download www.math.unipd.it

Francesco Ranzato, Francesco Tapparo

claim paper

Read More »

144

Voted

CORR
2011
Springer

157views Education» more CORR 2011»

A family of abstract interpretations for static analysis of concurrent higher-order programs

15 years 1 months ago

Download www.ccs.neu.edu

Matthew Might, David Van Horn

claim paper

Read More »

137

Voted

ENTCS
2011

72views more ENTCS 2011»

Abstract Interpretation of Dynamics of Biological Regulatory Networks

15 years 1 months ago

Download www.irccyn.ec-nantes.fr

Loïc Paulevé, Morgan Magnin, Olivier R...

claim paper

Read More »

143

click to vote

SIGSOFT
2011
ACM

133views Software Engineering» more SIGSOFT 2011»

Static analysis by abstract interpretation of embedded critical software

15 years 1 months ago

Download www.di.ens.fr

Julien Bertrane, Patrick Cousot, Radhia Cousot, J&...

claim paper

Read More »

131

Voted

JCS
2010

66views more JCS 2010»

Adjoining classified and unclassified information by abstract interpretation

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers