Search Sciweavers | Sciweavers

1422 search results - page 11 / 285

» Complementation in Abstract Interpretation

click to vote

SAS
2009
Springer

214views Formal Methods» more SAS 2009»

Abstract Interpretation of FIFO Replacement

15 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 »

133

click to vote

POPL
2008
ACM

102views Programming Languages» more POPL 2008»

Lifting abstract interpreters to quantified logical domains

15 years 9 months ago

Download research.microsoft.com

Sumit Gulwani, Bill McCloskey, Ashish Tiwari

claim paper

Read More »

140

click to vote

POPL
2002
ACM

135views Programming Languages» more POPL 2002»

Systematic design of program transformation frameworks by abstract interpretation

15 years 9 months ago

Download www.di.ens.fr

Patrick Cousot, Radhia Cousot

claim paper

Read More »

click to vote

VMCAI
2010
Springer

135views Software Engineering» more VMCAI 2010»

Abstract Interpretation-Based Protection

15 years 4 months ago

Download rosaec.snu.ac.kr

Roberto Giacobazzi

claim paper

Read More »

click to vote

ESOP
2010
Springer

169views Programming Languages» more ESOP 2010»

Propositional Interpolation and Abstract Interpretation

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers