Search Sciweavers | Sciweavers

3342 search results - page 35 / 669

» Automating Abstract Interpretation

click to vote

SAS
2010
Springer

124views Formal Methods» more SAS 2010»

Abstract Interpreters for Free

14 years 9 months ago

Download matt.might.net

Matthew Might

claim paper

Read More »

Voted

SAS
2010
Springer

152views Formal Methods» more SAS 2010»

Modelling Metamorphism by Abstract Interpretation

14 years 9 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 8 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 8 months ago

Download www.cs.ubc.ca

Gabriel Murray, Giuseppe Carenini, Raymond T. Ng

claim paper

Read More »

click to vote

CJ
2010

139views more CJ 2010»

An Abstract Interpretation Approach for Enhancing the Java Bytecode Verifier

14 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers