Sciweavers

4211 search results - page 34 / 843

» Types as Abstract Interpretations

239

Voted

CL
2011
Springer

260views Automated Reasoning» more CL 2011»

Widening and narrowing operators for abstract interpretation

15 years 28 days ago

Widening and narrowing operators for abstract interpretation

Download www.dsi.unive.it

Agostino Cortesi, Matteo Zanioli

claim paper

Read More »

140

CORR
2011
Springer

157views Education» more CORR 2011»

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

15 years 28 days ago

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

Download www.ccs.neu.edu

Matthew Might, David Van Horn

claim paper

Read More »

131

ENTCS
2011

72views more ENTCS 2011»

Abstract Interpretation of Dynamics of Biological Regulatory Networks

15 years 27 days ago

Abstract Interpretation of Dynamics of Biological Regulatory Networks

Download www.irccyn.ec-nantes.fr

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

claim paper

Read More »

303

NFM
2011

366views Formal Methods» more NFM 2011»

Automated Test Case Generation with SMT-Solving and Abstract Interpretation

15 years 26 days ago

Automated Test Case Generation with SMT-Solving and Abstract Interpretation

Download www.informatik.uni-bremen.de

Jan Peleska, Elena Vorobev, Florian Lapschies

claim paper

Read More »

137

SIGSOFT
2011
ACM

133views Software Engineering» more SIGSOFT 2011»

Static analysis by abstract interpretation of embedded critical software

15 years 26 days ago

Static analysis by abstract interpretation of embedded critical software

Download www.di.ens.fr

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

claim paper

Read More »

« Prev « First page 34 / 843 Last » Next »