Search Sciweavers | Sciweavers

1724 search results - page 11 / 345

» Abstract Interpreters for Free

click to vote

ESOP
2007
Springer

94views Programming Languages» more ESOP 2007»

Small Witnesses for Abstract Interpretation-Based Proofs

14 years 3 months ago

Download www.irisa.fr

tnesses for Abstract Interpretation-based Proofs Fr´ed´eric Besson, Thomas Jensen, and Tiphaine Turpin IRISA/{Inria, CNRS, Universit´e de Rennes 1} Campus de Beaulieu, F-35042 R...

Frédéric Besson, Thomas P. Jensen, T...

claim paper

Read More »

click to vote

ENTCS
2007

100views more ENTCS 2007»

Using Template Haskell for Abstract Interpretation

13 years 9 months ago

Download dalila.sip.ucm.es

mplate Haskell for Abstract Interpretation Clara Segura1 ,2 Departamento de Sistemas Inform´aticos y Programaci´on Universidad Complutense de Madrid Madrid, Spain Carmen Torrano3...

Clara Segura, Carmen Torrano

claim paper

Read More »

click to vote

SAS
2009
Springer

214views Formal Methods» more SAS 2009»

Abstract Interpretation of FIFO Replacement

14 years 10 months ago

Download rw4.cs.uni-sb.de

Interpretation of FIFO Replacement Daniel Grund and Jan Reineke Saarland University, Saarbr?ucken, Germany In hard real-time systems, the execution time of programs must be bounded...

Daniel Grund, Jan Reineke

claim paper

Read More »

click to vote

POPL
2008
ACM

102views Programming Languages» more POPL 2008»

Lifting abstract interpreters to quantified logical domains

14 years 10 months ago

Download research.microsoft.com

Sumit Gulwani, Bill McCloskey, Ashish Tiwari

claim paper

Read More »