Search Sciweavers | Sciweavers

4211 search results - page 33 / 843

» Types as Abstract Interpretations

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

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 9 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

14 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers