Search Sciweavers | Sciweavers

1422 search results - page 24 / 285

» Complementation in Abstract Interpretation

click to vote

AMAI
1998
Springer

71views Artificial Intelligence» more AMAI 1998»

Dynamic Temporal Interpretation Contexts for Temporal Abstraction

15 years 2 months ago

Download bmir.stanford.edu

Yuval Shahar

claim paper

Read More »

click to vote

TCS
1998

62views Theoretical Computer Science» more TCS 1998»

The Quotient of an Abstract Interpretation

15 years 2 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

15 years 26 days ago

Download matt.might.net

Matthew Might

claim paper

Read More »

101

Voted

SAS
2010
Springer

152views Formal Methods» more SAS 2010»

Modelling Metamorphism by Abstract Interpretation

15 years 26 days 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 12 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers