Search Sciweavers | Sciweavers

2203 search results - page 26 / 441

» Temporal Abstract Interpretation

click to vote

ICST
2010
IEEE

116views Software Engineering» more ICST 2010»

Model Based Testing and Abstract Interpretation in the Railway Signaling Context

13 years 7 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

13 years 7 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

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

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers