Sciweavers

2203 search results - page 13 / 441

» Temporal Abstract Interpretation

71

POPL
2008
ACM

102views Programming Languages» more POPL 2008»

Lifting abstract interpreters to quantified logical domains

14 years 10 months ago

Lifting abstract interpreters to quantified logical domains

Download research.microsoft.com

Sumit Gulwani, Bill McCloskey, Ashish Tiwari

claim paper

Read More »

68

POPL
2002
ACM

135views Programming Languages» more POPL 2002»

Systematic design of program transformation frameworks by abstract interpretation

14 years 10 months ago

Systematic design of program transformation frameworks by abstract interpretation

Download www.di.ens.fr

Patrick Cousot, Radhia Cousot

claim paper

Read More »

28

VMCAI
2010
Springer

135views Software Engineering» more VMCAI 2010»

Abstract Interpretation-Based Protection

14 years 4 months ago

Abstract Interpretation-Based Protection

Download rosaec.snu.ac.kr

Roberto Giacobazzi

claim paper

Read More »

24

ESOP
2010
Springer

169views Programming Languages» more ESOP 2010»

Propositional Interpolation and Abstract Interpretation

14 years 4 months ago

Propositional Interpolation and Abstract Interpretation

Download www.comlab.ox.ac.uk

Vijay D'Silva

claim paper

Read More »

22

APSEC
2009
IEEE

126views Software Engineering» more APSEC 2009»

Test Coverage Metric for Two-Staged Language with Abstract Interpretation

14 years 4 months ago

Test Coverage Metric for Two-Staged Language with Abstract Interpretation

Download rosaec.snu.ac.kr

Taeksu Kim, Chunwoo Lee, Kiljoo Lee, Soohyun Baik,...

claim paper

Read More »

« Prev « First page 13 / 441 Last » Next »