Search Sciweavers | Sciweavers

4814 search results - page 26 / 963

» Combining abstract interpreters

click to vote

TCS
1998

62views Theoretical Computer Science» more TCS 1998»

The Quotient of an Abstract Interpretation

14 years 11 months ago

Download www.dsi.unive.it

Agostino Cortesi, Gilberto Filé, William H....

claim paper

Read More »

click to vote

SAS
2010
Springer

124views Formal Methods» more SAS 2010»

Abstract Interpreters for Free

14 years 10 months ago

Download matt.might.net

Matthew Might

claim paper

Read More »

click to vote

SAS
2010
Springer

152views Formal Methods» more SAS 2010»

Modelling Metamorphism by Abstract Interpretation

14 years 10 months ago

Download www.cs.arizona.edu

Mila Dalla Preda, Roberto Giacobazzi, Saumya K. De...

claim paper

Read More »

click to vote

ICST
2010
IEEE

116views Software Engineering» more ICST 2010»

Model Based Testing and Abstract Interpretation in the Railway Signaling Context

14 years 9 months ago

Download www.dsi.unifi.it

Daniele Grasso, Alessandro Fantechi, Alessio Ferra...

claim paper

Read More »

click to vote

NAACL
2010

126views Computational Linguistics» more NAACL 2010»

Interpretation and Transformation for Abstracting Conversations

14 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers