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

15 years 1 months ago

Download matt.might.net

Matthew Might

claim paper

Read More »

102

Voted

SAS
2010
Springer

152views Formal Methods» more SAS 2010»

Modelling Metamorphism by Abstract Interpretation

15 years 1 months ago

Download www.cs.arizona.edu

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

claim paper

Read More »

Voted

ICST
2010
IEEE

116views Software Engineering» more ICST 2010»

Model Based Testing and Abstract Interpretation in the Railway Signaling Context

15 years 20 days ago

Download www.dsi.unifi.it

Daniele Grasso, Alessandro Fantechi, Alessio Ferra...

claim paper

Read More »

Voted

NAACL
2010

126views Computational Linguistics» more NAACL 2010»

Interpretation and Transformation for Abstracting Conversations

15 years 19 days ago

Download www.cs.ubc.ca

Gabriel Murray, Giuseppe Carenini, Raymond T. Ng

claim paper

Read More »

101

Voted

CJ
2010

139views more CJ 2010»

An Abstract Interpretation Approach for Enhancing the Java Bytecode Verifier

15 years 4 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers