Search Sciweavers | Sciweavers

4814 search results - page 27 / 963

» Combining abstract interpreters

click to vote

CJ
2010

139views more CJ 2010»

An Abstract Interpretation Approach for Enhancing the Java Bytecode Verifier

13 years 7 months ago

Download www.cs.unicam.it

Roberto Barbuti, Nicoletta De Francesco, Luca Tese...

claim paper

Read More »

click to vote

IANDC
2010

78views more IANDC 2010»

An efficient simulation algorithm based on abstract interpretation

13 years 7 months ago

Download www.math.unipd.it

Francesco Ranzato, Francesco Tapparo

claim paper

Read More »

click to vote

CL
2011
Springer

260views Automated Reasoning» more CL 2011»

Widening and narrowing operators for abstract interpretation

13 years 4 months ago

Download www.dsi.unive.it

Agostino Cortesi, Matteo Zanioli

claim paper

Read More »

click to vote

CORR
2011
Springer

157views Education» more CORR 2011»

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

13 years 4 months ago

Download www.ccs.neu.edu

Matthew Might, David Van Horn

claim paper

Read More »

click to vote

ENTCS
2011

72views more ENTCS 2011»

Abstract Interpretation of Dynamics of Biological Regulatory Networks

13 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers